1833 search results - page 89 / 367 » Mechanized Verification with Sharing |
125
click to vote
CJ
2010
14 years 10 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
111
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
129
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
136
click to vote
IPTPS
2005
Springer
15 years 6 months ago
2005
Springer
Maze1 is a P2P file-sharing system with an active and large user base. It is developed, deployed and operated by an academic research team. As such, it offers ample opportunities ...
81
Voted
WDAG
2004
Springer
15 years 6 months ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...