Verimag

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




Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874508