Sciweavers

    5171 search results - page 6 / 1035
    » Deterministic Parallel Processing
    Sort
    View
    MEMOCODE
    2005
    IEEE
    80views Formal Methods» more  MEMOCODE 2005»
    Deterministic receptive processes are Kahn processes
    14 years 1 months ago
    Deterministic receptive processes are Kahn processes
    Download  www.cs.columbia.edu
    Stephen A. Edwards, Olivier Tardieu
    claim paper
    Read More »
    CAINE
    2003
    163views Computer Science» more  CAINE 2003»
    Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
    13 years 9 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 »
    PPOPP
    2009
    ACM
    184views Distributed and Parallel Com...» more  PPOPP 2009»
    MPIWiz: subgroup reproducible replay of mpi applications
    14 years 8 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 »
    CSL
    1999
    Springer
    103views Automated Reasoning» more  CSL 1999»
    A Truly Concurrent Semantics for a Simple Parallel Programming Language
    14 years 4 days 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 »
    SPAA
    2006
    ACM
    125views Distributed And Parallel Com...» more  SPAA 2006»
    Deterministic load balancing and dictionaries in the parallel disk model
    14 years 1 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
    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.