402 search results - page 4 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
HYBRID
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
CODES
1999
IEEE
15 years 3 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
107
click to vote
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
106
click to vote
CJ
2010
14 years 9 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...