English
Related papers

Related papers: Real-Time Fault-Tolerance Node-to-Node Disjoint Pa…

200 papers

The restoration lemma by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [Dist. Comp. '02] proves that, in an undirected unweighted graph, any replacement shortest path avoiding a failing edge can be expressed as the concatenation of two…

Data Structures and Algorithms · Computer Science 2023-06-06 Greg Bodwin , Merav Parter

One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum $k$-Edge-Connected Spanning Subgraph problem ($k$-ECSS), as well as nonuniform…

Data Structures and Algorithms · Computer Science 2022-06-27 Michael Dinitz , Ama Koranteng , Guy Kortsarz

We consider distributed systems with an arbitrary number of processes, modelled by timed automata that communicate through location guards: a process can take a guarded transition if at least one other process is in a given location. In…

Logic in Computer Science · Computer Science 2025-12-05 Étienne André , Swen Jacobs , Engel Lefaucheux

The server-centric data centre network architecture can accommodate a wide variety of network topologies. Newly proposed topologies in this arena often require several rounds of analysis and experimentation in order that they might achieve…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-09-08 Alejandro Erickson , Abbas Eslami Kiasari , Javier Navaridas , Iain A. Stewart

Generally traffic and the sensor network security have many challenges in the transmission of data in the network. The existing schemes consider homogeneous sensor networks which have poor performance and scalability. Due to many-to-one…

Networking and Internet Architecture · Computer Science 2012-02-10 P. Karunakaran , Dr. C. Venkatesh

Motivated by applications to social network analysis (SNA), we study the problem of finding the maximum number of disjoint uni-color paths in an edge-colored graph. We show the NP-hardness and the approximability of the problem, and both…

Data Structures and Algorithms · Computer Science 2012-03-22 Bang Ye Wu

In this paper we consider shortest path problems in a directed graph where the transitions between nodes are subject to uncertainty. We use a minimax formulation, where the objective is to guarantee that a special destination state is…

Data Structures and Algorithms · Computer Science 2016-08-08 Dimitri Bertsekas

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes…

Discrete Mathematics · Computer Science 2021-05-27 Arnaud Casteigts , Anne-Sophie Himmel , Hendrik Molter , Philipp Zschoche

Distributed consensus has been widely studied for sensor network applications. Whereas the asymptotic convergence rate has been extensively explored in prior work, other important and practical issues, including energy efficiency and link…

Networking and Internet Architecture · Computer Science 2013-04-10 Lei Chen , Jeff Frolik

This article studies disruption tolerant networks (DTNs) where each node knows the probabilistic distribution of contacts with other nodes. It proposes a framework that allows one to formalize the behaviour of such a network. It generalizes…

Networking and Internet Architecture · Computer Science 2007-05-23 Jean-Marc Francois , Guy Leduc

Based upon the idea that network functionality is impaired if two nodes in a network are sufficiently separated in terms of a given metric, we introduce two combinatorial \emph{pseudocut} problems generalizing the classical min-cut and…

Data Structures and Algorithms · Computer Science 2017-04-18 Alan Kuhnle , Tianyi Pan , Victoria G. Crawford , Md Abdul Alim , My T. Thai

We present an algorithmic method for analyzing networks of intersections with static signaling, with as primary example a line network that allows traffic flow over several intersections in one main direction. The method decomposes the…

Probability · Mathematics 2016-11-10 Marko Boon , Johan van Leeuwaarden

We initiate the study of a fundamental combinatorial problem: Given a capacitated graph $G=(V,E)$, find a shortest walk ("route") from a source $s\in V$ to a destination $t\in V$ that includes all vertices specified by a set…

Data Structures and Algorithms · Computer Science 2018-05-01 Saeed Akhoondian Amiri , Klaus-Tycho Foerster , Stefan Schmid

Given a digraph with two terminal vertices $s$ and $t$ as well as a conservative cost function and several not necessarily disjoint color classes on its arc set, our goal is to find a minimum-cost subset of the arcs such that its…

Data Structures and Algorithms · Computer Science 2025-07-15 Naonori Kakimura , Péter Madarasi , Jannik Matuschke , Kitti Varga

Recently a new fault tolerant and simple mechanism was designed for solving commit consensus problem. It is based on replicated validation of messages sent between transaction participants and a special dispatcher validator manager node.…

Databases · Computer Science 2017-06-13 Marius Rafailescu

Recent advancements in Deep Neural Networks (DNNs) have catalyzed the development of numerous intelligent mobile applications and services. However, they also introduce significant computational challenges for resource-constrained mobile…

Machine Learning · Computer Science 2024-10-04 Yin Huang , Letian Zhang , Jie Xu

Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework for fault-tolerant algorithms is an obstacle for both verification and…

Formal Languages and Automata Theory · Computer Science 2012-10-16 Annu John , Igor Konnov , Ulrich Schmid , Helmut Veith , Josef Widder

In most of the shortest path problems like vehicle routing problems and network routing problems, we only need an efficient path between two points source and destination, and it is not necessary to calculate the shortest path from source…

Data Structures and Algorithms · Computer Science 2009-11-03 Muhammad Aasim Qureshi , Dr. Fadzil B. Hassan , Sohail Safdar , Rehan Akbar

A solution of the $k$ shortest paths problem may output paths that are identical up to a single edge. On the other hand, a solution of the $k$ independent shortest paths problem consists of paths that share neither an edge nor an…

Data Structures and Algorithms · Computer Science 2022-11-08 Yefim Dinitz , Shlomi Dolev , Manish Kumar , Baruch Schieber

In this paper, we consider networked systems comprised of interconnected sets of linear subsystems and propose a decentralized and compositional approach to stabilize or dissipativate such linear networked systems via optimally modifying…

Systems and Control · Electrical Eng. & Systems 2023-05-05 Shirantha Welikala , Hai Lin , Panos J. Antsaklis