English
Related papers

Related papers: Fault Tolerance in Real Time Multiprocessors - Emb…

200 papers

Fixed-point iteration algorithms like RTA (response time analysis) and QPA (quick processor-demand analysis) are arguably the most popular ways of solving schedulability problems for preemptive uniprocessor FP (fixed-priority) and EDF…

Operating Systems · Computer Science 2023-08-21 Abhishek Singh

In many use cases the execution time of tasks is unknown and can be chosen by the designer to increase or decrease the application features depending on the availability of processing capacity. If the application has real-time constraints,…

Operating Systems · Computer Science 2024-10-23 Enrico Bini

Time-dependent scheduling with linear deterioration involves determining when to execute jobs whose processing times degrade as their beginning is delayed. Each job i is associated with a release time r_i and a processing time function…

Data Structures and Algorithms · Computer Science 2023-07-04 Angelos Gkikas , Dimitrios Letsios , Tomasz Radzik , Kathleen Steinhöfel

Over-estimation of worst-case execution times (WCETs) of real-time tasks leads to poor resource utilization. In a mixed-criticality system (MCS), the over-provisioning of CPU time to accommodate the WCETs of highly critical tasks may lead…

Operating Systems · Computer Science 2021-06-01 Soham Sinha , Richard West , Ahmad Golchin

We consider the two-parallel machines scheduling problem, with the aim of minimizing the maximum lateness and the makespan. Formally, the problem is defined as follows. We have to schedule a set J of n jobs on two identical machines. Each…

Data Structures and Algorithms · Computer Science 2018-03-01 Gais Alhadi , Imed Kacem , Pierre Laroche , Izzeldin M. Osman

Speed-robust scheduling is the following two-stage problem of scheduling $n$ jobs on $m$ uniformly related machines. In the first stage, the algorithm receives the value of $m$ and the processing times of $n$ jobs; it has to partition the…

Data Structures and Algorithms · Computer Science 2024-07-17 Josef Minařík , Jiří Sgall

We study the fault-tolerant variant of the online bin packing problem. Similar to the classic bin packing problem, an online sequence of items of various sizes should be packed into a minimum number of bins of uniform capacity. For…

Data Structures and Algorithms · Computer Science 2021-07-08 Shahin Kamali , Pooya Nikbakht

Resource sharing is a crucial part of a multi-robot system. We propose a Boolean satisfiability based approach to resource sharing. Our key contributions are an algorithm for converting any constrained assignment to a weighted-SAT based…

Robotics · Computer Science 2024-08-16 Arjo Chakravarty , Michael X. Grey , M. A. Viraj J. Muthugala , Mohan Rajesh Elara

An increasing number of real-time applications with compute and/or communication deadlines are being supported on shared infrastructure. Such applications can often tolerate occasional deadline violations without substantially impacting…

Networking and Internet Architecture · Computer Science 2016-03-08 Yuhuan Du , Gustavo de Veciana

Hardware accelerators, such as those based on GPUs and FPGAs, offer an excellent opportunity to efficiently parallelize functionalities. Recently, modern embedded platforms started being equipped with such accelerators, resulting in a…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-16 Daniel Casini , Paolo Pazzaglia , Alessandro Biondi , Marco Di Natale

Due to the diversity and implicit redundancy in terms of processing units and compute kernels, off-the-shelf heterogeneous systems offer the opportunity to detect and tolerate faults during task execution in hardware as well as in software.…

Operating Systems · Computer Science 2014-05-14 Mario Kicherer , Wolfgang Karl

The sporadic task model is often used to analyze recurrent execution of identical tasks in real-time systems. A sporadic task defines an infinite sequence of task instances, also called jobs, that arrive under the minimum inter-arrival time…

Operating Systems · Computer Science 2018-03-01 Jian-Jia Chen , Georg von der Brüggen , Niklas Ueter

Modern computing workloads are often composed of parallelizable jobs. A parallelizable job can be completed more quickly when run on additional servers. However, each job can only use a limited number of servers, known as its…

Performance · Computer Science 2025-12-30 Benjamin Berg , Benjamin Moseley , Weina Wang , Mor Harchol-Balter

Robotic Mobile Fulfillment Systems (RMFS) rely on mobile robots for automated inventory transportation, coordinating order allocation and robot scheduling to enhance warehousing efficiency. However, optimizing RMFS is challenging due to…

Artificial Intelligence · Computer Science 2026-05-06 Yibang Tang , Yifan Yang , Jingyuan Wang , Junhua Chen , Zhen Zhao

Safra's distributed termination detection algorithm employs a logical token ring structure within a distributed network; only passive nodes forward the token, and a counter in the token keeps track of the number of sent minus the number of…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-03 Wan Fokkink , Georgios Karlos , Andy Tatman

Remote Memory Access (RMA) is an emerging mechanism for programming high-performance computers and datacenters. However, little work exists on resilience schemes for RMA-based applications and systems. In this paper we analyze fault…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-20 Maciej Besta , Torsten Hoefler

Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a waiting strategy. This paper discusses…

Logic in Computer Science · Computer Science 2015-06-24 Frédéric Herbreteau , Thanh-Tung Tran

Executing multiple tasks concurrently is important in many robotic applications. Moreover, the prioritization of tasks is essential in applications where safety-critical tasks need to precede application-related objectives, in order to…

Robotics · Computer Science 2020-03-09 Gennaro Notomista , Siddharth Mayya , Mario Selvaggio , Maria Santos , Cristian Secchi

Modern operating system schedulers employ a single, static policy, which struggles to deliver optimal performance across the diverse and dynamic workloads of contemporary systems. This "one-policy-fits-all" approach leads to significant…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-18 Xinbo Wang , Shian Jia , Ziyang Huang , Jing Cao , Mingli Song

We present a federated, asynchronous, memory-limited algorithm for online task scheduling across large-scale networks of hundreds of workers. This is achieved through recent advancements in federated edge computing that unlocks the ability…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-29 Andreas Grammenos , Evangelia Kalyvianaki , Peter Pietzuch