salle A. Turing CE4
18 février 2014 - 14h00
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
par Radu Iosif de VERIMAG
Abstract: a tutorial on rigorous acceleration techniques
Accueil > Verimag > Séminaires
Détails sur le séminaire
salle A. Turing CE4
18 février 2014 - 14h00
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
par Radu Iosif de VERIMAG
Abstract: a tutorial on rigorous acceleration techniques
