8874 search results - page 299 / 1775 » A New Implementation of Automath |
167
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
173
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Highly sophisticated animals consist of a set of heterogenous modules decided by nature so that they can survive in a complex environment. In this paper we present a new modula...
179
click to vote
ICANNGA
2007
Springer
16 years 1 months ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
176
click to vote
MTV
2006
IEEE
16 years 1 months ago
2006
IEEE
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
162
click to vote
ACIVS
2006
Springer
16 years 1 months ago
2006
Springer
A new design for image processing frameworks is proposed. The new design addresses high-level abstractions suited for componentbased image processing applications, in particular re...