Sciweavers

3688 search results - page 41 / 738
» Static analysis of aspects
Sort
View
WETICE
1999
IEEE
14 years 2 months ago
Static Analysis of Binary Code to Isolate Malicious Behaviors
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
J. Bergeron, Mourad Debbabi, M. M. Erhioui, B&eacu...
ICCD
2006
IEEE
119views Hardware» more  ICCD 2006»
14 years 6 months ago
FA-STAC: A Framework for Fast and Accurate Static Timing Analysis with Coupling
— This paper presents a framework for fast and accurate static timing analysis considering coupling. With technology scaling to smaller dimensions, the impact of coupling induced...
Debasish Das, Ahmed Shebaita, Hai Zhou, Yehea I. I...
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
14 years 10 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
14 years 6 months ago
An accurate sparse matrix based framework for statistical static timing analysis
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
Anand Ramalingam, Gi-Joon Nam, Ashish Kumar Singh,...
ICCAD
2003
IEEE
139views Hardware» more  ICCAD 2003»
14 years 6 months ago
Equivalent Waveform Propagation for Static Timing Analysis
This paper proposes a scheme that captures diverse input waveforms of CMOS gates for static timing analysis. Conventionally the latest arrival time and transition time are calcula...
Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera