1020 search results - page 84 / 204 » Advanced Teleoperation Architecture |
DAC
1994
ACM
15 years 2 months ago
1994
ACM
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
AUTONOMICS
2007
ACM
15 years 2 months ago
2007
ACM
In recent years we have witnessed a great increase in the interest in Trust Management (TM) techniques both from the industrial and the academic sectors. The booming research has ...
ASAP
2006
IEEE
15 years 1 months ago
2006
IEEE
State-of-the-art communication standards make extensive use of Turbo codes. The complex and power consuming designs that currently implement the turbo decoder expose the need for ...
ARC
2008
Springer
15 years 3 days ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
102
click to vote
DAC
2005
ACM
15 years 2 days ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...