4586 search results - page 348 / 918 » Computing stable models in parallel |
120
click to vote
PDP
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we study the implementability of different classes of failure detectors in several models of partial synchrony. We show that no failure detector with perpetual accur...
157
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
139
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
135
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...
132
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...