English
Related papers

Related papers: Automated Large-scale Class Scheduling in MiniZinc

200 papers

Efficient LLM inference scheduling is crucial for user experience. However, LLM inferences exhibit remarkable demand uncertainty (with unknown output length beforehand) and hybridity (being both compute and memory intensive). Existing LLM…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-16 Zhenghao Gan , Yichen Bao , Yifei Liu , Chen Chen , Quan Chen , Minyi Guo

In this paper, we study the following batch scheduling model: find a schedule that minimizes total flow time for $n$ uniform length jobs, with release times and deadlines, where the machine is only actively processing jobs in at most $k$…

Data Structures and Algorithms · Computer Science 2022-06-06 Sami Davies , Samir Khuller , Shirley Zhang

Many hardware structures in today's high-performance out-of-order processors do not scale in an efficient way. To address this, different solutions have been proposed that build execution schedules in an energy-efficient manner. Issue time…

Hardware Architecture · Computer Science 2021-09-08 Andreas Diavastos , Trevor E. Carlson

Curriculum learning strategies in prior multi-task learning approaches arrange datasets in a difficulty hierarchy either based on human perception or by exhaustively searching the optimal arrangement. However, human perception of difficulty…

Machine Learning · Computer Science 2022-05-30 Neeraj Varshney , Swaroop Mishra , Chitta Baral

We study the single machine scheduling problem with the objective to minimize the total weight of late jobs. It is assumed that the processing times of jobs are not exactly known at the time when a complete schedule must be dispatched.…

Discrete Mathematics · Computer Science 2017-06-13 Maciej Drwal

This paper presents a mixed-integer linear programming formulation for the multi-mode resource-constrained project scheduling problem with uncertain activity durations. We consider a two-stage robust optimisation approach and find solutions…

Optimization and Control · Mathematics 2022-03-15 Matthew Bold , Marc Goerigk

The problem of attaining energy efficiency in distributed systems is of importance, but a general, non-domain-specific theory of energy-minimal scheduling is far from developed. In this paper, we classify the problems of energy-minimal…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-10 Pragati Agrawal , Shrisha Rao

Training machine learning models in a meaningful order, from the easy samples to the hard ones, using curriculum learning can provide performance improvements over the standard training approach based on random data shuffling, without any…

Machine Learning · Computer Science 2022-04-12 Petru Soviany , Radu Tudor Ionescu , Paolo Rota , Nicu Sebe

This paper explores integrating microlearning strategies into university curricula, particularly in computer science education, to counteract the decline in class attendance and engagement in US universities after COVID. As students…

Instructional Systems Design is the practice of creating of instructional experiences that make the acquisition of knowledge and skill more efficient, effective, and appealing. Specifically in designing courses, an hour of training material…

Computation and Language · Computer Science 2018-08-07 Khoi-Nguyen Tran , Jey Han Lau , Danish Contractor , Utkarsh Gupta , Bikram Sengupta , Christopher J. Butler , Mukesh Mohania

An acceptable response time of a server is an important aspect in many client-server applications; this is evident in situations in which the server is overloaded by many computationally intensive requests. In this work, we consider that…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-09 István Módos , Přemysl Šůcha , Roman Václavík , Jan Smejkal , Zdeněk Hanzálek

Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web…

Programming Languages · Computer Science 2016-08-15 Roberto Amadini , Pierre Flener , Justin Pearson , Joseph D. Scott , Peter J. Stuckey , Guido Tack

Single instruction, multiple data (SIMD) is a popular design style of in-memory computing (IMC) architectures, which enables memory arrays to perform logic operations to achieve low energy consumption and high parallelism. To implement a…

Emerging Technologies · Computer Science 2024-12-04 Xingyue Qian , Chen Nie , Zhezhi He , Weikang Qian

This paper studies a scheduling problem in a parallel machine setting, where each machine must adhere to a predetermined fixed order for processing the jobs. Given $n$ jobs, each with processing times and deadlines, we aim to minimize the…

Data Structures and Algorithms · Computer Science 2025-05-16 Andre Berger , Arman Rouhani , Marc Schröder

The large number of reasonably priced computers, Internet broadband connectivity and rich education content has created a global phenomenon by which information and communication technology (ICT) has used to remodel education. E-learning…

Computers and Society · Computer Science 2017-07-11 Ahmad Tasnim Siddiqui , Mehedi Masud

This research addresses the multiprocessor scheduling problem of hard real-time systems, and it especially focuses on optimal and global schedulers when practical constraints are taken into account. First, we propose an improvement of the…

Operating Systems · Computer Science 2011-01-25 Shelby Funk , Vincent Nelis , Joel Goossens , Dragomir Milojevic , Geoffrey Nelissen

In this study, we consider the real-world problem of assigning students to classes, where each student has a preference list, ranking a subset of classes in order of preference. Though we use existing approaches to include the daily class…

Computer Science and Game Theory · Computer Science 2021-04-01 Akifumi Kira , Kiyohito Nagano , Manabu Sugiyama , Naoyuki Kamiyama

In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of resource. Often, each component is associated with different…

Data Structures and Algorithms · Computer Science 2014-04-10 Edmund K. Burke , Jakub Marecek , Andrew J. Parkes , Hana Rudova

Scheduling jobs with given processing times on identical parallel machines so as to minimize their total completion time is one of the most basic scheduling problems. We study interesting generalizations of this classical problem involving…

Data Structures and Algorithms · Computer Science 2024-03-01 Thomas Bosman , Martijn van Ee , Ekin Ergen , Csanad Imreh , Alberto Marchetti-Spaccamela , Martin Skutella , Leen Stougie

In this paper, we propose the first optimum process scheduling algorithm for an increasingly prevalent type of heterogeneous multicore (HEMC) system that combines high-performance big cores and energy-efficient small cores with the same…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-13 Chien-Hao Chen , Ren-Song Tsay