Sciweavers

9849 search results - page 1612 / 1970
» Algorithms and Experiments for the Webgraph
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ICNP
2000
IEEE
15 years 11 months ago
Characterization and Performance Evaluation for Proportional Delay Differentiated Services
In this paper, we consider a proportional delay model for Internet differentiated services. Under this model, an ISP can control the “spacing” of waiting times between differe...
Matthew K. H. Leung, John C. S. Lui, David K. Y. Y...
IPPS
2000
IEEE
15 years 11 months ago
Parallel Information Retrieval on an SCI-Based PC-NOW
This paper presents an efficient parallel information retrieval (IR) system which provides fast information service for the Internet users on lowcost high-performance PC-NOW enviro...
Sang-Hwa Chung, Hyuk-Chul Kwon, Kwang Ryel Ryu, Ha...
CHI
2000
ACM
15 years 11 months ago
Evaluation of eye gaze interaction
Eye gaze interaction can provide a convenient and natural addition to user-computer dialogues. We have previously reported on our interaction techniques using eye gaze [10]. While...
Linda E. Sibert, Robert J. K. Jacob
DAC
2000
ACM
15 years 11 months ago
Model-based dummy feature placement for oxide chemical-mechanical polishing manufacturability
—Chemical–mechanical polishing (CMP) is an enabling technique used in deep-submicrometer VLSI manufacturing to achieve long range oxide planarization. Post-CMP oxide topography...
Ruiqi Tian, D. F. Wong, Robert Boone
« Prev « First page 1612 / 1970 Last » Next »