2021
Conference papers
- ref_biblio
- Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs. The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms. FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩. ⟨hal-03322174v2⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Lucas Massoni Sguerra, Pierre Jouvelot, Emilio Jesús Gallego Arias, Gérard Memmi, Fabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper). FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States. ⟨hal-03210222⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Blerina Gkotse, Martin R. Jaekel, Alexander Smith Moelholm, Alfredo Maria Nunez Herrero Nunez Herrero, Giuseppe Pezzullo, et al.. Upgrades for the CERN EP Irradiation Facilities (IRRAD, Gif++) and plans beyond the Long Shutdown 2. 9th edition of the Beam Telescopes and Test Beams Workshop ( online workshop), Jan 2021, Lecce, Italy. ⟨hal-03107380⟩
- Accès au bibtex
-
Poster communications
- ref_biblio
- Luc Perera, Pierre Jouvelot. Esprits critiques : application au projet Tala Sound. 7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France. . ⟨hal-03245110⟩
- Accès au texte intégral et bibtex
-
Reports
- ref_biblio
- Claude Tadonki. High Performance Optimization at the Door of the Exascale. [Research Report] A-754.pdf, MINES ParisTech - PSL Research University. 2021. ⟨hal-03274458⟩
- Accès au texte intégral et bibtex
-
Theses
- ref_biblio
- Arthur Aubertin. Réseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu fermé. Réseaux et télécommunications [cs.NI]. Université Paris sciences et lettres, 2021. Français. ⟨NNT : 2021UPSLM007⟩. ⟨tel-03264278⟩
- Accès au texte intégral et bibtex
-