2673 search results - page 220 / 535 » Guided Static Analysis |
141
Voted
CASSIS
2005
Springer
15 years 10 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...
125
click to vote
SIGDOC
2004
ACM
15 years 10 months ago
2004
ACM
The signal to noise ratio is a common concept in radio communications and electronic communication in general. For a radio, the static is the noise. Too much static and the storm ...
112
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
126
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
119
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...