Sciweavers

10874 search results - page 317 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 26 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
GMP
2006
IEEE
149views Solid Modeling» more  GMP 2006»
16 years 26 days ago
Shape-Based Retrieval of Articulated 3D Models Using Spectral Embedding
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
Varun Jain, Hao Zhang 0002
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
16 years 25 days ago
Active SLAM using Model Predictive Control and Attractor based Exploration
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
Cindy Leung, Shoudong Huang, Gamini Dissanayake
ASPDAC
2006
ACM
176views Hardware» more  ASPDAC 2006»
16 years 23 days ago
Conversion of reference C code to dataflow model: H.264 encoder case study
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
Hyeyoung Hwang, Taewook Oh, Hyunuk Jung, Soonhoi H...
DATE
2005
IEEE
152views Hardware» more  DATE 2005»
16 years 12 days ago
Modeling and Propagation of Noisy Waveforms in Static Timing Analysis
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...
Shahin Nazarian, Massoud Pedram, Emre Tuncer, Tao ...