Sciweavers

    16725 search results - page 112 / 3345
    » Engineering Software Correctness
    Sort
    View
    WOSP
    2010
    ACM
    150views Software Engineering» more  WOSP 2010»
    The palladio component model
    15 years 9 months ago
    The palladio component model
    Download  agrausch.informatik.uni-kl.de
    Steffen Becker
    claim paper
    Read More »
    FASE
    2010
    Springer
    123views Software Engineering» more  FASE 2010»
    Stochastic Simulation of Graph Transformation Systems
    15 years 9 months ago
    Stochastic Simulation of Graph Transformation Systems
    Download  home.mit.bme.hu
    Paolo Torrini, Reiko Heckel, István R&aacut...
    claim paper
    Read More »
    APSEC
    2009
    IEEE
    162views Software Engineering» more  APSEC 2009»
    Web Services Composition by I/O Data Structure Correspondences
    15 years 9 months ago
    Web Services Composition by I/O Data Structure Correspondences
    Download  www.se.sie.dendai.ac.jp
    Qiushi Wang, Osamu Shigo
    claim paper
    Read More »
    CGO
    2009
    IEEE
    94views Software Engineering» more  CGO 2009»
    Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines
    15 years 9 months ago
    Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines
    Download  www.cs.wm.edu
    Feng Mao, Xipeng Shen
    claim paper
    Read More »
    CGO
    2009
    IEEE
    117views Software Engineering» more  CGO 2009»
    A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
    15 years 9 months ago
    A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
    Download  ls12-www.cs.tu-dortmund.de
    Daniel Cordes, Heiko Falk, Peter Marwedel
    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.