中文
相关论文

相关论文: Verification of GossipSub in ACL2s

200 篇论文

Distributing Neural Network training is of particular interest for several reasons including scaling using computing clusters, training at data sources such as IOT devices and edge servers, utilizing underutilized resources across…

机器学习 · 计算机科学 2018-12-07 Siddharth Pramod

This paper presents gossip algorithms for aggregation tasks that demonstrate both robustness to adversarial corruptions of any order of magnitude and optimality across a substantial range of these corruption levels. Gossip algorithms…

数据结构与算法 · 计算机科学 2025-08-19 Bernhard Haeupler , Marc Kaufmann , Raghu Raman Ravi , Ulysse Schaller

This paper analyzes the adoption of unstructured P2P overlay networks to build publish-subscribe systems. We consider a very simple distributed communication protocol, based on gossip and on the local knowledge each node has about…

分布式、并行与集群计算 · 计算机科学 2012-06-21 Stefano Ferretti

We consider gossiping in a fully-connected wireless network consisting of $n$ nodes. The network receives Poisson updates from a source, which generates new information. The nodes gossip their available information with the neighboring…

信息论 · 计算机科学 2023-03-09 Purbesh Mitra , Sennur Ulukus

In this paper, we study random gossip processes in communication models that describe the peer-to-peer networking functionality included in standard smartphone operating systems. Random gossip processes spread information through the basic…

分布式、并行与集群计算 · 计算机科学 2019-02-08 Calvin Newport , Alex Weaver

Broadcasting and gossiping are fundamental communication tasks in networks. In broadcasting,one node of a network has a message that must be learned by all other nodes. In gossiping, every node has a (possibly different) message, and all…

分布式、并行与集群计算 · 计算机科学 2015-10-22 Kokouvi Hounkanli , Andrzej Pelc

We study the gossip problem in a message-passing environment: When a process receives a message, it has to decide whether the sender has more recent information on other processes than itself. This problem is at the heart of many…

形式语言与自动机理论 · 计算机科学 2018-04-30 Benedikt Bollig , Marie Fortin , Paul Gastin

A gossip process is an iterative process in a multi-agent system where only two neighboring agents communicate at each iteration and update their states. The neighboring condition is by convention described by an undirected graph. In this…

最优化与控制 · 数学 2021-10-19 Xudong Chen , Mohamed-Ali Belabbas , Ji Liu

Permissioned blockchains are supported by identified but individually untrustworthy nodes, collectively maintaining a replicated ledger whose content is trusted. The Hyperledger Fabric permissioned blockchain system targets high-throughput…

分布式、并行与集群计算 · 计算机科学 2020-04-16 Nicolae Berendea , Hugues Mercier , Emanuel Onica , Etienne Rivière

Gossip algorithms spread information by having nodes repeatedly forward information to a few random contacts. By their very nature, gossip algorithms tend to be distributed and fault tolerant. If done right, they can also be fast and…

数据结构与算法 · 计算机科学 2014-02-13 Bernhard Haeupler , Dahlia Malkhi

We design and analyze gossip algorithms for networks with correlated data. In these networks, either the data to be distributed, the data already available at the nodes, or both, are correlated. This model is applicable for a variety of…

信息论 · 计算机科学 2012-02-09 Bernhard Haeupler , Asaf Cohen , Chen Avin , Muriel Médard

A gossip protocol is a procedure for spreading secrets among a group of agents, using a connection graph. The goal is for all agents to get to know all secrets, in which case we call the execution of the protocol successful. We consider…

离散数学 · 计算机科学 2018-09-28 Hans van Ditmarsch , Jan van Eijck , Pere Pardo , Rahim Ramezanian , François Schwarzentruber

We study gossip algorithms for the fundamental rumor spreading problem, where the goal is to disseminate a rumor from a given source node to all nodes in an arbitrary (and unknown) graph. Gossip algorithms allow each node to call only one…

分布式、并行与集群计算 · 计算机科学 2026-05-15 Fabien Dufoulon , William K. Moses , Gopal Pandurangan

In this paper, we study the fundamental problem of gossip in the mobile telephone model: a recently introduced variation of the classical telephone model modified to better describe the local peer-to-peer communication services implemented…

数据结构与算法 · 计算机科学 2017-05-29 Calvin Newport

Gossip algorithms are widely used in modern distributed systems, with applications ranging from sensor networks and peer-to-peer networks to mobile vehicle networks and social networks. A tremendous research effort has been devoted to…

分布式、并行与集群计算 · 计算机科学 2016-11-18 Guodong Shi , Bo Li , Mikael Johansson , Karl Henrik Johansson

Gossip algorithms for aggregation have recently received significant attention for sensor network applications because of their simplicity and robustness in noisy and uncertain environments. However, gossip algorithms can waste significant…

信息论 · 计算机科学 2007-07-13 Alexandros G. Dimakis , Anand D. Sarwate , Martin J. Wainwright

We present an analytical framework for gossip protocols based on the pairwise information exchange between interacting nodes. This framework allows for studying the impact of protocol parameters on the performance of the protocol.…

分布式、并行与集群计算 · 计算机科学 2011-05-31 Rena Bakhshi , Daniela Gavidia , Wan Fokkink , Maarten van Steen

Large language models have advanced rapidly, but no single model excels in every area -- each has its strengths and weaknesses. Instead of relying on one model alone, we take inspiration from gossip protocols in distributed systems, where…

多智能体系统 · 计算机科学 2025-08-27 Saksham Arora

Gossipping has demonstrate to be an efficient mechanism for spreading information among P2P networks. Within the context of P2P computing, we propose the so-called Evolvable Agent Model for distributed population-based algorithms which uses…

分布式、并行与集群计算 · 计算机科学 2007-05-23 J. L. J. Laredo , E. A. Eiben , M. Schoenauer , P. A. Castillo , A. M. Mora , F. Fernandez , J. J. Merelo

Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with providing useful P2P middleware services capable of dealing…

分布式、并行与集群计算 · 计算机科学 2007-12-27 Antonio Fernandez , Vincent Gramoli , Ernesto Jimenez , Anne-Marie Kermarrec , Michel Raynal