2673 search results - page 125 / 535 » Guided Static Analysis |
161
Voted
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
178
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the ultimate goals of natural language processing (NLP) systems is understanding the meaning of what is being transmitted, irrespective of the medium (e.g., written versus ...
137
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
148
click to vote
IJPP
2000
15 years 3 months ago
2000
Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural m...
157
Voted
VLSID
2010
IEEE
15 years 8 months ago
2010
IEEE
A novel design approach for simultaneous power and stability (static noise margin, SNM) optimization of nanoCMOS static random access memory (SRAM) is presented. A 45nm single-end...