9532 search results - page 1693 / 1907 » Logic, Graphs, and Algorithms |
229
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...
139
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
168
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
151
click to vote
KCAP
2003
ACM
15 years 10 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
154
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...