Sciweavers

    3656 search results - page 18 / 732
    » Parallel programming in Split-C
    Sort
    View
    ESOP
    2009
    Springer
    156views Programming Languages» more  ESOP 2009»
    Automatic Parallelization with Separation Logic
    15 years 11 months ago
    Automatic Parallelization with Separation Logic
    Download  www.doc.ic.ac.uk
    Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
    Mohammad Raza, Cristiano Calcagno, Philippa Gardne...
    claim paper
    Read More »
    EUROPAR
    2004
    Springer
    134views Distributed And Parallel Com...» more  EUROPAR 2004»
    A Generic Parallel Pattern-Based System for Bioinformatics
    15 years 10 months ago
    A Generic Parallel Pattern-Based System for Bioinformatics
    Download  www.cs.uiuc.edu
    Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
    Weiguo Liu, Bertil Schmidt
    claim paper
    Read More »
    IWOMP
    2007
    Springer
    77views Programming Languages» more  IWOMP 2007»
    Web Service Call Parallelization Using OpenMP
    15 years 11 months ago
    Web Service Call Parallelization Using OpenMP
    Download  www.lri.fr
    Sébastien Salva, Clément Delamare, C...
    claim paper
    Read More »
    ICLP
    2005
    Springer
    96views Automated Reasoning» more  ICLP 2005»
    Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis
    15 years 10 months ago
    Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis
    Download  www.informatik.uni-ulm.de
    Thom W. Frühwirth
    claim paper
    Read More »
    PLDI
    2010
    ACM
    156views Programming Languages» more  PLDI 2010»
    Safe programmable speculative parallelism
    15 years 9 months ago
    Safe programmable speculative parallelism
    Download  research.microsoft.com
    Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani
    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.