6808 search results - page 64 / 1362 » Distributed Concurrency Control |
130
Voted
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
120
click to vote
SCM
2001
15 years 3 months ago
2001
Software Configuration Management addresses roughly two areas, the first and older one concerns the storage of the entities produced during the software project; the second one con...
116
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
184
Voted
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
CONCURRENCY
2004
15 years 2 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...