5790 search results - page 650 / 1158 » Distributed programming with distributed authorization |
157
click to vote
IPPS
1999
IEEE
15 years 8 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...
134
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
126
click to vote
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
124
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
In this paper we present a processor microarchitecture that can simultaneously execute multiple threads and has a clustered design for scalability purposes. A main feature of the ...
138
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...