Sciweavers

224 search results - page 5 / 45
» Model-based runtime analysis of distributed reactive systems
Sort
View
IPPS
2005
IEEE
14 years 2 months ago
A Compiler and Runtime Infrastructure for Automatic Program Distribution
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
Roxana Diaconescu, Lei Wang, Zachary Mouri, Matt C...
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 3 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
JSSPP
2005
Springer
14 years 1 months ago
Modeling User Runtime Estimates
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
Dan Tsafrir, Yoav Etsion, Dror G. Feitelson
CCGRID
2008
IEEE
13 years 10 months ago
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile...
SIGCOMM
1998
ACM
14 years 19 days ago
Accelerated Reliability Analysis for Self-Healing SONET Networks
Recently, a parametric State Reward Markov Model SRMM p has been developed for the reliability and availability analysis of self-healing SONET mesh networks 2 . In this paper, w...
Hakki C. Cankaya, V. S. S. Nair