Sciweavers

1015 search results - page 173 / 203
» Syntactic Control of Concurrency
Sort
View
VLDB
1998
ACM
131views Database» more  VLDB 1998»
14 years 2 months ago
An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs
We present a new client cache consistency algorithm for client caching database management systems. The algorithm, called Asynchronous Avoidance-based Cache Consistency (AACC), pr...
M. Tamer Özsu, Kaladhar Voruganti, Ronald C. ...
TOOLS
1997
IEEE
14 years 2 months ago
Propagator: A Family of Patterns
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
Peter H. Feiler, Walter F. Tichy
AGP
1996
IEEE
14 years 1 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
COOPIS
1996
IEEE
14 years 1 months ago
Integrity Constraint Checking in Federated Databases
A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints c...
Paul W. P. J. Grefen, Jennifer Widom
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
14 years 1 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...