Sciweavers

    1377 search results - page 116 / 276
    » Flit-Reservation Flow Control
    Sort
    View
    ICFEM
    2005
    Springer
    67views Software Engineering» more  ICFEM 2005»
    A Theory of Secure Control Flow
    16 years 7 days ago
    A Theory of Secure Control Flow
    Download  www.cs.princeton.edu
    Martín Abadi, Mihai Budiu, Úlfar Erl...
    claim paper
    Read More »
    ICLP
    2004
    Springer
    82views Automated Reasoning» more  ICLP 2004»
    Fast Query Evaluation with (Lazy) Control Flow Compilation
    16 years 3 days ago
    Fast Query Evaluation with (Lazy) Control Flow Compilation
    Download  dtai.cs.kuleuven.be
    Remko Tronçon, Gerda Janssens, Henk Vandeca...
    claim paper
    Read More »
    182
    Voted
    COMPSAC
    2003
    IEEE
    124views Software Engineering» more  COMPSAC 2003»
    Tolerance of Control-Flow Testing Criteria
    16 years 1 days ago
    Tolerance of Control-Flow Testing Criteria
    Download  core.ecu.edu
    Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
    Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...
    claim paper
    Read More »
    DFT
    2003
    IEEE
    151views VLSI» more  DFT 2003»
    Soft-Error Detection Using Control Flow Assertions
    16 years 1 days ago
    Soft-Error Detection Using Control Flow Assertions
    Download  www.cad.polito.it
    Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
    O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Re...
    claim paper
    Read More »
    FTDCS
    2003
    IEEE
    118views Distributed And Parallel Com...» more  FTDCS 2003»
    Network Tomography-Based Unresponsive Flow Detection and Control
    16 years 1 days ago
    Network Tomography-Based Unresponsive Flow Detection and Control
    Download  www.cs.sfu.ca
    Ahsan Habib, Bharat K. Bhargava
    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.