University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 81 items
Thumbnail for Proceedings of the Workshop on Fault Tolerant System Design and Implementation
Proceedings of the Workshop on Fault Tolerant System Design and Implementation
Metze, Gernot

Thumbnail for A Generalized Equivalence Relation for Algebras of Post Functions
A Generalized Equivalence Relation for Algebras of Post Functions
DuCasse, Ed; Metze, Gernot

Thumbnail for A Study of Parallel One's Complement Arithmetic Units With Separate Carryor Borrow Storage
A Study of Parallel One's Complement Arithmetic Units With Separate Carryor Borrow Storage
Metze, Gernot Albert

Thumbnail for Generalized Coordinate Functions and Equivalence Classes in Post Algebras
Generalized Coordinate Functions and Equivalence Classes in Post Algebras
DuCasse, Ed; Metze, Gernot

Thumbnail for The Relation of Equivalence for Post Functions
The Relation of Equivalence for Post Functions
DuCasse, Ed; Metze, Gernot

Thumbnail for Structure Theorems for Equivalence Classes in Finite Post Algebras
Structure Theorems for Equivalence Classes in Finite Post Algebras
DuCasse, Ed; Metze, Gernot

Thumbnail for Some Results on Computing Function Values in Finite Post Algebras
Some Results on Computing Function Values in Finite Post Algebras
DuCasse, Ed; Metze, Gernot

Thumbnail for General Design Rules for the Construction of m-out-of-n Totally Self-Checking Checkers
General Design Rules for the Construction of m-out-of-n Totally Self-Checking Checkers
Smith, James E.; Metze, Gernot

Thumbnail for An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions
An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions
Wojcik, Anthony S.; Metze, Gernot

Thumbnail for On the Existence of Combinational Networks with Arbitrary Multiple Redundancies
On the Existence of Combinational Networks with Arbitrary Multiple Redundancies
Smith, James E.; Metze, Gernot

Thumbnail for A Design Language for Modular Asynchronous Control Structures
A Design Language for Modular Asynchronous Control Structures
Mudge, Trevor; Metze, Gernot

Thumbnail for A Design Language for Modular Asynchronous Control Structures
A Design Language for Modular Asynchronous Control Structures
Mudge, Trevor; Metze, Gernot

Thumbnail for An Algebra for the Realization of Switching Functions Using a Certain Type of MOS Package
An Algebra for the Realization of Switching Functions Using a Certain Type of MOS Package
Nair, Ravindra; Metze, Gernot

Thumbnail for Optimal NOR Networks for Self-Dual Functions
Optimal NOR Networks for Self-Dual Functions
Reynolds, D.; Metze, Gernot

Thumbnail for Fault Diagnosis in FET Modules
Fault Diagnosis in FET Modules
Paige, M.; Metze, Gernot

Thumbnail for Computer Compiler: Part I - Preliminary Report
Computer Compiler: Part I - Preliminary Report
Metze, Gernot; Seshu, Sundaram

Thumbnail for On the Connection Assignment Problem of Diagnosable Systems
On the Connection Assignment Problem of Diagnosable Systems
Preparata, F.P.; Metze, Gernot; Chien, R.T.

Thumbnail for Multiple Fault Diagnosis in Combinational Networks
Multiple Fault Diagnosis in Combinational Networks
Cha, Charles Wei-Yuan

Thumbnail for Design of Digital Systems Using Self-Checking Alternating Logic
Design of Digital Systems Using Self-Checking Alternating Logic
Woodard, Scott Eugene

Thumbnail for The Design of Totally Self-Checking Systems
The Design of Totally Self-Checking Systems
Ho, David Su-Ming

Thumbnail for On High Level Digital System Design
On High Level Digital System Design
Peterson, James Byron

Thumbnail for The Design of Alternating Logic Systems with Fault Detection Capabilities
The Design of Alternating Logic Systems with Fault Detection Capabilities
Reynolds, Dennis Andrew

Thumbnail for Design of a Fault-Tolerant Asynchronous Sequential Machine
Design of a Fault-Tolerant Asynchronous Sequential Machine
Fan, Yu-Dar

Thumbnail for Creating Simulators from a Design Language
Creating Simulators from a Design Language
Smith, Frank Mykland

Thumbnail for Design of Totally Self-Checking Asynchronous Sequential Machines
Design of Totally Self-Checking Asynchronous Sequential Machines
Özgüner, Füsun

Thumbnail for Design of Fail-Safe Asynchronous Sequential Machines
Design of Fail-Safe Asynchronous Sequential Machines
Fan, Yu-Dar

Thumbnail for Serial Translation of Binary Block Codes
Serial Translation of Binary Block Codes
Francis, Steve Alan

Thumbnail for An Integrated Circuit Fault Model for Digital Systems
An Integrated Circuit Fault Model for Digital Systems
Ketelsen, Mark Loren

Thumbnail for The Study of a Totally Self-Checking Adder
The Study of a Totally Self-Checking Adder
Ho, David Su-Ming

Thumbnail for A Computer Hardware Design Language for Multiprocessor Systems
A Computer Hardware Design Language for Multiprocessor Systems
Mudge, Trevor Nigel