English
Related papers

Related papers: The Transactional Conflict Problem

200 papers

We study the online constrained ranking problem motivated by an application to web-traffic shaping: an online stream of sessions arrive in which, within each session, we are asked to rank items. The challenge involves optimizing the ranking…

Optimization and Control · Mathematics 2017-02-24 Parikshit Shah , Akshay Soni , Troy Chevalier

The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases, which is a priori} unknown to the scheduler. In the…

Computer Science and Game Theory · Computer Science 2017-04-05 Gilles Geeraerts , Joël Goossens , Thi-Van-Anh Nguyen

Writing concurrent programs is a hard task, even when using high-level synchronization primitives such as transactional memories together with a functional language with well-controlled side-effects such as Haskell, because the…

Logic in Computer Science · Computer Science 2013-12-11 Romain Demeyer , Wim Vanhoof

We consider an intermediary's problem of dynamically matching demand and supply of heterogeneous types in a periodic-review fashion. More specifically, there are two disjoint sets of demand and supply types, and a reward associated with…

Optimization and Control · Mathematics 2018-11-20 Ming Hu , Yun Zhou

We consider an online matching problem with concave returns. This problem is a significant generalization of the Adwords allocation problem and has vast applications in online advertising. In this problem, a sequence of items arrive…

Data Structures and Algorithms · Computer Science 2015-06-09 Xiao Alison Chen , Zizhuo Wang

Many settings, such as matching riders to drivers in ride-hailing platforms or in-stream video advertising, require handling arrivals over time. In such applications, it is often beneficial to group the arriving orders or requests into…

Data Structures and Algorithms · Computer Science 2025-08-04 Akhil Bhimaraju , S. Rasoul Etesami , Lav R. Varshney

Atomic Commit Problem (ACP) is a single-shot agreement problem similar to consensus, meant to model the properties of transaction commit protocols in fault-prone distributed systems. We argue that ACP is too restrictive to capture the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-13 Gregory Chockler , Alexey Gotsman

We consider online resource allocation problems where given a set of requests our goal is to select a subset that maximizes a value minus cost type of objective function. Requests are presented online in random order, and each request…

Data Structures and Algorithms · Computer Science 2011-12-07 Siddharth Barman , Seeun Umboh , Shuchi Chawla , David Malec

In the Network Revenue Management (NRM) problem, products composed of up to L resources are sold to stochastically arriving customers. We take a randomized rounding approach to NRM, motivated by the modern tool of Online Contention…

Computer Science and Game Theory · Computer Science 2024-12-10 Will Ma , Calum MacRury , Jingwei Zhang

We approach the fundamental problem of obstacle avoidance for robotic systems via the lens of online learning. In contrast to prior work that either assumes worst-case realizations of uncertainty in the environment or a stationary…

Robotics · Computer Science 2023-11-07 David Snyder , Meghan Booker , Nathaniel Simon , Wenhan Xia , Daniel Suo , Elad Hazan , Anirudha Majumdar

The growth in variety and volume of OLTP (Online Transaction Processing) applications poses a challenge to OLTP systems to meet performance and cost demands in the existing hardware landscape. These applications are highly interactive…

Databases · Computer Science 2017-01-17 Vivek Shah

We consider an online scheduling problem, motivated by the issues present at the joints of networks using ATM and TCP/IP. Namely, IP packets have to broken down to small ATM cells and sent out before their deadlines, but cells corresponding…

Data Structures and Algorithms · Computer Science 2009-04-14 Christoph Durr , Lukasz Jez , Nguyen Kim Thang

Convergence of classical parallel iterations is detected by performing a reduction operation at each iteration in order to compute a residual error relative to a potential solution vector. To efficiently run asynchronous iterations,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-01 Frédéric Magoulès , Guillaume Gbikpi-Benissan

The time-optimal $k$-server problem minimizes the time spent serving all requests instead of the distances traveled. We give a lower bound of $2k-1$ on the competitive ratio of any deterministic online algorithm for this problem, which…

Data Structures and Algorithms · Computer Science 2025-03-10 Fabian Frei , Dennis Komm , Moritz Stocker , Philip Whittington

A natural optimization model that formulates many online resource allocation and revenue management problems is the online linear program (LP) in which the constraint matrix is revealed column by column along with the corresponding…

Data Structures and Algorithms · Computer Science 2014-04-10 Shipra Agrawal , Zizhuo Wang , Yinyu Ye

The fractional knapsack problem is one of the classical problems in combinatorial optimization, which is well understood in the offline setting. However, the corresponding online setting has been handled only briefly in the theoretical…

Data Structures and Algorithms · Computer Science 2022-01-31 Jeff Giliberti , Andreas Karrenbauer

In the online general knapsack problem, an algorithm is presented with an item $x=(s,v)$ of size $s$ and value $v$ and must irrevocably choose to pack such an item into the knapsack or reject it before the next item appears. The goal is to…

Data Structures and Algorithms · Computer Science 2025-04-30 Elisabet Burjons , Matthias Gehnen

We consider an online preemptive scheduling problem where jobs with deadlines arrive sporadically. A commitment requirement is imposed such that the scheduler has to either accept or decline a job immediately upon arrival. The scheduler's…

Data Structures and Algorithms · Computer Science 2011-10-07 Shiyao Chen , Lang Tong , Ting He

This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if they can get trapped in a situation where they are both…

Formal Languages and Automata Theory · Computer Science 2011-08-02 Simon Ware , Robi Malik

This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict tactical solutions to a given operational problem. In this context, the…

Machine Learning · Computer Science 2022-06-10 Eric Larsen , Sébastien Lachapelle , Yoshua Bengio , Emma Frejinger , Simon Lacoste-Julien , Andrea Lodi
‹ Prev 1 8 9 10 Next ›