2470 search results - page 96 / 494 » Liveness-Preserving Simulation Relations |
71
Voted
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
101
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
With the ever-increasing demands on server applications, many new server services are distributed in nature. We evaluated one hundred deployed systems and found that over a one-yea...
97
Voted
VR
2002
IEEE
15 years 8 days ago
2002
IEEE
When people move there are many visual and non-visual cues that can inform them about their movement. Simulating self motion in a virtual-reality environment thus needs to take th...
94
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
111
click to vote
IJRR
2002
15 years 9 days ago
2002
We present method and implementation to acquire deformable models of elastic objects. The method is based on the Green's functions matrix representation of an elastic solid. ...