4485 search results - page 709 / 897 » Equivalences on Observable Processes |
229
click to vote
IV
2006
IEEE
16 years 15 days ago
2006
IEEE
Many contemporary visualization tools comprise some image filtering approach. Since image filtering approaches are very computationally demanding, the acceleration using graphic...
171
click to vote
PDP
2006
IEEE
16 years 15 days 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. ...
162
click to vote
ASPDAC
2006
ACM
16 years 14 days 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...
148
click to vote
ASPDAC
2006
ACM
16 years 14 days 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 ...
181
click to vote
CSCW
2006
ACM
16 years 14 days 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. ...