Sciweavers

    21437 search results - page 26 / 4288
    » Hardware
    Sort
    View
    CAV
    2010
    Springer
    172views Hardware» more  CAV 2010»
    Quantifier Elimination by Lazy Model Enumeration
    15 years 10 months ago
    Quantifier Elimination by Lazy Model Enumeration
    Download  www-verimag.imag.fr
    David Monniaux
    claim paper
    Read More »
    ISCA
    2010
    IEEE
    231views Hardware» more  ISCA 2010»
    The rebirth of neural networks
    15 years 10 months ago
    The rebirth of neural networks
    Download  www-roc.inria.fr
    Olivier Temam
    claim paper
    Read More »
    FPL
    2009
    Springer
    112views Hardware» more  FPL 2009»
    The evolution of architecture exploration of programmable devices
    15 years 10 months ago
    The evolution of architecture exploration of programmable devices
    Download  fpl2009.org
    Jonathan Rose
    claim paper
    Read More »
    ATVA
    2006
    Springer
    83views Hardware» more  ATVA 2006»
    Controller Synthesis and Ordinal Automata
    15 years 10 months ago
    Controller Synthesis and Ordinal Automata
    Download  www.liafa.jussieu.fr
    Thierry Cachat
    claim paper
    Read More »
    DATE
    2004
    IEEE
    118views Hardware» more  DATE 2004»
    Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals
    15 years 10 months ago
    Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals
    Download  www.tauworkshop.com
    Peter Feldmann
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.