Sciweavers

    194 search results - page 15 / 39
    » Formal concept analysis applied to fault localization
    Sort
    View
    CLA
    2007
    203views Artificial Intelligence» more  CLA 2007»
    SearchSleuth: The Conceptual Neighbourhood of an Web Query
    13 years 9 months ago
    SearchSleuth: The Conceptual Neighbourhood of an Web Query
    Download  sunsite.informatik.rwth-aachen.de
    This paper presents SearchSleuth, a program developed to experiment with a form of automatic local analysis that extends the standard Web search interface to include a conceptual n...
    Jon Ducrou, Peter W. Eklund
    claim paper
    Read More »
    ISARCS
    2010
    141views Hardware» more  ISARCS 2010»
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    13 years 12 months ago
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    Download  webdiis.unizar.es
    Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
    Ricardo J. Rodríguez, José Merseguer
    claim paper
    Read More »
    TC
    2011
    243views Information Technology» more  TC 2011»
    An Architecture for Fault-Tolerant Computation with Stochastic Logic
    13 years 2 months ago
    An Architecture for Fault-Tolerant Computation with Stochastic Logic
    Download  www.mriedel.ece.umn.edu
    —Mounting concerns over variability, defects and noise motivate a new approach for digital circuitry: stochastic logic, that is to say, logic that operates on probabilistic signa...
    Weikang Qian, Xin Li, Marc D. Riedel, Kia Bazargan...
    claim paper
    Read More »
    MEMOCODE
    2008
    IEEE
    145views Formal Methods» more  MEMOCODE 2008»
    Virtual prototyping AADL architectures in a polychronous model of computation
    14 years 2 months ago
    Virtual prototyping AADL architectures in a polychronous model of computation
    Download  www.irisa.fr
    While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
    Ma Yue, Jean-Pierre Talpin, Thierry Gautier
    claim paper
    Read More »
    TSE
    2010
    151views more  TSE 2010»
    The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
    13 years 6 months ago
    The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
    Download  pleuma.cc.gatech.edu
    This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
    George K. Baah, Andy Podgurski, Mary Jean Harrold
    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.