4604 search results - page 9 / 921 » Concurrency in Synchronous Systems |
MASCOTS
1993
13 years 8 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
TCAD
1998
13 years 7 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
FM
2003
Springer
14 years 22 days ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...