4716 search results - page 366 / 944 » Iterative-free program analysis |
165
click to vote
CAV
2007
Springer
16 years 27 days 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...
181
click to vote
ICA
2007
Springer
16 years 27 days 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...
154
Voted
IFIP
2007
Springer
16 years 26 days 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...
153
Voted
DATE
2005
IEEE
16 years 10 days 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...
188
Voted
ICMCS
2005
IEEE
16 years 10 days 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...