6808 search results - page 301 / 1362 » Distributed Concurrency Control |
196
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
170
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
174
click to vote
TAAS
2008
15 years 6 months ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...
174
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
CPHASH is a concurrent hash table for multicore processors. CPHASH partitions its table across the caches of cores and uses message passing to transfer lookups/inserts to a partit...
137
click to vote
STORAGESS
2006
ACM
16 years 19 days ago
2006
ACM
Distributed computation systems have become an important tool for scientific simulation, and a similarly distributed replica management system may be employed to increase the loc...