2673 search results - page 141 / 535 » Guided Static Analysis |
141
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
130
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
127
click to vote
CSFW
1994
IEEE
15 years 8 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
133
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
We present an experimental study of automatic camera control in the performance of collaborative remote repair tasks using video-mediated communication. Twelve pairs of participan...
131
click to vote
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...