Sciweavers

    3667 search results - page 72 / 734
    » Software Rejuvenation - Modeling and Analysis
    Sort
    View
    ISSTA
    2000
    ACM
    79views Software Engineering» more  ISSTA 2000»
    Putting static analysis to work for verification: A case study
    14 years 1 days ago
    Putting static analysis to work for verification: A case study
    Download  rw4.cs.uni-saarland.de
    Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...
    claim paper
    Read More »
    LCTRTS
    1995
    Springer
    83views System Software» more  LCTRTS 1995»
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    13 years 11 months ago
    Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
    Download  www-2.cs.cmu.edu
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    claim paper
    Read More »
    FASE
    2008
    Springer
    70views Software Engineering» more  FASE 2008»
    A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
    13 years 9 months ago
    A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
    Download  www-etud.iro.umontreal.ca
    Naouel Moha, Yann-Gaël Guéhéneu...
    claim paper
    Read More »
    POPL
    2011
    ACM
    190views Programming Languages» more  POPL 2011»
    Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
    12 years 10 months ago
    Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
    Download  www2.in.tum.de
    We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
    Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
    claim paper
    Read More »
    PAMI
    2012
    280views Software Engineering» more  PAMI 2012»
    Spacetime Texture Representation and Recognition Based on a Spatiotemporal Orientation Analysis
    11 years 10 months ago
    Spacetime Texture Representation and Recognition Based on a Spatiotemporal Orientation Analysis
    Download  www.cse.yorku.ca
    —This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...
    Konstantinos G. Derpanis, Richard P. Wildes
    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.