3719 search results - page 160 / 744 » RACER System Description |
148
click to vote
FDL
2003
IEEE
15 years 11 months 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...
148
click to vote
ICEIS
2003
IEEE
15 years 11 months 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...
153
click to vote
ISCAS
2003
IEEE
15 years 11 months 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...
168
click to vote
ICRA
1999
IEEE
15 years 10 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...
177
click to vote
APAL
2006
15 years 6 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...