Sciweavers

    3457 search results - page 187 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    JISE
    1998
    62views more  JISE 1998»
    A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing
    15 years 6 months ago
    A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing
    Download  cadal.cse.nsysu.edu.tw
    Ing-Jer Huang
    claim paper
    Read More »
    LOGCOM
    2002
    52views more  LOGCOM 2002»
    Verifying Concurrent Systems with Symbolic Execution
    15 years 6 months ago
    Verifying Concurrent Systems with Symbolic Execution
    Download  deposit.ddb.de
    Michael Balser, Christoph Duelli, Wolfgang Reif, G...
    claim paper
    Read More »
    MOC
    2002
    56views more  MOC 2002»
    Symbolic Hamburger-Noether expressions of plane curves and applications to AG codes
    15 years 6 months ago
    Symbolic Hamburger-Noether expressions of plane curves and applications to AG codes
    Download  www.ams.org
    Antonio Campillo, José Ignacio Farrá...
    claim paper
    Read More »
    RC
    2002
    72views more  RC 2002»
    Symbolic Preconditioning with Taylor Models: Some Examples
    15 years 6 months ago
    Symbolic Preconditioning with Taylor Models: Some Examples
    Download  interval.louisiana.edu
    Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
    R. Baker Kearfott, G. William Walster
    claim paper
    Read More »
    TCS
    2002
    79views Theoretical Computer Science» more  TCS 2002»
    On the robustness of interconnections in random graphs: a symbolic approach
    15 years 6 months ago
    On the robustness of interconnections in random graphs: a symbolic approach
    Download  pictor.math.uqam.ca
    Philippe Flajolet, Kostas P. Hatzis, Sotiris E. Ni...
    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.