Home > Verimag > Seminars

Seminar details


salle A. Turing CE4
18 February 2014 - 14h00
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
by Radu Iosif from VERIMAG



Abstract: a tutorial on rigorous acceleration techniques




News

New publications

Jobs and internships

Contact | Site Map | Site powered by SPIP 4.4.13 + AHUNTSIC [CC License]

info visites 6135027