4604 search results - page 15 / 921 » Concurrency in Synchronous Systems |
CONCURRENCY
2007
13 years 7 months ago
2007
PVLDB
2010
13 years 6 months ago
2010
Replication is a widely used method for achieving high availability in database systems. Due to the nondeterminism inherent in traditional concurrency control schemes, however, sp...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
REX
1993
13 years 11 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...