Dupont de Dinechin

发表

Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem

Dupont de Dinechin, 2007 .

Scheduling Monotone Interval Orders on Typed Task Systems

Dupont de Dinechin, 2006 .

The Regular Unwinding Framework

Dupont de Dinechin, 2006 .

A Efficient Liveness Computation Using Merge Sets and DJ-Graphs

Dupont de Dinechin, 2011 .