1188 search results - page 155 / 238 » Design space exploration revisited |
FCCM
2009
IEEE
14 years 5 months ago
2009
IEEE
—We present a parameterized stereo vision core suitable for a wide range of FPGA targets and stereo vision applications. By enabling easy tuning of algorithm parameters, our syst...
SBRN
2008
IEEE
14 years 4 months ago
2008
IEEE
The design of an autonomous navigation system for mobile robots can be a tough task. Noisy sensors, unstructured environments and unpredictability are among the problems which mus...
SIES
2008
IEEE
14 years 4 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
ASAP
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...