494 search results - page 32 / 99 » Static Analysis for Guarded Code |
117
click to vote
WORDS
2005
IEEE
15 years 8 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 ...
147
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
120
click to vote
APVIS
2004
15 years 3 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
140
click to vote
WCRE
2005
IEEE
15 years 8 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
110
Voted
JIT
1999
Springer
15 years 6 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...