Home
2012 Team Activity Report
CAMUS
Compilation pour les Architectures MUlti-coeurS
Research centre:
Nancy - Grand Est
In partnership with: CNRS, Université de Strasbourg
In collaboration with: Laboratoire des sciences de l'image,de l'informatique et de la télédétection (L.S.I.I.T)
In collaboration with: Laboratoire des sciences de l'image,de l'informatique et de la télédétection (L.S.I.I.T)
Field: Algorithmics, Programming, Software and Architecture
Theme: Architecture and Compiling
Theme: Architecture and Compiling
Keywords: Compiling, Embedded Systems, Hardware Accelerators, Proofs Of Programs, Formal Methods, Processors