5553 search results - page 404 / 1111 » Parallel Implementation of Sch |
153
click to vote
HPDC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
132
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
157
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
149
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
To support incremental replay of message-passing applications, processes must periodically checkpoint and the content of some messages must be logged, to break dependencies of the...
126
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...