Sciweavers

    5171 search results - page 6 / 1035
    » Deterministic Parallel Processing
    Sort
    View
    110
    Voted
    MEMOCODE
    2005
    IEEE
    80views Formal Methods» more  MEMOCODE 2005»
    Deterministic receptive processes are Kahn processes
    15 years 9 months ago
    Deterministic receptive processes are Kahn processes
    Download  www.cs.columbia.edu
    Stephen A. Edwards, Olivier Tardieu
    claim paper
    Read More »
    170
    Voted
    CAINE
    2003
    163views Computer Science» more  CAINE 2003»
    Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
    15 years 5 months ago
    Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
    Download  www-rocq.inria.fr
    Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
    Nicolas Pernet, Yves Sorel
    claim paper
    Read More »
    138
    Voted
    PPOPP
    2009
    ACM
    184views Distributed and Parallel Com...» more  PPOPP 2009»
    MPIWiz: subgroup reproducible replay of mpi applications
    16 years 4 months ago
    MPIWiz: subgroup reproducible replay of mpi applications
    Download  cseweb.ucsd.edu
    Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
    Ruini Xue, Xuezheng Liu, Ming Wu, Zhenyu Guo, Weng...
    claim paper
    Read More »
    147
    Voted
    CSL
    1999
    Springer
    103views Automated Reasoning» more  CSL 1999»
    A Truly Concurrent Semantics for a Simple Parallel Programming Language
    15 years 8 months ago
    A Truly Concurrent Semantics for a Simple Parallel Programming Language
    Download  www.entcs.org
    Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
    Paul Gastin, Michael W. Mislove
    claim paper
    Read More »
    102
    Voted
    SPAA
    2006
    ACM
    125views Distributed And Parallel Com...» more  SPAA 2006»
    Deterministic load balancing and dictionaries in the parallel disk model
    15 years 10 months ago
    Deterministic load balancing and dictionaries in the parallel disk model
    Download  people.csail.mit.edu
    Mette Berger, Esben Rune Hansen, Rasmus Pagh, Miha...
    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.