Sciweavers

    16725 search results - page 284 / 3345
    » Engineering Software Correctness
    Sort
    View
    131
    Voted
    ADAEUROPE
    2010
    Springer
    246views Software Engineering» more  ADAEUROPE 2010»
    Program Verification in SPARK and ACSL: A Comparative Case Study
    15 years 4 months ago
    Program Verification in SPARK and ACSL: A Comparative Case Study
    Download  www.disca.upv.es
    Eduardo Brito, Jorge Sousa Pinto
    claim paper
    Read More »
    ADAEUROPE
    2010
    Springer
    232views Software Engineering» more  ADAEUROPE 2010»
    Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
    15 years 4 months ago
    Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
    Download  www.disca.upv.es
    Sergio Saez, Alfons Crespo
    claim paper
    Read More »
    FSTTCS
    2010
    Springer
    111views Software Engineering» more  FSTTCS 2010»
    A graph polynomial for independent sets of bipartite graphs
    15 years 4 months ago
    A graph polynomial for independent sets of bipartite graphs
    Download  www.cse.buffalo.edu
    Qi Ge, Daniel Stefankovic
    claim paper
    Read More »
    FSTTCS
    2010
    Springer
    133views Software Engineering» more  FSTTCS 2010»
    Quasi-Random PCP and Hardness of 2-Catalog Segmentation
    15 years 4 months ago
    Quasi-Random PCP and Hardness of 2-Catalog Segmentation
    Download  www.cs.princeton.edu
    Rishi Saket
    claim paper
    Read More »
    IWPSE
    2010
    IEEE
    117views Software Engineering» more  IWPSE 2010»
    Feature oriented evolutions for context-aware adaptive systems
    15 years 4 months ago
    Feature oriented evolutions for context-aware adaptive systems
    Download  soft.vub.ac.be
    Paola Inverardi, Marco Mori
    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.