1833 search results - page 18 / 367 » Mechanized Verification with Sharing |
128
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
A recent trend in social networking, photo/video sharing, and location-sharing services is a demand for more expressive privacy mechanisms that provide greater control over the co...
153
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
A Reconfigurable Consistency Algorithm (RCA) is an algorithm that guarantees the consistency in Distributed Shared Memory (DSM) Systems. In a RCA, there is a Configuration Control...
149
click to vote
ICA3PP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the thread migration mechanism of DSM-PEPE, a multithreaded distributed shared memory system. DSM systems like DSM-PEPE provide a parallel environment to h...
141
click to vote
WAOA
2004
Springer
15 years 9 months ago
2004
Springer
We provide a new technique to derive group strategyproof mechanisms for the cost-sharing problem. Our technique is simpler and provably more powerful than the existing one based on...
108
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...