Sciweavers

2119 search results - page 258 / 424
» Structure-Preserving Model Reduction
Sort
View
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 9 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
FGR
2006
IEEE
102views Biometrics» more  FGR 2006»
15 years 9 months 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»
15 years 8 months 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
15 years 8 months 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 8 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