606 search results - page 23 / 122 » Complexity Results for Checking Distributed Implementability |
SRDS
1999
IEEE
15 years 4 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
129
click to vote
MOC
1998
14 years 11 months ago
1998
We present a new algorithm for computing the structure of a finite abelian group, which has to store only a fixed, small number of group elements, independent of the group order....
100
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
14 years 11 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
114
click to vote
DAC
2008
ACM
16 years 22 days ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...