121 search results - page 11 / 25 » Efficient algorithms for verifying memory consistency |
DAGSTUHL
1990
15 years 27 days ago
1990
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
119
click to vote
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, an automatic target recognition algorithm is presented based on a framework for learning dictionaries for simultaneous sparse signal representation and feature extr...
101
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Hardware acceleration is crucial in modern embedded system design to meet the explosive demands on performance and cost. Selected computation kernels for acceleration are usually ...
159
click to vote
SIGCOMM
2006
ACM
15 years 5 months ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
DAC
2006
ACM
16 years 21 days ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...