English
Related papers

Related papers: An Optimal Vector Clock Algorithm for Multithreade…

200 papers

The betweenness centrality of a graph vertex measures how often this vertex is visited on shortest paths between other vertices of the graph. In the analysis of many real-world graphs or networks, betweenness centrality of a vertex is used…

Data Structures and Algorithms · Computer Science 2024-05-15 Sebastian Buß , Hendrik Molter , Rolf Niedermeier , Maciej Rymar

We introduce the following elementary scheduling problem. We are given a collection of n jobs, where each job has an integer length as well as a set Ti of time intervals in which it can be feasibly scheduled. Given a parameter B, the…

Data Structures and Algorithms · Computer Science 2012-08-02 Jessica Chang , Harold N. Gabow , Samir Khuller

Level-sensitive latches are widely used in high- performance designs. For such circuits efficient statistical timing analysis algorithms are needed to take increasing process vari- ations into account. But existing methods solving this…

Other Computer Science · Computer Science 2017-05-16 Bing Li , Ning Chen , Ulf Schlichtmann

The intersection graph of a collection of trapezoids with corner points lying on two parallel lines is called a trapezoid graph. Using binary indexed tree data structure, we improve algorithms for calculating the size and the number of…

Data Structures and Algorithms · Computer Science 2011-06-14 Aleksandar Ilic , Andreja Ilic

Stencil computations represent a very common class of nested loops in scientific and engineering applications. Exploiting vector units in modern CPUs is crucial to achieving peak performance. Previous vectorization approaches often consider…

Mathematical Software · Computer Science 2020-10-13 Liang Yuan , Hang Cao , Yunquan Zhang , Kun Li , Pengqi Lu , Yue Yue

Distributed optimization is an important direction of research in modern optimization theory. Its applications include large scale machine learning, distributed signal processing and many others. The paper studies decentralized min-max…

Optimization and Control · Mathematics 2023-09-08 Nhat Trung Nguyen , Alexander Rogozin , Dmitry Metelev , Alexander Gasnikov

In this paper, we propose a characterization of chordal bipartite graphs and an efficient enumeration algorithm for chordal bipartite induced subgraphs. A chordal bipartite graph is a bipartite graph without induced cycles with length six…

Data Structures and Algorithms · Computer Science 2020-09-23 Kazuhiro Kurita , Kunihiro Wasa , Hiroki Arimura , Takeaki Uno

A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $\tau$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly…

Combinatorics · Mathematics 2023-03-01 Isnard Lopes Costa , Raul Lopes , Andrea Marino , Ana Silva

The graph reconstruction problem has been extensively studied under various query models. In this paper, we propose a new query model regarding the number of connected components, which is one of the most basic and fundamental graph…

Data Structures and Algorithms · Computer Science 2025-06-24 Hadley Black , Arya Mazumdar , Barna Saha , Yinzhan Xu

Many data types arising from data mining applications can be modeled as bipartite graphs, examples include terms and documents in a text corpus, customers and purchasing items in market basket analysis and reviewers and movies in a movie…

Information Retrieval · Computer Science 2007-05-23 H. Zha , X. He , C. Ding , M. Gu , H. Simon

We provide a deterministic algorithm for computing the $5$-edge-connected components of an undirected multigraph in linear time. There were probably good indications that this computation can be performed in linear time, but no such…

Data Structures and Algorithms · Computer Science 2023-11-09 Evangelos Kosinas

Previous approaches to systematic state-space exploration for testing multi-threaded programs have proposed context-bounding and depth-bounding to be effective ranking algorithms for testing multithreaded programs. This paper proposes two…

Programming Languages · Computer Science 2013-02-06 Sandeep Bindal , Sorav Bansal , Akash Lal

Multi-socket multi-core servers are used for solving some of the important problems in computing. Remote DRAM accesses can impact performance of certain applications running on such servers. This paper presents a new near linear operating…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-07 Suryanarayana Murthy Durbhakula

A procedure for the evaluation of correlators of any order in a reasonable computer time is presented. Connection between correlators and fluctuations of the event mean values of observables is discussed. Extension of the procedure to…

Nuclear Theory · Physics 2008-11-26 N. Amelin , P. Filip , R. Lednicky , M. Pachr

We consider the well-studied problem of finding a perfect matching in $d$-regular bipartite graphs with $2n$ vertices and $m = nd$ edges. While the best-known algorithm for general bipartite graphs (due to Hopcroft and Karp) takes $O(m…

Data Structures and Algorithms · Computer Science 2009-07-30 Ashish Goel , Michael Kapralov , Sanjeev Khanna

Although Dijkstra's algorithm has near-optimal time complexity for the problem of finding a shortest path from a given vertex $s$ to a given vertex $t$, in practice other algorithms are often superior on huge graphs. A prominent example is…

Data Structures and Algorithms · Computer Science 2025-06-16 Bernhard Haeupler , Richard Hladík , Vaclav Rozhon , Robert E. Tarjan , Jakub Tětek

Minimum joins in a graft $(G, T)$, also known as minimum $T$-joins of a graph $G$, are said to be connected if they determine a connected subgraph of $G$. Grafts with a connected minimum join have gained interest ever since Middendorf and…

Discrete Mathematics · Computer Science 2025-11-03 Nanano Kita

The primary objective of graph pattern matching is to find all appearances of an input graph pattern query in a large data graph. Such appearances are called matches. In this paper, we are interested in finding matches of interaction…

Data Structures and Algorithms · Computer Science 2020-01-27 Konstantinos Semertzidis , Evaggelia Pitoura

Real complex systems are inherently time-varying. Thanks to new communication systems and novel technologies, it is today possible to produce and analyze social and biological networks with detailed information on the time of occurrence and…

Physics and Society · Physics 2012-04-17 V. Nicosia , J. Tang , M. Musolesi , G. Russo , C. Mascolo , V. Latora

In the Minimum Clique Routing Problem on Cycles \textsc{MCRPC} we are given a cycle together with a set of demands (weighted origin-destination pairs) and the goal is to route all the pairs minimizing the maximum weighted clique of the…

Data Structures and Algorithms · Computer Science 2023-11-17 Mariana Escalante , Martín Matamala , Iván Rapaport , Paola Tolomei , Luis Miguel Torres