Sciweavers

203 search results - page 10 / 41
» On the Average Complexity of Moore's State Minimization Algo...
Sort
View
ESANN
2003
13 years 10 months ago
Robust Vector Quantization for Burst Error Channels Using Genetic Algorithm
This paper presents a novel vector quantizer (VQ) design algorithm for a burst error channel (BEC). The algorithm minimizes the average distortion when the BEC is in normal state o...
Wen-Jyi Hwang, Chien-Min Ou, Chin-Ming Yeh
ISPD
2006
ACM
84views Hardware» more  ISPD 2006»
14 years 2 months ago
Integrated retiming and simultaneous Vdd/Vth scaling for total power minimization
The integration of retiming and simultaneous supply/threshold voltage scaling has a potential to enable more rigorous total power reduction. However, such integration is a highly ...
Mongkol Ekpanyapong, Sung Kyu Lim
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
14 years 3 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
Karin Avnit, Arcot Sowmya
ICRA
2009
IEEE
154views Robotics» more  ICRA 2009»
14 years 3 months ago
On the complexity and consistency of UKF-based SLAM
— This paper addresses two key limitations of the unscented Kalman filter (UKF) when applied to the simultaneous localization and mapping (SLAM) problem: the cubic, in the numbe...
Guoquan Huang, Anastasios I. Mourikis, Stergios I....
ICCAD
2005
IEEE
90views Hardware» more  ICCAD 2005»
14 years 5 months ago
Scalable compositional minimization via static analysis
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz