Sciweavers

    714 search results - page 69 / 143
    » Verification and Compliance Testing
    Sort
    View
    EURODAC
    1994
    IEEE
    211views VHDL» more  EURODAC 1994»
    Advanced simulation and modeling techniques for hardware quality verification of digital systems
    14 years 2 months ago
    Advanced simulation and modeling techniques for hardware quality verification of digital systems
    Download  www.cecs.uci.edu
    synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
    S. Forno, Stephen Rochel
    claim paper
    Read More »
    BMCBI
    2007
    101views more  BMCBI 2007»
    Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
    13 years 10 months ago
    Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
    Download  www.biomedcentral.com
    Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
    Frank Kose, Jan Budczies, Matthias Holschneider, O...
    claim paper
    Read More »
    SIGMOD
    2008
    ACM
    143views Database» more  SIGMOD 2008»
    A case study in database reliability: component types, usage profiles, and testing
    14 years 10 months ago
    A case study in database reliability: component types, usage profiles, and testing
    Download  research.microsoft.com
    Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
    C. A. Taylor, Mechelle Gittens, Andriy V. Miransky...
    claim paper
    Read More »
    RSP
    2007
    IEEE
    139views Control Systems» more  RSP 2007»
    Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
    14 years 4 months ago
    Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
    Download  faculty.nps.edu
    This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
    Doron Drusinsky, Man-tak Shing
    claim paper
    Read More »
    DKE
    2008
    85views more  DKE 2008»
    On automatic knowledge validation for Bayesian knowledge bases
    13 years 10 months ago
    On automatic knowledge validation for Bayesian knowledge bases
    Download  www.engr.uconn.edu
    Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
    Eugene Santos Jr., Hang T. Dinh
    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.