1321 search results - page 146 / 265 » Subtyping in Logical Form |
128
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents new circuit configurationsfor a more robust and efficient form of self-resettingCMOS (SRCMOS). Prior structures for SRCMOS have very high performance but are...
142
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
168
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
143
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
182
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
The following article describes and discusses the suitability of the particle swarm optimization (PSO) for the employment with blind adaptation of the directional characteristic o...