Now showing items 118-137 of 141

  • A Search Strategy Using a Hamming-Distance Oracle 

    Maurer, Peter M. (2009-08-04)
    The objective of the algorithm described in this report is to optimally guess a hidden binary string based on queries to an oracle where the length of the string is known beforehand. A C++ version of the algorithm is given ...
  • The Shadow Algorithm Software Package 

    Maurer, Peter M. (2009-11-13)
    This is the software described in the technical report “The Shadow Algorithm: …” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
  • The Shadow Algorithm: A Scheduling Technique for Both Compiled and Interpreted Simulation 

    Maurer, Peter M. (2009-11-05)
    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 ...
  • Side lobe modulation of radar antenna pattern utilizing an auxiliary array. 

    Wang, Loria LayShay. (, 2013-05-15)
    In the area of electronic countermeasures, disabling the ability of an individual to “listen” to the transmitted waveform is of great interest. Most often, an individual can intercept the transmitted radar signal through ...
  • Simulation and measurement of the Guided Microwave Spectrometry system. 

    Daniliuc, Joshua D. (, 2013-09-24)
    Previously, a novel microwave measurement device known as the Guided Microwave Spectrometry (GMS) system was developed for retrieving properties of material under test (MUT) and non-destructively measuring the composition ...
  • Studies of active information in search. 

    Ewert, Winston. (2010)
    A search process is an attempt to locate a solution to a problem, such as an optimization problem, where the space is usually too large to exhaustively sample. In order to investigate this idea this work looks a three ...
  • The Subgroups of S3 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S3 in cycle form.
  • The Subgroups of S4 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S4, the symmetric group of degree 4. Subgroups are listed in cycle form using the integers 0, 1, 2, and 3.
  • The Subgroups of S5 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S5 in cycle form, using the integers 0-4.
  • The Subgroups of S6 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S6 in cycle form using the integers 0-5.
  • The Super Symmetric Representations of S4 in GL3(2) 

    Maurer, Peter M. (2013-09-20)
    This report gives all conjugacy classes of the super symmetric groups HR3 and VR3
  • Super Symmetry 

    Maurer, Peter M. (2013-09-20)
    Super symmetry is a type of matrix-based symmetry that extends the concept of total symmetry. Super symmetric functions are “even more symmetric” than totally symmetric functions. Even if a function is not super ...
  • Three-Valued Simulation with the Inversion Algorithm 

    Maurer, Peter M. (2009-11-05)
    The Inversion Algorithm is an event-driven logic simulation technique that is competitive with Levelized Compiled Code Simulation. Previous versions of the Inversion Algorithm have been limited to purely binary simulation. ...
  • TOKDEC: A Tool for Compiler Debugging 

    Maurer, Peter M. (2009-11-13)
    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.
  • Two New Techniques for Unit-Delay Compiled Simulation 

    Maurer, Peter M. (2009-11-05)
    The PC-set method and the parallel technique are two methods for generating compiled unit-delay simulations of acyclic circuits. The PC-set method analyzes the network, determines the set of potential change times for each ...
  • "Two-way" obliviousness in general aspect-oriented modeling. 

    Roberts, Nathan V. (2008-10-01)
    A key problem in software development is producing systems that are maintainable even as the concerns at play evolve. Aspect-oriented programming (AOP) seeks to foster maintainability by isolating the specifications of ...
  • Unit Delay Scheduling for the Inversion Algorithm 

    Maurer, Peter M. (2009-11-05)
    The Inversion Algorithm is an event driven algorithm whose performance meets or exceeds that of Levelized Compiled Code simulation, even when the activity rate is unrealistically high. Existing implementations of the ...
  • A Universal Symmetry Detection Algorithm 

    Maurer, Peter M. (2013-09-20)
    Research on symmetry detection focuses on identifying and detecting new types of symmetry. We present an algorithm that is capable of detecting any type of permutation based symmetry, including many types for which there ...
  • The use of the flexural modulus in the comparison of fiber orientation models for concentrated suspensions in short fiber-filled thermoplastics. 

    Lewis, Benjamin W. (, 2013-09-24)
    Advances in modeling spatially varying fiber orientation within an injection molded thermoplastic composite part have led to better structural designs and manufacturing efficiencies by optimizing mold designs and processing ...
  • Using GF(2) matrices in Simulation and Logic Synthesis 

    Maurer, Peter M. (2009-01-23)
    GF(2) matrices are matrices of ones and zeros under modulo 2 arithmetic. Like the GF(2) polynomials used in error detection and correction, they have many potential uses in Electronic Design Automation (EDA). Non-singular ...