3688 search results - page 151 / 738 » Static analysis of aspects |
166
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: Link analysis is the most important application of web structure mining and serves as a new knowledge source in web information retrieval. However, the mono-dimensional analysis ...
148
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
200
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
183
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
156
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...