688 search results - page 92 / 138 » Synthesis of Reversible Logic |
136
click to vote
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
176
click to vote
VTS
2005
IEEE
15 years 11 months ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
167
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
182
click to vote
ATAL
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
165
click to vote
ASPDAC
2009
ACM
16 years 21 days ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...