Sciweavers

    DAC
    1997
    ACM
    117views Computer Architecture» more  DAC 1997»
    Sequence Compaction for Probabilistic Analysis of Finite-State Machines
    13 years 8 months ago
    Sequence Compaction for Probabilistic Analysis of Finite-State Machines
    Download  atrak.usc.edu
    - The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
    Diana Marculescu, Radu Marculescu, Massoud Pedram
    claim paper
    Read More »
    DAC
    1997
    ACM
    112views Computer Architecture» more  DAC 1997»
    Remembrance of Things Past: Locality and Memory in BDDs
    13 years 8 months ago
    Remembrance of Things Past: Locality and Memory in BDDs
    Download  www.cecs.uci.edu
    Binary Decision Diagrams BDDs are e cient at manipulating large sets in a compact manner. BDDs, however, are inefcient at utilizing the memory hierarchy of the computer. Recent ...
    Srilatha Manne, Dirk Grunwald, Fabio Somenzi
    claim paper
    Read More »
    DAC
    1997
    ACM
    107views Computer Architecture» more  DAC 1997»
    Optimizing Designs Containing Black Boxes
    13 years 8 months ago
    Optimizing Designs Containing Black Boxes
    Download  users.ece.utexas.edu
    Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Si...
    claim paper
    Read More »
    DAC
    1997
    ACM
    205views Computer Architecture» more  DAC 1997»
    Static Timing Analysis of Embedded Software
    13 years 8 months ago
    Static Timing Analysis of Embedded Software
    Download  www.cesr.ncsu.edu
    This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
    Sharad Malik, Margaret Martonosi, Yau-Tsun Steven ...
    claim paper
    Read More »
    DAC
    1997
    ACM
    102views Computer Architecture» more  DAC 1997»
    An Improved Algorithm for Minimum-Area Retiming
    13 years 8 months ago
    An Improved Algorithm for Minimum-Area Retiming
    Download  www.ece.umn.edu
    The concept of improving the timing behavior of a circuit by relocating flip-flops is called retiming and was first presented by Leiserson and Saxe. The ASTRA algorithm propose...
    Naresh Maheshwari, Sachin S. Sapatnekar
    claim paper
    Read More »
    DAC
    1997
    ACM
    98views Computer Architecture» more  DAC 1997»
    High-Level Power Modeling, Estimation, and Optimization
    13 years 8 months ago
    High-Level Power Modeling, Estimation, and Optimization
    Download  atrak.usc.edu
    Enrico Macii, Massoud Pedram, Fabio Somenzi
    claim paper
    Read More »
    DAC
    1997
    ACM
    77views Computer Architecture» more  DAC 1997»
    Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion
    13 years 8 months ago
    Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion
    Download  www.cs.uic.edu
    John Lillis, Chung-Kuan Cheng
    claim paper
    Read More »
    DAC
    1997
    ACM
    77views Computer Architecture» more  DAC 1997»
    An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment
    13 years 8 months ago
    An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment
    Download  www1.cs.columbia.edu
    Stan Y. Liao, Steven W. K. Tjiang, Rajesh K. Gupta
    claim paper
    Read More »
    DAC
    1997
    ACM
    89views Computer Architecture» more  DAC 1997»
    Computer-Aided Design of Free-Space Opto-Electronic Systems
    13 years 8 months ago
    Computer-Aided Design of Free-Space Opto-Electronic Systems
    Download  kona.ee.pitt.edu
    Steven P. Levitan, Philippe J. Marchand, Timothy P...
    claim paper
    Read More »
    DAC
    1997
    ACM
    64views Computer Architecture» more  DAC 1997»
    Formal Verification in a Commercial Setting
    13 years 8 months ago
    Formal Verification in a Commercial Setting
    Download  www.cerc.utexas.edu
    Robert P. Kurshan
    claim paper
    Read More »
    « first‹ previous12345678next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.