11376 search results - page 2206 / 2276 » Willow System Demonstration |
132
click to vote
SIGIR
1999
ACM
15 years 5 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
118
click to vote
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
-- The Internet is facing two problems simultaneously: there is a need for a faster switching/routing infrastructure, and a need to introduce guaranteed qualities of service (QoS)....
113
click to vote
CAV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
115
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
Interconnect tuning is an increasingly critical degree of freedom in the physical design of high-performance VLSI systems. By interconnect tuning, we refer to the selection of lin...