Sciweavers

    ICCAD
    1994
    IEEE
    74views Hardware» more  ICCAD 1994»
    Dataflow-driven memory allocation for multi-dimensional signal processing systems
    14 years 3 months ago
    Dataflow-driven memory allocation for multi-dimensional signal processing systems
    Download  www.suu.edu
    Florin Balasa, Francky Catthoor, Hugo De Man
    claim paper
    Read More »
    ICCAD
    1994
    IEEE
    70views Hardware» more  ICCAD 1994»
    Iterative algorithms for formal verification of embedded real-time systems
    14 years 3 months ago
    Iterative algorithms for formal verification of embedded real-time systems
    Download  www.cs.york.ac.uk
    Felice Balarin, Alberto L. Sangiovanni-Vincentelli
    claim paper
    Read More »
    ICCAD
    1994
    IEEE
    82views Hardware» more  ICCAD 1994»
    A new efficient approach to statistical delay modeling of CMOS digital combinational circuits
    14 years 3 months ago
    A new efficient approach to statistical delay modeling of CMOS digital combinational circuits
    Download  www.cs.york.ac.uk
    Syed A. Aftab, M. A. Styblinski
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    84views Hardware» more  ICCD 1993»
    Fast Timing Analysis for Hardware-Software Co-Synthesis
    14 years 3 months ago
    Fast Timing Analysis for Hardware-Software Co-Synthesis
    Download  www.coe.uncc.edu
    W. Ye, Rolf Ernst, Thomas Benner, Jörg Henkel
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    111views Hardware» more  ICCD 1993»
    Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
    14 years 3 months ago
    Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
    Download  eprints.ecs.soton.ac.uk
    Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
    Michael A. Riepe, João P. Marques Silva, Ka...
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    93views Hardware» more  ICCD 1993»
    Derivation of a DRAM Memory Interface by Sequential Decomposition
    14 years 3 months ago
    Derivation of a DRAM Memory Interface by Sequential Decomposition
    Download  www.cs.indiana.edu
    Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    80views Hardware» more  ICCD 1993»
    An Efficient Unique State Coding Algorithm for Signal Transition Graphs
    14 years 3 months ago
    An Efficient Unique State Coding Algorithm for Signal Transition Graphs
    Download  www.lsi.upc.es
    Enric Pastor, Jordi Cortadella
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    74views Hardware» more  ICCD 1993»
    High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques
    14 years 3 months ago
    High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques
    Download  www.cs.ucla.edu
    Miodrag Potkonjak, Sujit Dey, Zia Iqbal, Alice C. ...
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    75views Hardware» more  ICCD 1993»
    A Recursive Technique for Computing Lower-Bound Performance of Schedules
    14 years 3 months ago
    A Recursive Technique for Computing Lower-Bound Performance of Schedules
    Download  www.cparity.com
    Michel Langevin, Eduard Cerny
    claim paper
    Read More »
    ICCD
    1993
    IEEE
    124views Hardware» more  ICCD 1993»
    Synthesis of Controllers from Interval Temporal Logic Specification
    14 years 3 months ago
    Synthesis of Controllers from Interval Temporal Logic Specification
    Download  www.ie.u-ryukyu.ac.jp
    for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
    Masahiro Fujita, Shinji Kono
    claim paper
    Read More »
    « first‹ previous…448449450451452453454455456…next ›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.