1888 search results - page 178 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
126
click to vote
FAST
2009
15 years 1 months ago
2009
This paper presents the design, implementation, and evaluation of BORG, a self-optimizing storage system that performs automatic block reorganization based on the observed I/O wor...
129
click to vote
PODC
1990
ACM
15 years 8 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
138
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
135
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
191
click to vote
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...