Sciweavers

    15777 search results - page 319 / 3156
    » Software Engineering
    Sort
    View
    KBSE
    2003
    IEEE
    84views Software Engineering» more  KBSE 2003»
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
    16 years 16 days ago
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
    Download  ase.informatik.uni-essen.de
    Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
    claim paper
    Read More »
    KBSE
    2003
    IEEE
    130views Software Engineering» more  KBSE 2003»
    SPQR: Flexible Automated Design Pattern Extraction From Source Code
    16 years 16 days ago
    SPQR: Flexible Automated Design Pattern Extraction From Source Code
    Download  rockfish.cs.unc.edu
    Jason McC. Smith, P. David Stotts
    claim paper
    Read More »
    128
    Voted
    QSIC
    2003
    IEEE
    84views Software Engineering» more  QSIC 2003»
    Verifying CIM Models of Apache Web-Server Configurations
    16 years 16 days ago
    Verifying CIM Models of Apache Web-Server Configurations
    Download  www.carstensinz.de
    Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...
    claim paper
    Read More »
    SCAM
    2003
    IEEE
    96views Software Engineering» more  SCAM 2003»
    Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
    16 years 16 days ago
    Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
    Download  www.codeboost.org
    Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...
    claim paper
    Read More »
    153
    Voted
    SCAM
    2003
    IEEE
    79views Software Engineering» more  SCAM 2003»
    Interprocedural Static Slicing of Binary Executables
    16 years 16 days ago
    Interprocedural Static Slicing of Binary Executables
    Download  www.inf.u-szeged.hu
    Ákos Kiss, Judit Jász, Gábor ...
    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.