Sciweavers

1471 search results - page 39 / 295
» Composing concurrency control
Sort
View
IS
1998
14 years 11 months ago
Accessing Extra-Database Information: Concurrency Control and Correctness
Narain H. Gehani, Krithi Ramamritham, Jayavel Shan...
SIGOPS
2010
88views more  SIGOPS 2010»
14 years 9 months ago
Consistency without concurrency control in large, dynamic systems
Mihai Letia, Nuno M. Preguiça, Marc Shapiro
KBSE
1997
IEEE
15 years 3 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
15 years 19 days 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...