2673 search results - page 31 / 535 » Guided Static Analysis |
MICRO
1994
IEEE
14 years 18 days ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
APSEC
1995
IEEE
14 years 1 days ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
CARDIS
2008
Springer
13 years 10 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
ICCAD
2000
IEEE
14 years 2 days ago
2000
IEEE
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...