Results 31 to 40 of about 715,782 (191)

Propositional Dynamic Logic for Message-Passing Systems [PDF]

Logical Methods in Computer Science, 2010
We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke   +2 more
doaj   +1 more source

Aspects of Portability and Distributed Execution for JNI-Wrapped Message Passing Libraries [PDF]

, 2000
This paper discusses an approach which aims to provide legacy message passing libraries with Java-like portability in a heterogeneous, metacomputing environment.
Getov, Vladimir, Vladimir S. Getov, Paul A. Gray, Carpenter, B., Gray, P., Fox, G.C., Vaidy S. Sunderam, Sunderam, V.S., Judd, G., Skjellum, A.   +9 more
core   +1 more source

Reliable Channels for Systems in the Presence of Byzantine Faults

MATEC Web of Conferences, 2016
Consider a distributed system that delivers each message from a process to its destination if the message transmission does not experience any faults and only delivers those sent by a non-faulty system process.
Karaata Mehmet, Hamdan Ali
doaj   +1 more source

Verifying message-passing programs with dependent behavioural types [PDF]

, 2019
Concurrent and distributed programming is notoriously hard. Modern languages and toolkits ease this difficulty by offering message-passing abstractions, such as actors (e.g., Erlang, Akka, Orleans) or processes (e.g., Go): they allow for simpler ...
Yoshida, Nobuko, Alceste Scalas, Elias Benussi, Scalas, Alceste, Nobuko Yoshida, Benussi, Elias   +5 more
core   +2 more sources

MEDEA: A Hybrid Shared-memory/Message-passing Multiprocessor NoC-based Architecture [PDF]

, 2010
The shared-memory model has been adopted, both for data exchange as well as synchronization using semaphores in almost every on-chip multiprocessor implementation, ranging from general purpose chip multiprocessors (CMPs) to domain specific multi-core ...
Ruo Roch, Massimo, Luca Rostagno, Rostagno, Luca, Casu, Mario Roberto, Sergio V Tota, TOTA, Sergio Vincenzo, Tota S.V, Zamboni, Maurizio, Mario R Casu, Massimo Ruo Roch, Maurizio Zamboni   +10 more
core   +1 more source

Design and Implementation of Concurrent C0 [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which allows channels to be combined in a well-defined way.
Max Willsey, Rokhini Prabhu, Frank Pfenning   +2 more
doaj   +1 more source

Dynamic Byzantine Broadcast in Asynchronous Message-Passing Systems

IEEE Access, 2022
The reconfiguration problem is considered a key challenge in distributed systems, especially in dynamic asynchronous message-passing systems.
Jing Li, Tianming Yu, Ye Wang, Roger Wattenhofer   +3 more
doaj   +1 more source

An Adaptive Message Passing MPSoC Framework

International Journal of Reconfigurable Computing, 2009
Multiprocessor Systems-on-Chips (MPSoCs) offer superior performance while maintaining flexibility and reusability thanks to software oriented personalization.
Gabriel Marchesan Almeida, Gilles Sassatelli, Pascal Benoit, Nicolas Saint-Jean, Sameer Varyani, Lionel Torres, Michel Robert   +6 more
doaj   +1 more source

Framelet message passing

Applied and Computational Harmonic Analysis
Graph neural networks (GNNs) have achieved champion in wide applications. Neural message passing is a typical key module for feature propagation by aggregating neighboring features. In this work, we propose a new message passing based on multiscale framelet transforms, called Framelet Message Passing.
Xinliang Liu, Bingxin Zhou, Chutian Zhang, Yuguang Wang 0001   +3 more
openaire   +2 more sources

PMPI: High-Level Message Passing in Fortran77 and C

, 1997
. The Message--Passing Interface (MPI) provides support for portable parallel programs, but often proves too complex to be convenient. In this paper we propose a higher--level Programmer's Message-- Passing Interface (PMPI) to the standard MPI ...
Getov, Vladimir, Mintchev, S., Vladimir Getov, Sava Mintchev   +3 more
core   +1 more source