中文
相关论文

相关论文: Reductions in Distributed Computing Part I: Consen…

200 篇论文

As shown by Reliable Broadcast and Consensus, cooperation among a set of independent computing entities (sequential processes) is a central issue in distributed computing. Considering $n$-process asynchronous message-passing systems where…

分布式、并行与集群计算 · 计算机科学 2026-01-15 Timothé Albouy , Davide Frey , Mathieu Gestin , Michel Raynal , François Taïani

Counting is among the most fundamental operations in computing. For example, counting the pth frequency moment has been a very active area of research, in theoretical computer science, databases, and data mining. When p=1, the task (i.e.,…

信息论 · 计算机科学 2008-02-24 Ping Li

This paper discusses distributed approaches for the solution of random convex programs (RCP). RCPs are convex optimization problems with a (usually large) number N of randomly extracted constraints; they arise in several applicative areas,…

最优化与控制 · 数学 2012-07-27 Luca Carlone , Vaibhav Srivastava , Francesco Bullo , Giuseppe Calafiore

Consensus is a common method for computing a function of the data distributed among the nodes of a network. Of particular interest is distributed average consensus, whereby the nodes iteratively compute the sample average of the data stored…

信息论 · 计算机科学 2021-12-06 Ryan Pilgrim

In this paper, we revisit the communication vs. distributed computing trade-off, studied within the framework of MapReduce in [1]. An implicit assumption in the aforementioned work is that each server performs all possible computations on…

信息论 · 计算机科学 2017-05-26 Yahya H. Ezzeldin , Mohammed Karmoose , Christina Fragouli

While the terms "redundancy" and "consensus" are often used as synonyms in the context of quantum objectivity, we show here that these should be understood as two related but distinct notions, that quantify different features of the…

量子物理 · 物理学 2023-11-08 Diana A. Chisholm , Luca Innocenti , G. Massimo Palma

Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called "constructive reduction" which is designed to capture the essence of synchronous programming. The distinctive property of…

编程语言 · 计算机科学 2025-08-07 Luigi Liquori , Michael Mendler

The possibility of a fundamental consistency between the basic quantum principles and reduction (so-called wave function reduction) is reexamined. The mathematical description of an organized macroscopic device is constructed explicitly as…

量子物理 · 物理学 2010-02-15 Roland Omnes

Human societies continuously transform scattered information into collective judgments and coordinated action, whether through markets discovering prices, governments allocating resources, communities enforcing norms, or science converging…

With the development of machine learning and Big Data, the concepts of linear and non-linear optimization techniques are becoming increasingly valuable for many quantitative disciplines. Problems of that nature are typically solved using…

分布式、并行与集群计算 · 计算机科学 2023-06-21 Wiktor Maj

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

This paper studies fundamental limitations of performance for distributed decision-making in robotic networks. The class of decision-making problems we consider encompasses a number of prototypical problems such as average-based consensus…

多智能体系统 · 计算机科学 2017-08-15 Federico Rossi , Marco Pavone

This work focuses on understanding the quantum message complexity of two central problems in distributed computing, namely, leader election and agreement in synchronous message-passing communication networks. We show that quantum…

分布式、并行与集群计算 · 计算机科学 2025-02-12 Fabien Dufoulon , Frédéric Magniez , Gopal Pandurangan

The paper proposes a surprisingly simple characterization of a large class of models of distributed computing, via an agreement function: for each set of processes, the function determines the best level of set consensus these processes can…

分布式、并行与集群计算 · 计算机科学 2017-03-13 Petr Kuznetsov , Thibault Rieutord

Our main models of computation (the Turing Machine and the RAM) make fundamental assumptions about which primitive operations are realizable. The consensus is that these include logical operations like conjunction, disjunction and negation,…

编程语言 · 计算机科学 2018-12-12 Jacques Carette , Roshan P. James , Amr Sabry

This paper studies the distributed linearly separable computation problem, which is a generalization of many existing distributed computing problems such as distributed gradient descent and distributed linear transform. In this problem, a…

信息论 · 计算机科学 2020-10-06 Kai Wan , Hua Sun , Mingyue Ji , Giuseppe Caire

Robustness of a distributed computing system is defined as the ability to maintain its performance in the presence of uncertain parameters. Uncertainty is a key problem in heterogeneous (and even homogeneous) distributed computing systems…

分布式、并行与集群计算 · 计算机科学 2020-05-25 Ali Mokhtari , Chavit Denninnart , Mohsen Amini Salehi

We consider the problem of minimizing costs in the generation unit commitment problem, a cornerstone in electric power system operations, while enforcing an N-k-e reliability criterion. This reliability criterion is a generalization of the…

最优化与控制 · 数学 2014-04-14 Richard Li-Yang Chen , Neng Fan , Ali Pinar , Jean-Paul Watson

Inference problems with conjectured statistical-computational gaps are ubiquitous throughout modern statistics, computer science and statistical physics. While there has been success evidencing these gaps from the failure of restricted…

计算复杂性 · 计算机科学 2020-06-30 Matthew Brennan , Guy Bresler

In the distributed optimization problem for a multi-agent system, each agent knows a local function and must find a minimizer of the sum of all agents' local functions by performing a combination of local gradient evaluations and…

最优化与控制 · 数学 2022-06-16 Bryan Van Scoy , Laurent Lessard