90 search results - page 1 / 18 » Exploiting purity for atomicity |
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
CAV
2006
Springer
13 years 8 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
TASLP
2010
12 years 11 months ago
2010
A novel system for speaker diarization is proposed that combines the eigengap criterion and cluster ensembles. No explicit assumptions on the number of speakers are made. Two varia...
EUROPAR
1998
Springer
13 years 9 months ago
1998
Springer
Database replication protocols have historically been built on top of distributed database systems, and have consequently been designed and implemented using distributed transacti...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...