English
Related papers

Related papers: Automated Large-scale Class Scheduling in MiniZinc

200 papers

Supervised learning with large-scale data usually leads to complex optimization problems, especially for classification tasks with multiple classes. Stochastic subgradient methods can enable efficient learning with a large number of samples…

Machine Learning · Computer Science 2025-11-25 Kartheek Bondugula , Santiago Mazuelas , Aritz Pérez

We formulate and study a fundamental search and detection problem, Schedule Optimization, motivated by a variety of real-world applications, ranging from monitoring content changes on the web, social networks, and user activities to…

Data Structures and Algorithms · Computer Science 2015-09-11 Ahmad Mahmoody , Evgenios M. Kornaropoulos , Eli Upfal

High Speed computing meets ever increasing real-time computational demands through the leveraging of flexibility and parallelism. The flexibility is achieved when computing platform designed with heterogeneous resources to support…

Operating Systems · Computer Science 2015-01-08 Mahendra Vucha , Arvind Rajawat

Bottlenecks such as the latency in correcting assignments and providing a grade for Massive Open Online Courses (MOOCs) could impact the levels of interest among learners. In this proposal for an auto-grading system, we present a method to…

Computers and Society · Computer Science 2018-12-04 Swapneel Mehta , Chirag Raman , Nitin Ayer , Sameer Sahasrabudhe

The operating system's role in a computer system is to manage the various resources. One of these resources is the Central Processing Unit. It is managed by a component of the operating system called the CPU scheduler. Schedulers are…

Operating Systems · Computer Science 2010-11-09 George Anderson , Tshilidzi Marwala , Fulufhelo V. Nelwamondo

A scheduling method in a robotic network cloud system with minimal makespan is beneficial as the system can complete all the tasks assigned to it in the fastest way. Robotic network cloud systems can be translated into graphs where nodes…

Robotics · Computer Science 2024-10-30 Saeid Alirezazadeh , Luís A. Alexandre

Although information workers may complain about meetings, they are an essential part of their work life. Consequently, busy people spend a significant amount of time scheduling meetings. We present Calendar.help, a system that provides…

Human-Computer Interaction · Computer Science 2017-03-27 Justin Cranshaw , Emad Elwany , Todd Newman , Rafal Kocielnik , Bowen Yu , Sandeep Soni , Jaime Teevan , Andrés Monroy-Hernández

Access to parallel and distributed computation has enabled researchers and developers to improve algorithms and performance in many applications. Recent research has focused on next generation special purpose systems with multiple kinds of…

Machine Learning · Computer Science 2019-06-11 Tegg Taekyong Sung , Valliappa Chockalingam , Alex Yahja , Bo Ryu

This study examines the digital value chain in automotive manufacturing, focusing on the identification, software flashing, customization, and commissioning of electronic control units in vehicle networks. A novel precedence graph design is…

Robotics · Computer Science 2025-06-13 Cornelius Hake , Christian Friedrich

We study the course allocation problem, where universities assign course schedules to students. The current state-of-the-art mechanism, Course Match, has one major shortcoming: students make significant mistakes when reporting their…

Computer Science and Game Theory · Computer Science 2025-01-24 Ermis Soumalias , Behnoosh Zamanlooy , Jakob Weissteiner , Sven Seuken

This work addresses the problem of scheduling user-defined analytic applications, which we define as high-level compositions of frameworks, their components, and the logic necessary to carry out work. The key idea in our application…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-12-08 Francesco Pace , Daniele Venzano , Damiano Carra , Pietro Michiardi

We study the online busy time scheduling model on heterogeneous machines. In our setting, jobs with uniform length arrive online with a deadline that becomes known to the algorithm at the job's arrival time. An algorithm has access to…

Data Structures and Algorithms · Computer Science 2026-03-09 Gruia Calinescu , Sami Davies , Samir Khuller , Shirley Zhang

Serving systems for Large Language Models (LLMs) improve throughput by processing several requests concurrently. However, multiplexing hardware resources between concurrent requests involves non-trivial scheduling decisions. Practical…

Machine Learning · Computer Science 2025-01-29 Ferdi Kossmann , Bruce Fontaine , Daya Khudia , Michael Cafarella , Samuel Madden

Scheduling is essentially a decision-making process that enables resource sharing among a number of activities by determining their execution order on the set of available resources. The emergence of distributed systems brought new…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-11 Luiz F. Bittencourt , Alfredo Goldman , Edmundo R. M. Madeira , Nelson L. S. da Fonseca , Rizos Sakellariou

Replay methods are known to be successful at mitigating catastrophic forgetting in continual learning scenarios despite having limited access to historical data. However, storing historical data is cheap in many real-world settings, yet…

Machine Learning · Computer Science 2023-11-22 Marcus Klasson , Hedvig Kjellström , Cheng Zhang

In the past decade, we have witnessed a dramatically increasing volume of data collected from varied sources. The explosion of data has transformed the world as more information is available for collection and analysis than ever before. To…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-04 Ying Mao , Yuqi Fu , Wenjia Zheng , Long Cheng , Qingzhi Liu , Dingwen Tao

The primary motivation for uptake of virtualization has been resource isolation, capacity management and resource customization allowing resource providers to consolidate their resources in virtual machines. Various approaches have been…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-09-27 Omer Khalid , Ivo Maljevic , Richard Anthony , Miltos Petridis , Kevin Parrot , Markus Schulz

Clusters of computers have emerged as mainstream parallel and distributed platforms for high-performance, high-throughput and high-availability computing. To enable effective resource management on clusters, numerous cluster managements…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Jahanzeb Sherwani , Nosheen Ali , Nausheen Lotia , Zahra Hayat , Rajkumar Buyya

The school timetabling problem can be described as scheduling a set of lessons (combination of classes, teachers, subjects and rooms) in a weekly timetable. This paper presents a novel way to generate timetables for high schools. The…

Artificial Intelligence · Computer Science 2013-09-16 Salman Hooshmand , Mehdi Behshameh , Omid Hamidi

Space missions are characterized by long distances, difficult or unavailable communication and high operating costs. Moreover, complexity has been constantly increasing in recent years. For this reason, improving the autonomy of space…

Other Computer Science · Computer Science 2024-09-21 Temenuzhka Avramova , Riccardo Maderna , Alessandro Benetton , Christian Cardenio
‹ Prev 1 3 4 5 6 7 10 Next ›