575 search results - page 76 / 115 » Multi-Valued Logic Synthesis |
158
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
135
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...
173
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...
181
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...