Amanote Research

Amanote Research

    RegisterSign In

Incorporating Memory Layout in the Modeling of Message Passing Programs

doi 10.1109/empdp.2002.994294
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
F.J. SeinstraD. Koelma
Publisher

IEEE Comput. Soc


Related search

Verifying Message-Passing Programs With Dependent Behavioural Types

2019English

MPICH-GQ: Quality-Of-Service for Message Passing Programs

2000English

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Testing and Debugging Message Passing Programs in Synergy With Their Specifications

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2000English

Integrating Software Distributed Shared Memory and Message Passing Programming

2009English

Recent Advances in the Message Passing Interface

International Journal of High Performance Computing Applications
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

A NoC-based Hybrid Message-Passing/Shared-Memory Approach to CMP Design

Microprocessors and Microsystems
Computer NetworksHardwareCommunicationsArchitectureArtificial IntelligenceSoftware
2011English

Combinators for Message-Passing in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Generalized Communicators in the Message Passing Interface

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy