Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit by Pan, Jing

Subjects: “…Computer arithmetic and logic units.…”

Computerized logic design of digital circuits / by Gussow, Sidney

Subjects: “…Logic circuits Design and construction Computer programs.…”
Search for the full-text version of this title in HathiTrust

The development of an interim generalized gate logic software simulator by McGough, John G.

Subjects: “…Logic circuits.…”

Research in the design of high-performance reconfigurable systems fourth semiannual status report, April 1, 1985 - September 30, 1985 / by Slotnick, D. L.

Subjects: “…Arithmetic and logic units. nasat.…”

Multi-objective decision-making under uncertainty fuzzy logic methods / by Hardy, Terry L.

Subjects:

Optimal design and use of retry in fault tolerant real-time computer systems by Lee, Yann-Hang

Subjects:

All-magnetic PCM telemetry : a review of the system breadboard / by Heckler, C. H.

Subjects:

Design of a massively parallel computer bit using serial processing elements

Subjects:

Technique for synthesis of constant linear dynamical systems with a bang-bang controller / by Suddath, Jerrold H.

Subjects:

Periodic binary sequence generators VLSI circuits considerations / by Perlman, Marvin

Subjects: “…Logic circuits.…”

Rocket engine system reliability analyses using probabilistic and fuzzy logic techniques by Hardy, Terry L.

Subjects:

Implementation of artificial intelligence rules in a data base management system by Feyock, Stefan

Subjects: “…Floating point arithmetic; Logic programming; Protocol (Computers)…”

Formal verification of AI software by Rushby, John, 1949-

Subjects: “…performance; Expert systems; Logic programming; Theorem proving; Algorithms; Program …”

A preliminary investigation into the use of fuzzy logic for the control of redundant manipulators summary report / by Cheatham, John B.

Subjects: “…Fuzzy logic. http://id.loc.gov/authorities/subjects/sh93006704.…”

Validating requirements for fault tolerant systems using model checking

Subjects:

Uncertainty reasoning in expert systems final technical report / by Kreinovich, Vladik

Subjects:

Self-growing neural network architecture using crisp and fuzzy entropy by Cios, Krzysztof J.

Subjects:

A fault injection experiment using the AIRLAB Diagnostic Emulation Facility by Baker, Robert

Subjects: “…tolerance; Flight control; Logic circuits; Reliability analysis; Computer networks; …”

Threshold logic implementation of a modular computer system design / by Hampel, D., Beinart, J. H., Prost, K. J.

Subjects: “…Threshold logic. http://id.loc.gov/authorities/subjects/sh85135048.…”

Diagnostic emulation: Implementation and user's guide by Becher, Bernice

Subjects: “…analysis; Failure modes; Logic circuits; Reliability; Simulation.…”