Sciweavers

574 search results - page 3 / 115
» On the Validity of Hierarchical Decompositions
Sort
View
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
14 years 2 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
MVA
2010
296views Computer Vision» more  MVA 2010»
13 years 7 months ago
Non-contact 3D acquisition system based on stereo vision and laser triangulation
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
João L. Vilaça, Jaime C. Fonseca, An...
IJHPCA
2008
131views more  IJHPCA 2008»
13 years 8 months ago
De Novo Ultrascale Atomistic Simulations On High-End Parallel Supercomputers
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
Aiichiro Nakano, Rajiv K. Kalia, Ken-ichi Nomura, ...
EUROPAR
2006
Springer
14 years 9 days ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter