Sciweavers

2119 search results - page 258 / 424
» Structure-Preserving Model Reduction
Sort
View
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
16 years 14 days 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
FGR
2006
IEEE
102views Biometrics» more  FGR 2006»
16 years 14 days ago
Robust Spotting of Key Gestures from Whole Body Motion Sequence
Robust gesture recognition in video requires segmentation of the meaningful gestures from a whole body gesture sequence. This is a challenging problem because it is not straightfo...
Hee-Deok Yang, A-Yeon Park, Seong-Whan Lee
ISVLSI
2006
IEEE
89views VLSI» more  ISVLSI 2006»
16 years 13 days ago
System Exploration of SystemC Designs
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Christian Genz, Rolf Drechsler
LCN
2006
IEEE
16 years 13 days ago
On Cache Prefetching Strategies For Integrated Infostation-Cellular Network
Infostations provide an inexpensive and high speed wireless disseminator that features discontinuous coverage by bounding many low cost, limited transmission range and high-bandwi...
Jerry Chun-Ping Wang, Hossam ElGindy, Justin Lipma...
ITICSE
2004
ACM
15 years 12 months ago
Generation as method for explorative learning in computer science education
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
Andreas Kerren