-
Verification of Control Properties in the Polyhedral Model
We propose a combination of heuristic methods to prove properties of control signals for regular systems defined by means of affine recurrence equations (AREs). We... -
Optimizing Compilation for Extensible Processors
Application specific instruction set processors (ASIP) are a well known compromise between the high performance of a dedicated hardware and the flexibility of a... -
Adapting the polytope model for dynamic and speculative parallelization
In this thesis, we present a Thread-Level Speculation (TLS) framework whose main feature is to speculatively parallelize a sequential loop nest in various ways, to... -
Robust routing and optimal partitioning of a traffic demand polytope
International audience -
Multipolar routing : where dynamic and static routing meet
International audience -
Robust routing optimization in resilient networks : Polyhedral model and comp...
In the thesis robust routing design problems in resilient networks are considered. In the first part computational complexity of such problems are discussed. The...
