4716 search results - page 366 / 944 » Iterative-free program analysis |
187
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
201
Voted
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, a new algorithm for source recovery in underdetermined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented i...
177
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
169
Voted
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we highlight a fast, effective and practical statistical approach that deals with inter and intra-die variations in VLSI chips. Our methodology is applied to a numb...
210
Voted
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Video management research has largely been ignoring the increased attractiveness of using camera-equipped mobile phones for the production of short home video clips, mostly consid...