14 citations · 31 across the 6 of their papers we have counts for
7 papers
Comparing Optimization Methods for Radiation Therapy Patient Scheduling using Different Objectives
Sara Frimodig, Per Enqvist, Mats Carlsson +1
Radiation therapy (RT) is a medical treatment to kill cancer cells or shrink tumors. To manually schedule patients for RT is a time-consuming and challenging task. By the use of op…
Classifying Pattern and Feature Properties to Get a Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper +1
Given, a sequence of variables, a time-series constraint ctr using the Sum aggregator, and a sliding time-series constraint enforcing the constraint ctr on each s…
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Morten Mossige, Arnaud Gotlieb, Helge Spieker +2
Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots…
Combinatorial Register Allocation and Instruction Scheduling
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell +1
This paper introduces a combinatorial optimization approach to register allocation and instruction scheduling, two central compiler problems. Combinatorial optimization has the pot…
Global Constraint Catalog, Volume II, Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence +5
First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition s…
SICStus Prolog -- the first 25 years
Mats Carlsson, Per Mildner
SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus…