Sciweavers

    15885 search results - page 58 / 3177
    » The Modest Software Engineer
    Sort
    View
    SE
    2008
    116views Software Engineering» more  SE 2008»
    Integrating Software Lifecycle Models into a uniform Software Engineering Model
    13 years 10 months ago
    Integrating Software Lifecycle Models into a uniform Software Engineering Model
    Download  wwwbruegge.in.tum.de
    : Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
    Jonas Helming
    claim paper
    Read More »
    VL
    2003
    IEEE
    149views Visual Languages» more  VL 2003»
    Integrating software engineering and user-centred design for multimedia software developments
    14 years 2 months ago
    Integrating software engineering and user-centred design for multimedia software developments
    Download  www.cs.uni-paderborn.de
    The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
    Gregor Engels, Stefan Sauer, Bettina Neu
    claim paper
    Read More »
    SIGMETRICS
    2011
    ACM
    245views Hardware» more  SIGMETRICS 2011»
    Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
    12 years 11 months ago
    Record and transplay: partial checkpointing for replay debugging across heterogeneous systems
    Download  www.ncl.cs.columbia.edu
    Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
    Dinesh Subhraveti, Jason Nieh
    claim paper
    Read More »
    PPOPP
    2009
    ACM
    198views Distributed and Parallel Com...» more  PPOPP 2009»
    Formal verification of practical MPI programs
    14 years 9 months ago
    Formal verification of practical MPI programs
    Download  www.cs.utah.edu
    This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
    Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...
    claim paper
    Read More »
    ICSE
    2009
    IEEE-ACM
    94views Software Engineering» more  ICSE 2009»
    Automatic dimension inference and checking for object-oriented programs
    14 years 9 months ago
    Automatic dimension inference and checking for object-oriented programs
    Download  suif.stanford.edu
    Sudheendra Hangal, Monica S. Lam
    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.