2681 search results - page 188 / 537 » Topics in asynchronous systems |
145
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
161
Voted
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...
144
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
144
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
216
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...