7262 search results - page 467 / 1453 » Reversible Computer Hardware |
118
click to vote
ISSS
1995
IEEE
15 years 8 months ago
1995
IEEE
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...
140
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
Microphone arrays play an important role in noise reduction and speech enhancement. Their algorithms are based on beamforming, which reduces the level of localized and ambient noi...
188
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
176
click to vote
APCCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper presents a hardware friendly fast algorithm and its architecture for motion estimation (ME) in H.264 video coding. The fast algorithm adopts the quarter pel subsampling a...
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...