Loading...
Dernières soumissions
-
Agnès Comte, Alexandra Grout, Anne Crance, Maxime Nebule, Romain Cassiaux, et al.. Guide de bonnes pratiques numérique responsable pour les organisations. Direction interministérielle du numérique (DINUM); MiNumEco, mission interministérielle numérique écoresponsable; Ministère de la Transition écologique et de la Cohésion des territoires; Institut du Numérique Responsable (INR); EcoInfo. 2023. ⟨hal-04556114⟩
-
Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani. In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment. ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8. ⟨hal-04421758⟩
-
Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet. Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S 2023 - 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩. ⟨hal-04401006⟩
-
Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, et al.. Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice. ACM Transactions on Embedded Computing Systems (TECS), 2023, pp.1-30. ⟨10.1145/3615586⟩. ⟨hal-04200195⟩
-
Pascal Fradet, Alain Girault, Alexandre Honorat. Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES 2023 - 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩. ⟨hal-04163123⟩
-
Emmanuel Beffara, Martin Bodin, Nadine Mandran, Rémi Molinier. Instrumentation de l'association de registres sémiotiques dans un assistant de preuve. EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5. ⟨hal-04096240⟩