5962 search results - page 26 / 1193 » Working with Patterns and Code |
120
click to vote
NIPS
2008
15 years 3 months ago
2008
This paper addresses the problem of sparsity pattern detection for unknown ksparse n-dimensional signals observed through m noisy, random linear measurements. Sparsity pattern rec...
166
Voted
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
169
click to vote
ACSAC
2010
IEEE
15 years 9 days ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
131
click to vote
CONCURRENCY
2007
15 years 2 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
66
Voted
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE