Browsing Computer Science Technical Reports by Author "Maurer, Peter M."
Now showing items 120 of 63

AntiSymmetry and Logic Simulation
Maurer, Peter M. (20120119)Like ordinary symmetries, antisymmetries are defined in terms of relations between function cofactors. For ordinary symmetries, two cofactors must be equal, for antisymmetries two cofactors must be complements of ... 
AN APPLICATION OF GROUP THEORY TO THE ANALYSIS OF SYMMETRIC GATES
Maurer, Peter M. (20091026)A method for determining the symmetries of the inputs of a logic gate either from its truth table or from facts obtained by inspection of its circuit is presented. The symmetry rule of a gate with n inputs is defined in ... 
Categories for Component Level Design
Maurer, Peter M. (20090218)Several research problems are discussed, including communication mechanisms and the interface between components and the glue logic used to tie them together. A technique for engineering new componentlevel applications ... 
The Class 1 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 1. 
The Class 10 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 10. (There is no class 6, so the classes are ... 
The Class 2 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 2. 
The Class 3 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 3. 
The Class 4 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 4. 
The Class 5 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 5. 
The Class 7 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 7. 
The Class 8 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 8. This class includes the standard representation ... 
Class 9 4x4 Faithful Representations of S4 over GF(2)
Maurer, Peter M. (20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 9. 
The Complexity of Detecting Symmetric Functions
Maurer, Peter M. (20090218)The characterization of the symmetries of boolean functions is important both in automatic layout synthesis, and in automatic verification of manually created layouts. It is possible to characterize the symmetries of an ... 
The Conjugacy Classes of 3x3 and 4x4 Matrices Over GF(2)
Maurer, Peter M. (20130920)The general linear groups over GF(2) have an intricate and interesting structure. This report does some preliminary work in examining the structure of two of these groups by giving the conjugacy classes of 3x3 and 4x4 ... 
Conjugates of the Standard Representation of S3 in 3x3 matrices
Maurer, Peter M. (20130920)This is a list of the 28 conjugates of the standard representation of S3 in 3x3 matrices. 
Connlib
Maurer, Peter M. (20091113)This software package can be used to create the FHDL library file. This library allows one to use the FHDL parser and simulator software in your own projects. The package can be compiled either under Linux (i.e. gcc) or ... 
Deduction by Induction
Maurer, Peter M. (20091026)In this report, I offer a technique for computing power sums that is: intuitive, wellmotivated, generalizable to all k, and suitable for presentation to precalculus students. 
The EVCF Software Package
Maurer, Peter M. (20091113)This is the software described in the technical report “Event Driven Simulation without Loops or Conditionals” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory. 
Event Driven Simulation without Loops or Conditionals
Maurer, Peter M. (20091105)Event driven simulation normally requires a great deal of computation to perform a multitude of different tasks. The purpose of this paper is to show that none of these computations are necessary. Most computations are ... 
The FHDL LCC Simulator
Maurer, Peter M. (20091113)This software is the levelized compiled code simulator for the FHDL system. Given a .ckt file, it will compile the file into a C program that simulates the circuit. The C program will be compiled into an executable by the ...