BEARdocs

Browsing School of Engineering & Computer Science by Title

DSpace/Manakin Repository

Browsing School of Engineering & Computer Science by Title

Sort by: Order: Results:

  • The Hyper-Linear Package 
    Maurer, Peter M.
    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 ...
  • HyperSim 
    Maurer, Peter M.
    This software package implements the simulation algorithm described in the tech report “Using GF(2) matrices in Simulation and Logic Synthesis” found in this archive. (http://hdl.handle.net/2104/5263). This package is part ...
  • Implementation of lossless compression algorithms for the MIL-STD-1553. 
    Lam, Bernard O.
    This thesis focuses on the bandwidth limitations faced by the legacy MIL-STD-1553 data bus. In order to improve bandwidth performance, lossless implementations of data compression routines have been proposed. Using data ...
  • Increased computation using parallel FPGA architectures. 
    Dark, Stephen L.
    Two ways to improve algorithm performance in hardware are increasing the speed of each operation, or performing multiple operations simultaneously. However, the percent speed-up for the latter depends upon not only system ...
  • The influence of load on kinematics of computer-simulated sagittal-plane lifting. 
    Newman, Patrick S.
    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 ...
  • Information storage capacity of genetic algorithm fitness maps. 
    Montañez, George D. (, )
    To accurately measure the amount of information a genetic algorithm can generate, we must first measure the amount of information one can store, using a fitness map. The amount of information generated, minus the storage ...
  • The Inversion Algorithm for Digital Simulation 
    Maurer, Peter M.
    The Inversion Algorithm is an event-driven algorithm, whose performance rivals or exceeds that of Levelized Compiled code simulation, even at activity rates of 50% or more. The Inversion Algorithm has several unique ...
  • The Inversion-Algorithm Software 
    Maurer, Peter M.
    The software in this package implements four versions of the Inversion algorithm. Four executable files are produced.These executables are used in much the same way as the FHDL package, but only AND, OR, NAND, NOR, NOT, ...
  • Investigation of dense suspension rotary diffusion models for fiber orientation predictions during injection molding of short-fiber reinforced polymeric composites. 
    Agboola, Babatunde O. (, )
    There is a need for physics-based mathematical models for the design of industrial short-fiber reinforced composites (SFRC) to predict the fiber orientation within the part. Traditional models for fiber interactions use ...
  • Investigation of induced thermo-mechanical response and cure kinetics during processing of carbon fiber reinforced plastics. 
    Mailen, Russell. (, )
    The manufacture of laminated composite materials using a thermosetting resin matrix is a complex process that can be understood with a knowledge of cure kinetics, heat transfer, and structural mechanics. During laminate ...
  • The ISCAS85 Benchmarks in FHDL Format 
    Maurer, Peter M.
    The three files that constitute this tech report are ISCAS85.fhdl.zip, ISCAS85.InputVectors.zip, and ISCAS85.VectorGenerators.zip. The first file contains the 10 ISCAS85 benchmarks in FHDL format, plus the smoke-test circuit ...
  • The ISCAS89 Benchmarks in FHDL Format 
    Maurer, Peter M.
    The .zip file contains each of the ISCAS89 Benchmarks in FHDL format. Also included is a random vector generator file for each circuit. (For what it’s worth.) The generators are written in the DGL language.
  • Java bytecode compilation for high-performance, platform-independent logical inference. 
    Arte, Ashish.
    Automated reasoning systems are powerful computer programs capable of solving complex problems. They are characterized as computationally intensive having high performance requirements. Very few reasoning systems have ...
  • A linked-plane obstacle-set algorithm for modeling broad muscle paths : application to the deltoid muscle. 
    Xu, Bo, 1984-
    Computer modeling is commonly used to simulate muscle paths for the study of human biomechanics. Because some muscles, such as broad muscles, have complex morphology, modeling the paths of these muscles can be challenging. ...
  • A low-cost pulsed Fourier transform network analyzer. 
    Herrera, Brandon J. (, )
    Characterizing the frequency response of a material or device over microwave frequencies is a common practice for an RF engineer. New industrial and consumer applications are being developed based on the measurement of the ...
  • Metamorphic programming 
    Maurer, Peter M.
    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 ...
  • MKWHAT: A Compiler-Development Tool for Fast Keyword Recognition 
    Maurer, Peter M.
    Although compiler keywords can be recognized directly in LEX (or flex) these tools are rather slow. MKWHAT is a tool that can be used to generate a keyword recognizer that will recognize key words using a minimal number ...
  • Modeling of flexible fiber motion and prediction of material properties. 
    Zhang, Cong, 1986- (, )
    This work employs the rod chain model of Wang et al. (2006) to study the motion of discrete flexible fibers. Results are presented for both individual fibers and a stochastic distribution of fibers to study the variations ...
  • MovieOracle System 
    Yao, Yao
    The detailed design document covers the basic theory, related technique, and implementation details of the MovieOracle system. It first provides a high-level system overview. Then it discusses the usage of Twitter API, ...
  • MultiKarma : a fully decentralized virtual multi-currency. 
    Allen, Jon D. (Jon Douglas) (, )
    Participant-based technologies enable users to contribute resources to a shared pool that in the aggregate provides valuable services, such as social networks, massive multiplayer online games, file exchange, etc. Such ...

Search BEARdocs


Advanced Search

Browse

My Account

Statistics