433 search results - page 26 / 87 » Building an Interpreter with Vmgen |
WORDS
2005
IEEE
14 years 1 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 ...
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
KBSE
2003
IEEE
14 years 29 days ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
ISWC
2000
IEEE
14 years 2 days ago
2000
IEEE
If a wearable device can register what the wearer is currently doing, it can anticipate and adjust its behavior to avoid redundant interaction with the user. However, the relevanc...