2863 search results - page 90 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
128
Voted
SI3D
1992
ACM
15 years 6 months ago
1992
ACM
Techniques are discussed for creating a rendered view into a 3D scene,interactively based on the locations and orientations of the observer's head and the display surface. St...
130
click to vote
PAMI
2002
15 years 2 months ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
146
Voted
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
101
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Sakurai-Newton (SN) delay metric [1] is a widely used closed form delay metric for CMOS gates because of simplicity and reasonable accuracy. Nevertheless it can be shown that t...
143
Voted
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...