3719 search results - page 160 / 744 » RACER System Description |
159
Voted
FDL
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
162
Voted
ICEIS
2003
IEEE
16 years 8 days ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
167
click to vote
ISCAS
2003
IEEE
16 years 8 days ago
2003
IEEE
The goal of the research is twofold First, the derivation of a design methodology for FIR filters implementation based on Residue Number System (RNS), aiming at power, delay and h...
177
Voted
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a trinocular stereo algorithm that we have developed as part of an obstacle detection system that detects small obstacles at long range on the highway. We desc...
194
Voted
APAL
2006
15 years 7 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...