Skip to Main content Skip to Navigation


...
hal-03247624v1  Reports
Giovanni FabbrettiIvan LaneseJean-Bernard Stefani. Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
...
hal-03268844v1  Reports
Sylvain ChevillardMartine Olivi. Bilan carbone d'une équipe de recherche à l'Inria
[Rapport Technique] Inria Sophia Antipolis - Méditerranée. 2021
...
hal-03265590v1  Reports
Jens Gustedt. Add annotations for unreachable control flow
[Research Report] 2757, ISO JCT1/SC22/WG14. 2021, pp.11
...
hal-03265588v1  Reports
Jens Gustedt. Enforce storage stability
[Research Report] 2756, ISO JCT1/SC22/WG14. 2021, pp.8
...
hal-03253415v1  Reports
Hélène BarucqNathan RouxelinSébastien Tordeux. HDG and HDG+ methods for harmonic wave problems with convection
[Research Report] RR-9410, Inria Bordeaux - Sud-Ouest; LMAP UMR CNRS 5142; Université de Pau et des Pays de l'Adour (UPPA), Pau, FRA. 2021
...
hal-03264047v1  Reports
Anne BenoitLucas PerotinYves RobertHongyang Sun. Checkpointing Workflows à la Young/Daly Is Not Good Enough
[Research Report] RR-9413, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.54
...
hal-03230482v1  Reports
Sadaf Ul ZuhraSamir PerlazaEitan Altman. Simultaneous Information and Energy Transmission with Finite Constellations
[Research Report] RR-9409, Inria Sophia Antipolis - Méditerranée. 2021, pp.17
...
hal-03106763v2  Reports
Jens Gustedt. Type inference for variable definitions and function returns
[Research Report] N2735, ISO JCT1/SC22/WG14. 2021, pp.23
...
hal-03106930v2  Reports
Jens Gustedt. Lvalue closures
[Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
...
hal-03106758v2  Reports
Jens Gustedt. Improve type generic programming
[Technical Report] N2638, ISO JCT1/SC22/WG14. 2021, pp.82
...
hal-03106767v2  Reports
Jens Gustedt. Function literals and value closures
[Technical Report] N2736, ISO JCT1/SC22/WG14. 2021, pp.55
...
hal-03220449v1  Reports
Gauthier LyanDavid Gross-AmblardJean-Marc JézéquelSimon Malinowski. Impact of Data Cleansing for Urban Bus Commercial Speed Prediction
[Research Report] Université de Rennes; IRISA; Keolis Rennes. 2021, pp.1-11
...
hal-03214475v1  Reports
Julien BraineLaure GonnordDavid Monniaux. Data Abstraction: A General Framework to Handle Program Verification of Data Structures
[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29
...
hal-03208466v1  Reports
Paul IannettaLaure GonnordGabriel Radanne. Parallelizing Structural Transformations on Tarbres
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
...
hal-03198277v1  Reports
Patrick BaillotAlexis GhyselenNaoki Kobayashi. Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
[Research Report] ENS Lyon, CNRS & INRIA; University of Tokyo. 2021
...
hal-03196830v1  Reports
Ali Al ZoobiDavid CoudertNicolas Nisse. Finding the k Shortest Simple Paths: Time and Space trade-offs
[Research Report] Inria; I3S, Université Côte d'Azur. 2021