6608 search results - page 1157 / 1322 » On the Completeness of Model Checking |
161
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
143
click to vote
IWPC
2005
IEEE
16 years 2 days ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
166
click to vote
TRIDENTCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
147
click to vote
PODC
2005
ACM
16 years 2 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
150
click to vote
SPAA
2005
ACM
16 years 2 days ago
2005
ACM
This paper presents concurrent cache-oblivious (CO) B-trees. We extend the cache-oblivious model to a parallel or distributed setting and present three concurrent CO B-trees. Our ...