CAMUS - 2014

2014 Team Activity Report
Compilation pour les Architectures MUlti-coeurS
Research centre: Nancy - Grand Est
In partnership with: CNRS, Université de Strasbourg

In collaboration with: ICube

Field: Algorithmics, Programming, Software and Architecture

Theme: Architecture, Languages and Compilation
Keywords: Compiling, Embedded Systems, Hardware Accelerators, Proofs Of Programs, Formal Methods, Processors