Results 21 to 30 of about 26,431 (256)
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 +2 more
doaj +1 more source
Up-Link Asynchronous SCMA Low Complexity Signal Detection Algorithm
Guangtongxin yanjiu, 2021 In the case of grant free, due to the lack of synchronous time signaling, the problem of asynchronous reception in Sparse Code Multiple Access (SCMA) system cannot be ignored.
Zhen-yu LEI, Xiao-qiang LU
doaj +1 more source
Probabilistic Message-Passing Control [PDF]
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022 There is insufficient current understanding of how to apply fully decentralized control to networks of sparsely coupled nonlinear dynamical subsystems subject to noise to track a desired state. As exemplars, this class of problem is motivated by practical requirements of creating decentralized power grids robust to cascade failures, the digital ...
Randa Herzallah +2 more
openaire +2 more sources
Polymorphic Endpoint Types for Copyless Message Passing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorphic ...
Viviana Bono, Luca Padovani
doaj +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
Permission-Based Separation Logic for Message-Passing Concurrency [PDF]
Logical Methods in Computer Science, 2011 We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission- resources and define a reduction semantics for this extended language ...
Adrian Francalanza +2 more
doaj +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 +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 +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 +6 more
doaj +1 more source
Applied and Computational Harmonic AnalysisGraph 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 +3 more
openaire +2 more sources