12453 search results - page 106 / 2491 » Concurrent Data Structures |
SSS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present a rigorous treatment to structured overlay maintenance in decentralized peerto-peer (P2P) systems subject to various system and network failures. we prese...
228
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
114
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
132
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
105
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...