Sciweavers

    62 search results - page 2 / 13
    » Quantitative Synthesis for Concurrent Programs
    Sort
    View
    PODC
    1998
    ACM
    92views Distributed and Parallel Com...» more  PODC 1998»
    Synthesis of Fault-Tolerant Concurrent Programs
    15 years 1 months ago
    Synthesis of Fault-Tolerant Concurrent Programs
    Download  ceti.cse.ohio-state.edu
    Anish Arora, Paul C. Attie, E. Allen Emerson
    claim paper
    Read More »
    CAP
    2010
    105views Distributed And Parallel Com...» more  CAP 2010»
    A quantitative study of reductions in algebraic libraries
    14 years 4 months ago
    A quantitative study of reductions in algebraic libraries
    Download  parasol.tamu.edu
    How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
    Yue Li, Gabriel Dos Reis
    claim paper
    Read More »
    APLAS
    2009
    ACM
    132views Programming Languages» more  APLAS 2009»
    Bi-abductive Resource Invariant Synthesis
    15 years 4 months ago
    Bi-abductive Resource Invariant Synthesis
    Download  www.cl.cam.ac.uk
    We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
    Cristiano Calcagno, Dino Distefano, Viktor Vafeiad...
    claim paper
    Read More »
    PLDI
    2012
    ACM
    235views Programming Languages» more  PLDI 2012»
    Concurrent data representation synthesis
    13 years 4 days ago
    Concurrent data representation synthesis
    Download  theory.stanford.edu
    We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
    Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
    claim paper
    Read More »
    74
    Voted
    AAAI
    2000
    149views Intelligent Agents» more  AAAI 2000»
    SciFinance: A Program Synthesis Tool for Financial Modeling
    14 years 11 months ago
    SciFinance: A Program Synthesis Tool for Financial Modeling
    Download  www.aaai.org
    The SciFinance
    Robert L. Akers, Ion Bica, Elaine Kant, Curt Randa...
    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-2025, USA.