Skip to Main content Skip to Navigation


...
hal-03655372v1  Reports
Pietro LamiIvan LaneseJean-Bernard StefaniClaudio Sacerdoti CoenGiovanni Fabbretti. Reversibility in Erlang: Imperative Constructs -Technical Report
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
...
hal-03685074v1  Reports
Languénou Eric. Importance Driven Color Assignment
[Research Report] Nantes Université, LS2N, UMR 6004, F-44000 Nantes, France. 2022
...
hal-03672726v1  Reports
Tristan GillardAlain DutechJérémy Fix. Non-Associative Learning and the Iterant Deformable Sensorimotor Medium
[Research Report] RR-9472, Inria Nancy - Grand Est. 2022, pp.50
...
hal-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
...
hal-03127673v4  Reports
Jules BertrandFanny DufosséSomesh SinghBora Uçar. Algorithms and data structures for hyperedge queries
[Research Report] RR-9390, Inria Grenoble Rhône-Alpes. 2022, pp.28
...
hal-03655637v1  Reports
Thomas DissauxNicolas Nisse. Pathlength of Outerplanar graphs
[Research Report] Inria & Université Nice Sophia Antipolis, CNRS, I3S, Sophia Antipolis, France. 2022
...
hal-03652738v1  Reports
Sidahmed yallesMohamed HandaouiJean-Emile DartoisOlivier BaraisLaurent d'Orazio et al.  RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources
[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
...
hal-03647383v1  Reports
Rayane Hamani. Agrégation de canaux pour la communication directe sur mobile
[Travaux universitaires] Université de Lille, Faculté de Sciences et Technologies; Laboratoire CRIStAL. 2022, pp.24
...
hal-03630407v3  Reports
Giovanni FabbrettiIvan LaneseJean-Bernard Stefani. Generation of a reversible semantics for Erlang in Maude
[Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
...
hal-03613598v1  Reports
Loïc HélouëtPranay Agrawal. Waiting Nets (Extended Version)
[Research Report] INRIA; ENS Paris Saclay. 2022, pp.1-37
...
hal-03610883v2  Reports
Anne BenoitLucas Perotinyves RobertFrédéric Vivien. Checkpointing strategies to protect parallel jobs from non-memoryless fail-stop errors
[Research Report] RR-9465, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.42
...
hal-03625249v1  Reports
Azim RoussanalyOlfa Messaoud. NoozyIA version 1.0 : Manuel de référence
[Rapport de recherche] LORIA - Université de Lorraine. 2022
...
hal-03562184v1  Reports
Luc Hogie. Idawi: a middleware for distributed applications in the IOT, the fog and other multihop dynamic networks
[Research Report] CNRS - Centre National de la Recherche Scientifique; Université Côte d'azur; Inria. 2022
...
hal-03565692v1  Reports
Pierre-Antoine BouttierLudovic Courtèsyann DupontMarek FelšöciFelix Gruber et al.  Guix-HPC Activity Report 2020-2021
[Technical Report] Inria Bordeaux - Sud-Ouest; Université Grenoble - Alpes; Université Paris. 2022
...
hal-03581418v1  Reports
Svetlana KulaginaHenning MeyerhenkeAnne Benoit. Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures
[Research Report] RR-9458, Inria Grenoble Rhône-Alpes. 2022, pp.1-20
...
hal-03564379v1  Reports
Sylvie BoldoFrançois ClémentVincent MartinMicaela MayeroHouda Mouhcine. Lebesgue Induction and Tonelli's Theorem in Coq
[Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.17
...
hal-03580853v1  Reports
yiqin GaoGuillaume Pallezyves RobertFrédéric Vivien. Scheduling Strategies for Overloaded Real-Time Systems
[Research Report] RR-9455, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-48
...
hal-03654003v2  Reports
Ayush PandeyAnnette BieniusaMarc Shapiro. Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore
[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
...
hal-03543701v2  Reports
Louis NoizetAlan Schmitt. Stating and Handling Semantics with Skel and Necro
[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23