Results 21 to 30 of about 715,782 (191)
CoRR, 2013 Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)
Vibhav Gogate, Pedro M. Domingos
openaire +4 more sources
Information, 2020 In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models.
Mohd Anuaruddin Bin Ahmadon +1 more
doaj +1 more source
Cooperative Localization and Time Synchronization Based on M-VMP Method
Sensors, 2020 Localization estimation and clock synchronization are important research directions in the application of wireless sensor networks. Aiming at the problems of low positioning accuracy and slow convergence speed in localization estimation methods based on ...
Zhongliang Deng +5 more
doaj +1 more source
Using Message Passing for Distributed Programming: Proof Rules and Disciplines
, 1982 Inference rules are derived for proving partial correctness of concurrent programs that use message passing. These rules extend the notion of a satisfaction proof, first proposed for proving correctness of programs that use synchronous message-passing,
Schlichting, Richard D. +1 more
core +5 more sources
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
Message-passing performance of parallel computers
, 1997 In this paper we investigate some of the important factors which affect the message-passing performance on parallel computers. Variations of low-level communication benchmarks that approximate realistic cases are tested and compared with the available ...
Getov, Vladimir +5 more
core +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
Combinators for Message-Passing in Haskell [PDF]
, 2011 Much code in message-passing programs is tedious, verbose wiring code. This code is error prone and laborious - and tends to be repeated across many programs with only slight variations.
Neil C. C. Brown, Brown, Neil C.C.
core +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 +3 more sources
Multicore-enabling the MPJ express messaging library [PDF]
, 2010 With the transition to multicore processors almost complete, the parallel processing community is seeking efficient ways to port legacy message passing applications on shared memory and multicore processors. MPJ Express is our reference implementation of
Shafi, Aamir +9 more
core +1 more source