Accéder directement au contenu Accéder directement à la navigation


hal-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
hal-01961429v1  Communication dans un congrès
Tobias van BaarselPhilippe RouxBarbara NicolasJerome MarsJulien Bonnel et al.  Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves
Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6