8874 search results - page 261 / 1775 » A New Implementation of Automath |
203
click to vote
TIDSE
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. This article presents the first implementation results of a storytelling system called Jeherazade. The Jeherazade system is based on the idea to enhance the classical the...
199
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
151
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present an analog circuit that determines the direction of incoming sound using two microphones. The circuit is inspired by biology and uses two silicon cochlea to...
156
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
155
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new self-resetting CMOS design for an Add-Compare-Select (ACS) unit, which is a key building block in a Viterbi decoder. Static CMOS and two-phase domino CMO...