Sciweavers

4604 search results - page 605 / 921
» Concurrency in Synchronous Systems
Sort
View
ICDE
1999
IEEE
140views Database» more  ICDE 1999»
16 years 8 months ago
Multiversion Reconciliation for Mobile Databases
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...
Shirish Hemant Phatak, B. R. Badrinath
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
16 years 7 months ago
Query interactions in database workloads
Database workloads consist of mixes of queries that run concurrently and interact with each other. In this paper, we demonstrate that query interactions can have a significant imp...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu
SIGMOD
2003
ACM
112views Database» more  SIGMOD 2003»
16 years 7 months ago
A Theory of Redo Recovery
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
David B. Lomet, Mark R. Tuttle
SOFSEM
2009
Springer
16 years 3 months ago
Time and Fairness in a Process Algebra with Non-blocking Reading
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
Flavio Corradini, Maria Rita Di Berardini, Walter ...
APLAS
2009
ACM
16 years 1 months ago
A Fresh Look at Separation Algebras and Share Accounting
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
Robert Dockins, Aquinas Hobor, Andrew W. Appel