3565 search results - page 594 / 713 » Modeling a system controller for timing analysis |
116
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
156
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
139
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
135
Voted
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
122
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...