55 search results - page 10 / 11 » Shared Hash Tables in Parallel Model Checking |
ICDCSW
2006
IEEE
14 years 9 days ago
2006
IEEE
To ensure decoupling between publishers and subscribers, most publish-subscribe systems route notifications through intermediate message brokers. A byproduct of this practice is ...
IPPS
1999
IEEE
13 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
HPCA
1998
IEEE
13 years 10 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
ECOOP
2003
Springer
13 years 11 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ICPPW
1999
IEEE
13 years 10 months ago
1999
IEEE
A distributed WWW caching system based on Internet Cache Protocol (ICP) is a system where a cache of a single proxy server is shared by others. When a proxy server receives an HTT...