526 search results - page 23 / 106 » Towards the Verifying Compiler |
ECRTS
2007
IEEE
14 years 4 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...