Sciweavers

1015 search results - page 29 / 203
» Syntactic Control of Concurrency
Sort
View
SIGOPS
2010
88views more  SIGOPS 2010»
14 years 10 months ago
Consistency without concurrency control in large, dynamic systems
Mihai Letia, Nuno M. Preguiça, Marc Shapiro
RTSS
2003
IEEE
15 years 5 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»
14 years 9 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
15 years 5 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