Sciweavers

1015 search results - page 30 / 203
» Syntactic Control of Concurrency
Sort
View
RTSS
1994
IEEE
14 years 18 days 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
BIRTHDAY
2000
Springer
14 years 25 days 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
VLDB
1991
ACM
143views Database» more  VLDB 1991»
13 years 12 months ago
Adaptive Locking Strategies in a Multi-node Data Sharing Environment
This paper describes some of the concurrency control 1” lgorithms used in RdMVMS RdbIVMS uses the ,fac.ilities provided by the VMS lock manager in order to perform locking among...
Ashok M. Joshi
NAACL
1994
13 years 9 months ago
The Comlex Syntax Project: The First Year
We describe the design of Comlex Syntax, a computational lexicon providing detailed syntactic information for approximately 38,000 EnglJish headwords. We consider the types of err...
Catherine Macleod, Ralph Grishman, Adam Meyers
FIDJI
2004
Springer
14 years 1 months ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier