Sciweavers

92 search results - page 13 / 19
» Optimistic concurrency with OPTIK
Sort
View
CSCW
1996
ACM
14 years 1 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...
PPOPP
2006
ACM
14 years 3 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
PADS
2000
ACM
14 years 2 months ago
Distributed, parallel simulation of multiple, deliberative agents
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
Adelinde Uhrmacher, K. Gugler
VLDB
1998
ACM
131views Database» more  VLDB 1998»
14 years 1 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. ...
PDIS
1993
IEEE
14 years 1 months ago
Log-Based Directory Resolution in the Coda File System
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
Puneet Kumar, Mahadev Satyanarayanan