Results 211 to 220 of about 116,488 (262)

Self-checking logic arrays

Microprocessors and Microsystems, 1989
Self-checking blocks may be used to ensure concurrent error detection in integrated circuits. On the other hand, logic arrays such as PLAs, ROMs and RAMs are essential to circumvent the increasing complexity of VLSI circuits. Efficient self-checking schemes for logic arrays are therefore essential for concurrent error detection in VLSI circuits.
Nicolaidis, M., Courtois, B.
openaire   +1 more source

On the Logic of Self-Knowledge

Noûs, 1967
In [4]1 Jaakko Hintikka has made the most important contribution, so far, to the problem of formalizing the logic of the concept knowledge. He has construed a semantical system with a primitive modal operator 'K' governed by the rule of formation: "Kap" is a well-formed formula of the system, if a is a personal individual constant or a variable ranging
openaire   +1 more source

Self-Reference and Chaos in Fuzzy Logic [PDF]

IEEE Transactions on Fuzzy Systems, 1993
Investigates a range of phenomena from dynamical systems or chaos theory which appear in a simple fuzzy logic with the introduction of self-reference. Within that logic, self-referential sentences exhibit properties of fixed point attractors, fixed point repellers, and full chaos on ...
exaly   +2 more sources

€μ-Logics – Propositional Logics with Self-Reference and Modalities

2008
In this paper we present a special class of propositional logics with means of expression for self-reference, classical connectives, quantification over proposi- tions, and the ability to integrate modalities coming from arbitrary modal logics over Kripke semantics. This class of logics - the so-called ∈µ-logics - was first defined in (1). Here we show
openaire   +2 more sources

Basic Architecture for Logic Self Repair

2008 14th IEEE International On-Line Testing Symposium, 2008
Built-in self test (BIST) and built-in self repair (BISR) techniques have been developed for memory blocks in recent years. Such techniques are suited to enhance production yield, but also to facilitate long-term dependable circuits though self repair in the field of application. BISR for logic circuits has shown to be much more complex, for which only
Tobias Koal, Heinrich Theodor Vierhaus
openaire   +1 more source

DEMONSTRATIVES AND THE LOGIC OF THE SELF

Philosophical Papers, 1999
Etude du probleme des indexicaux essentiels, definis en termes de demonstratifs reflechis et d'occurence, dans l'expression de la croyance individuelle et de l'explication des changements de comportement, en reference a J. Perry, H.-N. Castaneda et G. E. M. Anscombe. Soulevant la question de l'eliminabilite des indexicaux dans la logique du moi et dans
openaire   +1 more source

Self-resetting stage logic pipelines

Proceedings of the 14th ACM Great Lakes symposium on VLSI, 2004
In this paper, we present a novel synchronization approach to support data flow in clockless designs using single-rail encoding. This approach is based on self-resetting stage logic in which a pipeline stage resets itself before starting the next execution cycle. As such, a stage goes through a reset phase when its output is null, and an evaluate phase
Ejnioui, Abdel, Alsharqawi, Abdelhalim
openaire   +2 more sources

A self-adjusting dynamic logic module

Journal of Parallel and Distributed Computing, 1991
Abstract This paper presents an ASOCS (adaptive self-organizing concurrent system) model for massively parallel processing of incrementally defined rule systems in such areas as adaptive logic, robotics, logical inference, and dynamic control. An ASOCS is an adaptive network composed of many simple computing elements operating asynchronously and in ...
Tony R. Martinez, Douglas M. Campbell
openaire   +2 more sources

Built-in Self Repair for Logic Structures

2011
For several years, many authors have predicted that nano-scale integrated devices and circuits will have a rising sensitivity to both transient and permanent faults effects. Essentially, there seems to be an emerging demand for building highly dependable hardware / software systems from unreliable components. Most of the effort has so far gone into the
Tobias Koal, Heinrich T. Vierhaus
openaire   +1 more source

Unitary Self-Adjoint Logics of Projections

International Journal of Theoretical Physics, 1998
Let \(U\) be a unitary operator on a complex separable Hilbert space \(H\). Denote by \(P_U\) the set of all bounded operators \(p\) on \(H\) such that \(p^2 = p\) and \((Upx,y) = (Ux,py)\). The author studies the structure of a logic \(P_U\).
openaire   +1 more source