3387 search results - page 61 / 678 » Model-Checking for Real-Time Systems |
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
—Distributed computing systems often strive to decouple their communicating components (threads on a single node, or nodes in a network) from each other with respect to time, spa...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
VLSID
2009
IEEE
14 years 8 months ago
2009
IEEE
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we comprehensively investigated the issue of reliability-driven real-time scheduling for periodic tasks in heterogeneous systems. First, we built a reliability model...