443 search results - page 43 / 89 » Relations in Concurrency |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
This paper analyzes the performance of concurrent (index) scan operations in both record (NSM/PAX) and column (DSM) disk storage models and shows that existing scheduling policies...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
POPL
2009
ACM
14 years 3 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
DNIS
2007
Springer
14 years 3 months ago
2007
Springer
A read-only transaction (ROT) does not modify any data. The main issues regarding processing ROTs are correctness, data currency and performance. Two-phase Locking (2PL) protocol i...