English
Related papers

Related papers: Hybrid ASP-based multi-objective scheduling of sem…

200 papers

Recent commercial hardware platforms for embedded real-time systems feature heterogeneous processing units and computing accelerators on the same System-on-Chip. When designing complex real-time application for such architectures, the…

Operating Systems · Computer Science 2019-01-10 Houssam-Eddine Zahaf , Nicola Capodieci , Roberto Cavicchioli , Marko Bertogna , Giuseppe Lipari

Scheduling in the factory setting is compounded by computational complexity and temporal uncertainty. Together, these two factors guarantee that the process of constructing an optimal schedule will be costly and the chances of executing…

Artificial Intelligence · Computer Science 2013-04-12 B. R. Fox , Karl G. Kempf

In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together with their schedulability test, and provide the reader with two…

Operating Systems · Computer Science 2010-04-22 Patrick Meumeu Yomsi , Vincent Nelis , Joël Goossens

Scheduling query execution plans is a particularly complex problem in shared-nothing parallel systems, where each site consists of a collection of local time-shared (e.g., CPU(s) or disk(s)) and space-shared (e.g., memory) resources and…

Databases · Computer Science 2014-04-01 Minos Garofalakis , Yannis Ioannidis

In this work we study the problem of scheduling tasks with dependencies in multiprocessor architectures where processors have different speeds. We present the preemptive algorithm "Save-Energy" that given a schedule of tasks it post…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-06-09 Ioannis Chatzigiannakis , Georgios Giannoulis , Paul G. Spirakis

This paper addresses a lot-sizing and scheduling problem variant arising from the study of the curing process of a tire factory. The aim is to find the minimum makespan needed for producing enough tires to meet the demand requirements on…

Artificial Intelligence · Computer Science 2020-04-02 Joaquín Velázquez , Héctor Cancela , Pedro Piñeyro

In this study, we investigate a scheduling problem on identical machines in which jobs require initial setup before execution. We assume that an algorithm can dynamically form a batch (i.e., a collection of jobs to be processed together)…

Data Structures and Algorithms · Computer Science 2025-07-16 Yasushi Kawase , Kazuhisa Makino , Vinh Long Phan , Hanna Sumita

State Machine Replication (SMR) is a fundamental approach to designing service with fault tolerance. However, its requirement for the deterministic execution of transactions often results in single-threaded replicas, which cannot fully…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-27 Gang Wu1 , Guodong Zhao , Yidong Song

Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to bid for a complex, previously unseen product, a…

Artificial Intelligence · Computer Science 2018-07-13 Giuseppe De Giacomo , Brian Logan , Paolo Felli , Fabio Patrizi , Sebastian Sardina

High performance grid computing is a key enabler of large scale collaborative computational science. With the promise of exascale computing, high performance grid systems are expected to incur electricity bills that grow super-linearly over…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-01-01 Prakash Murali , Sathish Vadhiyar

Users of heterogeneous computing systems face two problems: firstly, in understanding the trade-off relationships between the observable characteristics of their applications, such as latency and quality of the result, and secondly, how to…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-15 Gordon Inggs , David B. Thomas , Wayne Luk

This paper presents a novel approach to automated stripboard circuit layout design using Answer Set Programming (ASP). The work formulates the layout problem as both a synthesis and multi-objective optimization task that simultaneously…

Hardware Architecture · Computer Science 2025-12-05 Fang Li

This paper addresses the incompatible case of parallel batch scheduling, where compatible jobs belong to the same family, and jobs from different families cannot be processed together in the same batch. The state-of-the-art constraint…

Systems and Control · Electrical Eng. & Systems 2025-09-09 Jorge A. Huertas , Pascal Van Hentenryck

Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures expose their datapaths so…

Logic in Computer Science · Computer Science 2018-05-01 Marc Dahlem , Anoop Bhagyanath , Klaus Schneider

A mathematical programming model for a class of single machine family scheduling problem is described in this technical report, with the aim of comparing the performance in solving the scheduling problem by means of mathematical programming…

Optimization and Control · Mathematics 2015-03-03 Davide Giglio

Answer Set Programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry. The evaluation of ASP programs is traditionally carried out…

Programming Languages · Computer Science 2011-10-14 Simona Perri , Francesco Ricca , Marco Sirianni

Scheduling the maintenance based on the condition, respectively the degradation level of the system leads to improved system's reliability while minimizing the maintenance cost. Since the degradation level changes dynamically during the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-30 Pegah Rokhforoz , Olga Fink

This paper approaches the integrated lot sizing and scheduling problem (ILSSP), in which non-identical machines work in parallel with non-triangular sequence-dependent setup costs and times, setup carry-over and capacity limitation. The aim…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-14 Desiree M. Carvalho , Mariá C. V. Nascimento

Due to the emergence of highly dynamic multimedia applications there is a need for flexible platforms and run-time scheduling support for embedded systems. Dynamic Reconfigurable Hardware (DRHW) is a promising candidate to provide this…

Hardware Architecture · Computer Science 2011-11-09 Javier Resano , Daniel Mozos , Francky Catthoor

In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has been done, the problem reduces to well understood uniprocessor…

Operating Systems · Computer Science 2011-02-03 Irina Lupu , Pierre Courbin , Laurent George , Joël Goossens