2673 search results - page 134 / 535 » Guided Static Analysis |
127
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
142
click to vote
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
142
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. This paper introduces a set of design principles that aim to make processor architectures amenable to static timing analysis. Based on these principles, we give a design ...
144
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
200
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...