6608 search results - page 1157 / 1322 » On the Completeness of Model Checking |
130
click to vote
IPPS
2005
IEEE
15 years 10 months 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...
113
Voted
IWPC
2005
IEEE
15 years 10 months 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...
131
click to vote
TRIDENTCOM
2005
IEEE
15 years 10 months 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...
119
click to vote
PODC
2005
ACM
15 years 10 months 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...
124
click to vote
SPAA
2005
ACM
15 years 10 months 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 ...