4311 search results - page 371 / 863 » Code Generation for Distributed Systems |
164
click to vote
GAMEON
2001
15 years 8 months ago
2001
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
194
click to vote
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...
162
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a modified parallel virtual file system that provides snapshot functionality. Because typical file systems are exposed to various failures, taking a s...
192
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
177
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...