5553 search results - page 404 / 1111 » Parallel Implementation of Sch |
203
Voted
HPDC
2000
IEEE
15 years 12 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...
174
click to vote
IPPS
2000
IEEE
15 years 12 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...
201
Voted
IPPS
1999
IEEE
15 years 11 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 ...
202
click to vote
IPPS
1999
IEEE
15 years 11 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...
193
click to vote
CONCUR
1999
Springer
15 years 11 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...