4485 search results - page 709 / 897 » Equivalences on Observable Processes |
183
Voted
IV
2006
IEEE
15 years 9 months ago
2006
IEEE
Many contemporary visualization tools comprise some image filtering approach. Since image filtering approaches are very computationally demanding, the acceleration using graphic...
138
Voted
PDP
2006
IEEE
15 years 9 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
109
click to vote
ASPDAC
2006
ACM
15 years 9 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...
108
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
136
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Mixed Reality Architecture (MRA) supports distributed teams in their everyday work activities by linking multiple physical spaces across a shared three-dimensional virtual world. ...