565 search results - page 43 / 113 » A (De)constructive Approach to Program Checking |
ESOP
2011
Springer
13 years 5 days ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
ISORC
2002
IEEE
14 years 1 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
ENTCS
2008
13 years 8 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
ESSOS
2009
Springer
14 years 1 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...