Sciweavers

1015 search results - page 29 / 203
» Syntactic Control of Concurrency
Sort
View
SIGOPS
2010
88views more  SIGOPS 2010»
13 years 6 months ago
Consistency without concurrency control in large, dynamic systems
Mihai Letia, Nuno M. Preguiça, Marc Shapiro
RTSS
2003
IEEE
14 years 1 months ago
Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Michael Par...
FCSC
2010
170views more  FCSC 2010»
13 years 5 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
ICEIS
2003
IEEE
14 years 1 months ago
Distributed Overload Control for Real-Time Replicated Database Systems
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
Samia Saad-Bouzefrane, Claude Kaiser