Now showing items 1-10 of 59
The Shadow Algorithm: A Scheduling Technique for Both Compiled and Interpreted Simulation
The shadow algorithm is an event-driven unit-delay simulation technique that has been designed to take advantage of the instruction caches present in many of the latest workstations. The algorithm is based on the threaded-code ...
The Hyper-Linear Package
The Hyper-Linear package is the core of the hyper-linear simulation technique described in Reference 1. Given the specification of a Boolean function, the package will detect all partial and total symmetries and return the ...
The FHDL Rom Tools
The FHDL (Functional Hardware Design Language) ROM tools provide a method for specifying, simulating, and automatically laying out ROMs. The primary focus of the ROM tools is on providing powerful methods for specifying ...
Metamorphic programming is an effective tool for creating efficient and elegant solutions to many programming problems, at least once you get over the shock of seeing code that violates many of the accepted rules of good ...
The EVCF Software Package
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.
TOKDEC: A Tool for Compiler Debugging
TOKDEC is a tool that helps create compiler debugging code by converting numeric tokens into character strings. It is meant to be used with the output of the “yacc” preprocessor.
This is the software described in the technical report “The GF2Matrices Classes: A Programming Package for Mathematical Research.” Over the past few years I have been engaged in an intense study of GF(2) matrices, especially ...
Deduction by Induction
In this report, I offer a technique for computing power sums that is: intuitive, well-motivated, generalizable to all k, and suitable for presentation to pre-calculus students.
The influence of load on kinematics of computer-simulated sagittal-plane lifting.
Researchers have shown that lifting kinematics change predictably with increased load. To test whether these kinematics patterns are intrinsic or voluntary, a computer model was developed to simulate lifting in the sagittal ...
A Quick Algorithm for Identifying Conjugate Groups in GF(2)
This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...