3688 search results - page 134 / 738 » Static analysis of aspects |
141
Voted
PDP
2006
IEEE
16 years 3 days ago
2006
IEEE
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
142
click to vote
RAID
2005
Springer
15 years 11 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
163
click to vote
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
176
click to vote
VLSID
2006
IEEE
16 years 3 days ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
214
click to vote
ICST
2011
IEEE
14 years 9 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...