Sciweavers

6808 search results - page 61 / 1362
» Distributed Concurrency Control
Sort
View
FORTE
2009
13 years 6 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
CONCURRENCY
2008
102views more  CONCURRENCY 2008»
13 years 9 months ago
Dynamic data replication in LCG 2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
Caitriana Nicholson, David G. Cameron, A. T. Doyle...
RTSS
1994
IEEE
14 years 1 months ago
Timeliness via Speculation for Real-Time Databases
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
Azer Bestavros, Spyridon Braoudakis
HT
1996
ACM
14 years 1 months ago
The HyperDisco Approach to Open Hypermedia Systems
Computing support forlargeengineeringenterprisesprovides an example of the need for hypermedia-based collaborative computing systems composed of a large number of distributed hete...
Uffe Kock Wiil, John J. Leggett
BIRTHDAY
2000
Springer
14 years 1 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner