Sciweavers

1471 search results - page 39 / 295
» Composing concurrency control
Sort
View
SIGOPS
2010
88views more  SIGOPS 2010»
14 years 8 months ago
Consistency without concurrency control in large, dynamic systems
Mihai Letia, Nuno M. Preguiça, Marc Shapiro
KBSE
1997
IEEE
15 years 1 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer
PDPTA
2003
14 years 11 months ago
The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...