322 search results - page 3 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
ANSOFT
1999
13 years 7 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
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...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...