Results 41 to 50 of about 715,782 (191)
Towards deductive verification of MPI programs against session types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library specification, MPI-based applications are nowadays routinely deployed on ...
Eduardo R. B. Marques +4 more
doaj +1 more source
Correctness debugging of message passing programs using model verification techniques
, 2007 During the correctness debugging of non-deterministic message-passing programs the software engineers must face the probe effect, the irreproducibility, the completeness problem, and also the large state-space to be discovered. This work attempts to over-
Lovas, R., Kacsuk, P.
core +1 more source
Retention Time Prediction with Message-Passing Neural Networks
Separations, 2022 Retention time prediction, facilitated by advances in machine learning, has become a useful tool in untargeted LC-MS applications. State-of-the-art approaches include graph neural networks and 1D-convolutional neural networks that are trained on the ...
Sergey Osipenko +2 more
doaj +1 more source
Containing Epidemic Outbreaks by Message-Passing Techniques
Physical Review X, 2014 The problem of targeted network immunization can be defined as the one of finding a subset of nodes in a network to immunize or vaccinate in order to minimize a tradeoff between the cost of vaccination and the final (stationary) expected infection under ...
F. Altarelli +4 more
doaj +1 more source
Bilinear Adaptive Generalized Vector Approximate Message Passing
IEEE Access, 2019 This paper considers the generalized bilinear recovery problem, which aims to jointly recover the vector b and the matrix X from componentwise nonlinear measurements ${\text {Y}}\sim p({\text {Y}}|{\text {Z}})=\prod \limits _{i,j}p(Y_{ij}|Z_{ij ...
Xiangming Meng, Jiang Zhu
doaj +1 more source
Message-passing computing with Java: performance evaluation and comparisons
, 2001 The development of Java has seen increasing attention as the most popular platform for distributed computing. However, despite Java's advantages in the area of portability and rapid prototyping, its efficiency is unavoidably compromised through its ...
Getov, Vladimir +3 more
core +1 more source
Diffusion LMS Based on Message Passing Algorithm
IEEE Access, 2019 Diffusion least-mean-square (LMS) is an adaptive algorithm that estimates an unknown global vector from its linear measurements obtained at all nodes in a distributed manner when each node in the network needs to track the unknown vector in real-time ...
Ayano Nakai-Kasai, Kazunori Hayashi
doaj +1 more source
Inter-Node Message Passing Through Optical Reconfigurable Memory Channel
IEEE AccessEfficient data movement between nodes in a data center is essential for optimal performance of distributed workloads. With advancements in computing interconnection and memory, new opportunities have emerged.
Mauricio G. Palma +5 more
doaj +1 more source
Scalable data assimilation with message passing
Environmental Data ScienceData assimilation is a core component of numerical weather prediction systems. The large quantity of data processed during assimilation requires the computation to be distributed across increasingly many compute nodes; yet, existing approaches suffer ...
Oscar Key +3 more
doaj +1 more source
Simulating Active Inference Processes by Message Passing
Frontiers in Robotics and AI, 2019 The free energy principle (FEP) offers a variational calculus-based description for how biological agents persevere through interactions with their environment.
Thijs W. van de Laar +2 more
doaj +1 more source