Sciweavers

283 search results - page 19 / 57
» On the Accuracy and Running Time of GSAT
Sort
View
119
Voted
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
15 years 8 months ago
Fast and accurate protocol specific bus modeling using TLM 2.0
—The need to have Transaction Level models early in the design cycle is becoming more and more important to shorten the development times of complex Systems-on-Chip (SoC). These ...
H. W. M. van Moll, Henk Corporaal, Víctor R...
106
Voted
CODES
2009
IEEE
15 years 5 months ago
Cycle count accurate memory modeling in system level design
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
Yi-Len Lo, Mao Lin Li, Ren-Song Tsay
ICCV
2007
IEEE
16 years 3 months ago
Finite-Element Level-Set Curve Particles
Particle filters encode a time-evolving probability density by maintaining a random sample from it. Level sets represent closed curves as zero crossings of functions of two variab...
Tingting Jiang, Carlo Tomasi
96
Voted
ICIP
2008
IEEE
16 years 3 months ago
Real-time face alignment with tracking in video
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
Yanchao Su, Haizhou Ai, Shihong Lao
CP
2001
Springer
15 years 6 months ago
Optimal Pruning in Parametric Differential Equations
Initial value problems for parametric ordinary differential equations (ODEs) arise in many areas of science and engineering. Since some of the data is uncertain, traditional numer...
Micha Janssen, Pascal Van Hentenryck, Yves Deville