2468 search results - page 174 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
122
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
120
Voted
EUROPAR
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
142
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
149
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
164
click to vote
CC
2009
Springer
15 years 1 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...