Sciweavers

    12272 search results - page 195 / 2455
    » Experimental program analysis
    Sort
    View
    145
    Voted
    VMCAI
    2005
    Springer
    71views Software Engineering» more  VMCAI 2005»
    Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
    16 years 12 days ago
    Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
    Download  www.di.ens.fr
    Julien Bertrane
    claim paper
    Read More »
    160
    Voted
    VMCAI
    2005
    Springer
    65views Software Engineering» more  VMCAI 2005»
    Scalable Analysis of Linear Systems Using Mathematical Programming
    16 years 12 days ago
    Scalable Analysis of Linear Systems Using Mathematical Programming
    Download  ropas.snu.ac.kr
    Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
    claim paper
    Read More »
    136
    Voted
    VSTTE
    2005
    Springer
    75views Software Engineering» more  VSTTE 2005»
    Computational Logical Frameworks and Generic Program Analysis Technologies
    16 years 12 days ago
    Computational Logical Frameworks and Generic Program Analysis Technologies
    Download  vstte.ethz.ch
    José Meseguer, Grigore Rosu
    claim paper
    Read More »
    145
    Voted
    CASES
    2004
    ACM
    115views System Software» more  CASES 2004»
    Causality analysis of synchronous programs with delayed actions
    16 years 11 days ago
    Causality analysis of synchronous programs with delayed actions
    Download  rsg.informatik.uni-kl.de
    Klaus Schneider, Jens Brandt, Tobias Schüle
    claim paper
    Read More »
    CAV
    2004
    Springer
    108views Hardware» more  CAV 2004»
    Formal Analysis of Java Programs in JavaFAN
    16 years 10 days ago
    Formal Analysis of Java Programs in JavaFAN
    Download  formal.cs.uiuc.edu
    Azadeh Farzan, Feng Chen, José Meseguer, Gr...
    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.