Home
2011
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)
Keywords: Compiling, Embedded Systems, Hardware Accelerators, Proofs Of Programs, Formal Methods, Processors