Section: Formal methods
Principal supervisor: Christian W. Probst
Co-supervisors:Sven Karlsson
Title of project: Cognitive and Perceptive Cameras - Compilation system
Effective start/end date 01/10/2013 → 18/01/2017
Report published: High Performance with Prescriptive Optimization and Debugging