332 search results - page 2 / 67 » Concurrency control with data coloring |
WOSP
2010
ACM
14 years 1 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
EDBT
2006
ACM
14 years 6 months ago
2006
ACM
Abstract. Data stream systems execute a dynamic workload of longrunning and one-time queries, with the streaming inputs typically bounded by sliding windows. For efficiency, window...
PLDI
2009
ACM
14 years 1 months ago
2009
ACM
APN
2001
Springer
13 years 10 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
VLDB
1991
ACM
13 years 10 months ago
1991
ACM
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...