• Home
  • Search
  • Constraints-driven scheduling and resource assignment
  • Cite Icon158
  • https://doi.org/10.1145/785411.785416Copy DOI Icon

Constraints-driven scheduling and resource assignment

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

This paper describes a new method for modeling and solving different scheduling and resource assignment problems that are common in high-level synthesis (HLS) and system-level synthesis. It addresses assignment of resources for operations and tasks as well as their static, off-line scheduling. Different heterogeneous constraints are considered for these problems. These constraints can be grouped into two classes: problem-specific constraints and design-oriented constraints. They are uniformly modeled, in our approach, by finite domain (FD) constraints and solved using related constrained programming (CP) techniques. This provides a way to improve quality of final solutions. We have developed in Java a constraint solver engine, JaCoP ( Ja va Co nstraint P rogramming), to evaluate this approach. This solver and a related framework make it possible to model different resource assignment and scheduling problems, and handle them uniformly. The JaCoP prototype system has been extensively evaluated on a number of HLS and system-level synthesis benchmarks. We have been able to obtain optimal results together with related proofs of optimality for all HLS scheduling benchmarks and for all explored design styles (except one functional pipeline design). Many system-level benchmarks can also be solved optimally. For large randomly generated task graphs, we have used heuristic search methods and obtained results that are 1--3% worse than lower bounds or optimal results. These experiments have proved the feasibility of the presented approach.

Similar Papers
  • Research Article

A Constraint-Based Approach for Skilled Workforce Scheduling Problem

  • Sep 12, 2014
  • Applied Mechanics and Materials
  • Yan Li +3
  • Research Article
  • Citations145

Skilled workforce scheduling in Service Centres

  • Mar 01, 2009
  • European Journal of Operational Research
  • Vicente Valls +2
  • Research Article
  • Citations7

A hybrid algorithm Tabu Search – GRASP for wounded evacuation in disaster response

  • Jan 01, 2020
  • RAIRO - Operations Research
  • Mohamad Khorbatly +3
  • Book Chapter
  • Citations10

A Heuristic Rule-Based Approach for Dynamic Scheduling of Flexible Manufacturing Systems

  • Dec 01, 2007
  • Gonca Tuncel
  • Conference Article
  • Citations3

Algorithms for workforce assignment problem

  • Oct 01, 2017
  • R Gafarov Evgeny +2
  • Conference Article
  • Citations5

The Problem of Joint Scheduling and Power Assignment in Wireless Sensor Networks

  • Mar 01, 2013
  • A Gogu +3
  • Research Article
  • Citations4

Constrained Resource Assignments: Fast Algorithms and Applications in Wireless Networks

  • Jul 01, 2016
  • Management Science
  • André Berger +3
  • Conference Article
  • Citations4

A new method for modeling and solving the protein fold recognition problem (extended abstract)

  • Jan 01, 1998
  • Ying Xu +2
  • Book Chapter
  • Citations2

Identical Parallel-Machine Scheduling and Worker Assignment Problem Using Genetic Algorithms to Minimize Makespan

  • Jan 01, 2011
  • Imran Ali Chaudhry +1
  • Conference Article

A relay assignment method that balances communication quality under cooperative communication networks with multiple source nodes

  • Jul 11, 2025
  • Hao Xing +1
  • Conference Article
  • Citations2

Hierarchical Path Computation With Flexible Ethernet In Multi-layer Multi-domain Networks

  • Jul 01, 2020
  • Dahina Koulougli +2
  • PDF
  • Research Article
  • Citations15

Using Simulation Optimization to Solve Patient Appointment Scheduling and Examination Room Assignment Problems for Patients Undergoing Ultrasound Examination

  • Jan 15, 2022
  • Healthcare
  • Ping-Shun Chen +4
  • Research Article

Development of a new method for modeling a physical system in a rational expression

  • Oct 13, 2022
  • International Journal of RF and Microwave Computer-Aided Engineering
  • Mostafa Sedaghat +2
  • Conference Article
  • Citations20

A branch and bound approach to minimize the total completion time in a k-stage hybrid flowshop

  • Nov 18, 1996
  • A Vignier +3
  • Conference Article
  • Citations59

An iterative improvement algorithm for low power data path synthesis

  • Nov 19, 2002
  • A Raghunathan +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.