Sciweavers

    1321 search results - page 4 / 265
    » Logic Simulation Using Networks of State Machines
    Sort
    View
    DAC
    1999
    ACM
    118views Computer Architecture» more  DAC 1999»
    A Two-State Methodology for RTL Logic Simulation
    13 years 11 months ago
    A Two-State Methodology for RTL Logic Simulation
    Download  www.cecs.uci.edu
    This paper describes a two-state methodology for register transfer level (RTL) logic simulation in which the use of the Xstate is completely eliminated inside ASIC designs. Exampl...
    Lionel Bening
    claim paper
    Read More »
    KAIS
    2006
    229views more  KAIS 2006»
    Call classification using recurrent neural networks, support vector machines and finite state automata
    13 years 7 months ago
    Call classification using recurrent neural networks, support vector machines and finite state automata
    Download  www.informatik.uni-hamburg.de
    Our objective is spoken language classification for helpdesk call routing using a scanning understanding and intelligent system techniques. In particular, we examine simple recurre...
    Sheila Garfield, Stefan Wermter
    claim paper
    Read More »
    WSC
    1997
    109views Modeling And Simulation» more  WSC 1997»
    Selective Rerouting Using Simulated Steady State System Data
    13 years 8 months ago
    Selective Rerouting Using Simulated Steady State System Data
    Download  www.informs-sim.org
    Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...
    Catherine M. Harmonosky, Robert H. Farr, Ming-Chua...
    claim paper
    Read More »
    ISCA
    2007
    IEEE
    196views Hardware» more  ISCA 2007»
    Anton, a special-purpose machine for molecular dynamics simulation
    14 years 1 months ago
    Anton, a special-purpose machine for molecular dynamics simulation
    Download  cacs.usc.edu
    The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
    David E. Shaw, Martin M. Deneroff, Ron O. Dror, Je...
    claim paper
    Read More »
    ACL2
    2006
    ACM
    265views Computational Linguistics» more  ACL2 2006»
    A SAT-based procedure for verifying finite state machines in ACL2
    14 years 1 months ago
    A SAT-based procedure for verifying finite state machines in ACL2
    Download  www.ccs.neu.edu
    We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
    Warren A. Hunt Jr., Erik Reeber
    claim paper
    Read More »
    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.