1833 search results - page 111 / 367 » Mechanized Verification with Sharing |
136
click to vote
SIGECOM
1999
ACM
15 years 8 months ago
1999
ACM
A major impediment to using recommendation systems and collective knowledge for electronic commerce is the reluctance of individuals to reveal preferences in order to nd groups of...
160
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Predictable network computing still involves a number of open questions. One such question is providing a controlled amount of CPU time to distributed processes. Mechanisms to cont...
175
click to vote
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
131
click to vote
DAIS
2006
15 years 5 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
160
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...