4520 search results - page 74 / 904 » Algebraic Techniques for Timed Systems |
109
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
109
click to vote
VTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
121
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...
109
click to vote
JACIII
2008
15 years 1 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
140
Voted
ECRTS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...