Sciweavers

    1219 search results - page 10 / 244
    » Verification of Equivalent-Results Methods
    Sort
    View
    DAC
    2006
    ACM
    115views Computer Architecture» more  DAC 2006»
    Practical methods in coverage-oriented verification of the merom microprocessor
    16 years 8 months ago
    Practical methods in coverage-oriented verification of the merom microprocessor
    Download  www.research.ibm.com
    Alon Gluska
    claim paper
    Read More »
    185
    Voted
    TPHOL
    2009
    IEEE
    270views Automated Reasoning» more  TPHOL 2009»
    Formal Verification of Exact Computations Using Newton's Method
    16 years 2 months ago
    Formal Verification of Exact Computations Using Newton's Method
    Download  www-sop.inria.fr
    Nicolas Julien, Ioana Pasca
    claim paper
    Read More »
    VTC
    2008
    IEEE
    62views Communications» more  VTC 2008»
    Scatterer Detection by Successive Cancellation for UWB - Method and Experimental Verification
    16 years 1 months ago
    Scatterer Detection by Successive Cancellation for UWB - Method and Experimental Verification
    Download  www.merl.com
    Telmo Santos, Johan Karedal, Peter Almers, Fredrik...
    claim paper
    Read More »
    TASE
    2007
    IEEE
    92views Software Engineering» more  TASE 2007»
    Streaming State Space: A Method of Distributed Model Verification
    16 years 1 months ago
    Streaming State Space: A Method of Distributed Model Verification
    Download  d3s.mff.cuni.cz
    Viliam Holub, Petr Tuma
    claim paper
    Read More »
    CISSE
    2007
    Springer
    104views Software Engineering» more  CISSE 2007»
    A Fingerprint Method for Scientific Data Verification
    16 years 1 months ago
    A Fingerprint Method for Scientific Data Verification
    Download  maltman.hmdc.harvard.edu
    Micah Altman
    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.