693 search results - page 93 / 139 » A Basic Unit of Computation in Distributed Systems |
HPCA
2008
IEEE
14 years 3 months ago
2008
IEEE
With reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract Utility Data Center (UDC) provides a exible, coste ective infrastructure to support the hosting of applications for Internet services. In order to enable the design of a \...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
IPPS
1999
IEEE
14 years 1 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...