1458 search results - page 28 / 292 » The sequentially realizable functionals |
CSL
2000
Springer
15 years 6 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
114
click to vote
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Microprocessors are today getting more and more inefficient for a growing range of applications. Its principles -The Von Neumann paradigm[3]- based on the sequential execution of ...
113
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
Factoring is a logic minimization technique to represent a Boolean function in an equivalent function with minimum literals. When realizing the circuit, a function represented in ...
135
Voted
ISMVL
2008
IEEE
15 years 9 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
121
Voted
IANDC
2010
15 years 1 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...