Recherche - Inria - Institut national de recherche en sciences et technologies du numérique
Accéder directement au contenu

Filtrer vos résultats

9 423 résultats
Page :
triés par
Image document

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

 Benjamin Lipp , Bruno Blanchet , Karthikeyan Bhargavan
[Research Report] RR-9269, Inria Paris. 2019, pp.50
Rapport hal-02100345v3
Image document

An elastic framework for ensemble-based large-scale data assimilation

 Sebastian Friedemann , Bruno Raffin
International Journal of High Performance Computing Applications, 2022, 36, pp.1-37. ⟨10.1177/10943420221110507⟩
Article dans une revue hal-03017033v3
Image document

Generation of a reversible semantics for Erlang in Maude

 Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
[Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
Rapport hal-03630407v3
Image document

Modeling Memory Contention between Communications and Computations in Distributed HPC Systems (Extended Version)

 Alexandre Denis , Emmanuel Jeannot , Philippe Swartvagher
[Research Report] RR-9451, INRIA Bordeaux, équipe TADAAM. 2022, pp.34
Rapport hal-03564751v2
Image document

Non-Associative Learning and the Iterant Deformable Sensorimotor Medium

 Tristan Gillard , Alain Dutech , Jérémy Fix
[Research Report] RR-9472, Inria Nancy - Grand Est. 2022, pp.50
Rapport hal-03672726v1
Image document

Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore

 Ayush Pandey , Annette Bieniusa , Marc Shapiro
[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
Rapport hal-03654003v2
Image document

Algorithms and data structures for hyperedge queries

 Jules Bertrand , Fanny Dufossé , Somesh Singh , Bora Uçar
[Research Report] RR-9390, Inria Grenoble Rhône-Alpes. 2022, pp.28
Rapport hal-03127673v4
Image document

Checkpointing strategies to protect parallel jobs from non-memoryless fail-stop errors

 Anne Benoit , Lucas Perotin , Yves Robert , Frédéric Vivien
[Research Report] RR-9465, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.42
Rapport hal-03610883v2
Image document

Study of the processor and memory power consumption of coupled sparse/dense solvers

 Emmanuel Agullo , Marek Felšöci , Amina Guermouche , Hervé Mathieu , Guillaume Sylvand , et al.
[Research Report] RR-9463, Inria Bordeaux Sud-Ouest. 2022, pp.17
Rapport hal-03589695v2
Image document

The CREUSOT Environment for the Deductive Verification of Rust Programs

 Xavier Denis , Jacques-Henri Jourdan , Claude Marché
[Research Report] RR-9448, Inria Saclay - Île de France. 2021
Rapport hal-03526634v2
Image document

Programming Heterogeneous Architectures Using Hierarchical Tasks

 Mathieu Faverge , Nathalie Furmento , Abdou Guermouche , Gwenolé Lucas , Raymond Namyst , et al.
[Research Report] RR-9466, Inria Bordeaux Sud-Ouest. 2022, pp.21
Rapport hal-03609275v2
Image document

Hybrid RANS/DVMS modeling for static and rotating obstacles

 Florian Miralles , Bastien Sauvage , Stephen F. Wornom , Bruno Koobus , Alain Dervieux
[Research Report] RR-9464, INRIA. 2022, pp.26
Rapport hal-03605874v1
Image document

Dirty Paper Coding for Consecutive Messages with Heterogeneous Decoding Deadlines in the Finite Blocklength Regime

 Homa Nikbakht , Malcolm Egan , Jean-Marie Gorce
[Research Report] RR-9462, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-21
Rapport hal-03556888v1
Image document

Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures

 Svetlana Kulagina , Henning Meyerhenke , Anne Benoit
[Research Report] RR-9458, Inria Grenoble Rhône-Alpes. 2022, pp.1-20
Rapport hal-03581418v1
Image document

Scheduling Strategies for Overloaded Real-Time Systems

 Yiqin Gao , Guillaume Pallez , Yves Robert , Frédéric Vivien
[Research Report] RR-9455, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-48
Rapport hal-03580853v1
Image document

Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code

 Albert Benveniste , Benoît Caillaud , Mathias Malandain
[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46
Rapport hal-03580636v1
Image document

A Coq Formalization of the Bochner integral

 Sylvie Boldo , François Clément , Louise Leclerc
[Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022
Rapport hal-03516749v2
Image document

Simultaneous Information and Energy Transmission with Finite Constellations

 Sadaf Ul Zuhra , Samir M. Perlaza , H. Vincent Poor , Eitan Altman
[Research Report] RR-9409, Inria Sophia Antipolis - Méditerranée. 2022, pp.1-37
Rapport hal-03230482v2
Image document

Bounding the Flow Time in Online Scheduling with Structured Processing Sets (extended version)

 Louis-Claude Canon , Anthony Dugois , Loris Marchal
[Research Report] RR-9446, INRIA. 2022, pp.1-35
Rapport hal-03558600v1
Image document

Direct solution of larger coupled sparse/dense linear systems using low-rank compression on single-node multi-core machines in an industrial context

 Emmanuel Agullo , Marek Felšöci , Guillaume Sylvand
[Research Report] RR-9453, Inria Bordeaux Sud-Ouest. 2022, pp.25
Rapport hal-03557692v1
Image document

Stating and Handling Semantics with Skel and Necro

 Louis Noizet , Alan Schmitt
[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23
Rapport hal-03543701v2
Image document

An Integer Linear Programming Approach for Pipelined Model Parallelism

 Olivier Beaumont , Lionel Eyraud-Dubois , Alena Shilova
[Research Report] RR-9452, Inria. 2022
Rapport hal-03549009v2
Image document

Decentralized in-order execution of a sequential task-based code for shared-memory architectures

 Charly Castes , Emmanuel Agullo , Olivier Aumage , Emmanuelle Saillard
[Research Report] RR-9450, Inria Bordeaux - Sud Ouest. 2022, pp.30
Rapport hal-03547334v1
Image document

A coordination-free, convergent, and safe replicated tree

 Sreeja S Nair , Filipe Meirim , Mário Pereira , Carla Ferreira , Marc Shapiro
[Research Report] RR-9395, LIP6, Sorbonne Université, Inria de Paris; Universidade nova de Lisboa. 2021, pp.36
Rapport hal-03150817v3
Image document

Tensor Ranks for the Pedestrian for Dimension Reduction and Disentangling Interactions

 Alain Franc
[Research Report] RR-9445, Inrae - BioGeCo; Inria Bordeaux Sud-Ouest. 2021
Rapport hal-03518107v1
Image document

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

 Albert Benveniste , Jean-Baptiste Raclet
[Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Rapport hal-03531059v1
Image document

Request Replication for FaaS Fault Tolerance

 Yasmina Bouizem , Djawida Dib , Nikos Parlavantzas , Christine Morin , Fedoua Lahfa
[Research Report] RR-9444, Inria. 2022, pp.1-19
Rapport hal-03510322v1
Image document

Algorithmic study of the algebraic parameter estimation problem for a class of perturbations

 Maya Chartouny , Thomas Cluzeau , Alban Quadrat
[Research Report] RR-9441, Inria Paris, Sobonne Université; XLIM. 2021, pp.26
Rapport hal-03502443v1
Image document

CertiCAN: Certifying CAN Analyses and Their Results

 Pascal Fradet , Xiaojie Guo , Sophie Quinton
[Research Report] RR-9443, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
Rapport hal-03499968v1
Image document

RDF: A Reconfigurable Dataflow Model of Computation

 Pascal Fradet , Alain Girault , Ruby Krishnaswamy , Xavier Nicollin , Arash Shafiei
[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Rapport hal-03495883v1
Page :