Sciweavers

    714 search results - page 20 / 143
    » Verification and Compliance Testing
    Sort
    View
    66
    Voted
    ICNP
    1995
    IEEE
    74views Computer Networks» more  ICNP 1995»
    Verification and diagnosis of testing equivalence and reduction relation
    15 years 4 months ago
    Verification and diagnosis of testing equivalence and reduction relation
    Download  www.ieee-icnp.org
    Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...
    claim paper
    Read More »
    95
    Voted
    BIRTHDAY
    2010
    Springer
    146views Applied Computing» more  BIRTHDAY 2010»
    Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules
    15 years 1 months ago
    Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules
    Download  www.informatik.uni-bremen.de
    Jan Peleska
    claim paper
    Read More »
    38
    Voted
    IBMSJ
    2002
    44views more  IBMSJ 2002»
    Software debugging, testing, and verification
    15 years 14 days ago
    Software debugging, testing, and verification
    Download  www.cs.purdue.edu
    Brent Hailpern, Padmanabhan Santhanam
    claim paper
    Read More »
    TC
    2010
    97views Information Technology» more  TC 2010»
    Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test
    14 years 11 months ago
    Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test
    Download  www.eecg.toronto.edu
    Hratch Mangassarian, Andreas G. Veneris, Marco Ben...
    claim paper
    Read More »
    77
    Voted
    ICRA
    2007
    IEEE
    171views Robotics» more  ICRA 2007»
    Design and Philosophy of the BiMASC, a Highly Dynamic Biped
    15 years 7 months ago
    Design and Philosophy of the BiMASC, a Highly Dynamic Biped
    Download  www.ri.cmu.edu
    Abstract— This paper discusses the design principles and philosophy of the BiMASC, a biped with Mechanically Adjustable Series Compliance which incorporates tuned mechanical leg ...
    Jonathan W. Hurst, Joel E. Chestnutt, Alfred A. Ri...
    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-2025, USA.