1888 search results - page 149 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
127
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
113
Voted
TECS
2008
15 years 3 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
130
click to vote
WORDS
2002
IEEE
15 years 8 months ago
2002
IEEE
Commercial off-the-shelf (COTS) middleware increasingly offers not only functional support for standard interfaces, but also the ability to optimize their resource consumption pat...
155
Voted
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
169
Voted
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...