Seminar details

Seminar Room, ground floor (Building IMAG)
29 April 2019 - 09h45
Journée thématique Verimag : Many-core Kalray MPPA, implementation and verification
Invited Speakers from Onera, Kalray, INRIA, Verimag ...
invited by Claire MAIZA


Abstract: Inscription obligatoire avant le vendredi 12 avril via le lien suivant :
https://framaforms.org/journee-thematique-verimag-many-core-kalray-mppa-implementation-and-verification-1552379404

Preliminary program :

9.45: welcome
10.00:
- Nicolas Tollenaere, INRIA: "KaNN (Kalray Neural Network)"
- Cyril Six, Verimag/Kalray "Certified and modular postpass-scheduling for VLIW processors in Compcert"
- Dumitru Potop, INRIA "Implementation of parallel real-time application on MPPA"
- Guillaume Iooss, INRIA, "Front End for the implementation of industrial applications"
12.00 LUNCH
12.45:
- Pedro Penna, LIG: "The Hardware Abstraction Layer of Nanvix for the MPPA-256 Lightweight Manycore Processor"
- Claire Pagetti, Onera "Predictable implementation of avionics applications on MPPA"
- Matheus Schuh, Verimag/Kalray "Implementation of Real-time data-flow Synchronous Programs on MPPA"
- Benoit Dinechin, Kalray "Parrallel processing with the MPPA manycore"
15.00: Panel Discussion "Many-core Kalray MPPA: implementation and verification"



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

info visites 1202077