2620 search results - page 240 / 524 » Efficient Hardware Voxelization |
209
click to vote
MICRO
1992
IEEE
15 years 10 months ago
1992
IEEE
Software pipelining is an important instruction scheduling technique for efficiently overlapping successive iterations of loops and executing them in parallel. Modulo scheduling i...
186
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
171
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
161
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Channel coding is a key element of any digital wireless communication system since it minimizes the effects of noise and interference on the transmitted signal. In thirdgeneration...
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...