3130 search results - page 606 / 626 » Design Correctness of Digital Systems |
182
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
168
click to vote
MOBICOM
2003
ACM
15 years 7 months ago
2003
ACM
The characteristics of ad hoc networks naturally encourage the deployment of distributed services. Although current networks implement group communication methods, they do not sup...
118
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
114
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...