Searching for "Logical Loops." – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
Logical Loops
- …Logical Loops Joachim Schimpf IC-Parc, Imperial College, London SW7 2AZ United Kingdom J…
- Cited by 3 (0 self) – Add To MetaCart
-
Combinational Circuits: Propositional Logic and Equivalence
- … (Boolean) functions • No logical loops, i.e., topologically there may be loops…
- Add To MetaCart
-
Tableau-based decision procedures for hybrid logic
- …TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC THOMAS BOLANDER AND TORBEN BRA ÜNER Abstract…
- Cited by 14 (3 self) – Add To MetaCart
-
• Propositional resolution
- …, and blocks implementing more complex logic (Boolean) functions. • No logical loops, i.e., topologically…
- Add To MetaCart
-
IP Layer Restoration and Network Planning Based on Virtual Protection Cycles
- … techniques (such as an MPLS label switched path, or other means) to form closed logical loops that protect a…
- Cited by 20 (4 self) – Add To MetaCart
-
INTEGRATED CIRCUITS Philips Semiconductors Application note Implementing fuzzy logic control
- …AN710 Implementing fuzzy logic control with the XA Author: Zhimin Ding 1996 Dec 30…
- Add To MetaCart
-
Efficient Exploitation of Parallelism on Pentium III and Pentium 4 Processor-Based Systems
- … movapd a[ecx], xmm0 ; store 2 DP FP numbers add ecx, 16 cmp ecx, 800 jl SUB ; looping logic For loops…
- Cited by 10 (1 self) – Add To MetaCart
-
Reasoning about Java classes
- …. Such a tool is used as a back-end, to our own tool, which we call LOOP (for Logic of Object…
- Cited by 18 (0 self) – Add To MetaCart
-
Sequence Quantification
- …. The Logical Loops package of the ECLiPSe system [14], developed independently of the present work, provides a…
- Add To MetaCart
-
An analysis framework for security in Web applications
- … for first-order arithmetic. Logical loops cannot be handled this way. Instead, we "unroll" them the minimal…
- Cited by 14 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
