3688 search results - page 134 / 738 » Static analysis of aspects |
149
click to vote
PDP
2006
IEEE
16 years 15 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...
154
click to vote
RAID
2005
Springer
15 years 12 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...
172
click to vote
DATE
2008
IEEE
16 years 28 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...
184
click to vote
VLSID
2006
IEEE
16 years 14 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...
224
click to vote
ICST
2011
IEEE
14 years 10 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...