837 search results - page 98 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
JTRES
2010
ACM
13 years 9 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
SIGOPS
2010
13 years 7 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
EDCC
2008
Springer
13 years 10 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
AHS
2006
IEEE
14 years 3 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...