Sciweavers

    31387 search results - page 62 / 6278
    » Abstracting abstract machines
    Sort
    View
    JCP
    2010
    63views more  JCP 2010»
    A Formal Model for Abstracting the Interaction of Web Services
    13 years 8 months ago
    A Formal Model for Abstracting the Interaction of Web Services
    Download  www.academypublisher.com
    Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
    Li Bao, Weishi Zhang, Xiong Xie
    claim paper
    Read More »
    JOT
    2010
    137views more  JOT 2010»
    Computational Abstraction Steps
    13 years 8 months ago
    Computational Abstraction Steps
    Download  www.jot.fm
    ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
    Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...
    claim paper
    Read More »
    SAS
    2010
    Springer
    149views Formal Methods» more  SAS 2010»
    Boxes: A Symbolic Abstract Domain of Boxes
    13 years 8 months ago
    Boxes: A Symbolic Abstract Domain of Boxes
    Download  www.contrib.andrew.cmu.edu
    Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
    Arie Gurfinkel, Sagar Chaki
    claim paper
    Read More »
    ENTCS
    2010
    98views more  ENTCS 2010»
    Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
    13 years 7 months ago
    Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
    Download  www.lix.polytechnique.fr
    nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
    Eric Goubault, Stéphane Le Roux, Jeremy Lec...
    claim paper
    Read More »
    IJPP
    2010
    74views more  IJPP 2010»
    Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions
    13 years 7 months ago
    Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions
    Download  www.rosecompiler.org
    ions Using High-Level Abstractions Chunhua Liao
    Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...
    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.