748 search results - page 53 / 150 » concurrency 2008 |
93
Voted
IANDC
2008
15 years 21 days ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
100
click to vote
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
120
click to vote
TKDE
1998
15 years 9 days ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
116
click to vote
CSSE
2008
IEEE
15 years 2 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
91
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...