169 search results - page 19 / 34 » Implementing fault-tolerance in real-time programs by automa... |
PADO
2001
Springer
15 years 1 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
105
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
95
Voted
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
TPDS
1998
14 years 9 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...