Skip to Main content Skip to Navigation

hal-02002115v1  Reports
Dariusz BiernackiSergueï LengletPiotr Polesiuk. A Complete Normal-Form Bisimilarity for State
[Research Report] RR-9251, Inria Nancy - Grand Est. 2019
hal-02421327v1  Reports
Christophe AliasSamuel ThibaultLaure Gonnord. A Compiler Algorithm to Guide Runtime Scheduling
[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
hal-02416096v1  Reports
Adrien GausseranFrédéric GiroireBrigitte JaumardJoanna Moulierac. Be Scalable and Rescue My Slices During Reconfiguration
[Research Report] Inria - Sophia Antipolis; I3S, Université Côte d'Azur; Concordia University. 2019
hal-02318242v1  Reports
Gérard Le Lann. Cyberphysical Constructs and Concepts for Fully Automated Networked Vehicles
[Research Report] RR-9297, INRIA Paris-Rocquencourt. 2019
hal-02135963v1  Reports
Michel AbdallaFabrice BenhamoudaRomain Gay. From Single-Input to Multi-Client Inner-Product Functional Encryption
[Research Report] Report 2019/487, IACR Cryptology ePrint Archive. 2019
hal-02317002v1  Reports
Michel AbdallaManuel Barbosa. Perfect Forward Security of SPAKE2
[Research Report] Report 2019/1194, IACR Cryptology ePrint Archive. 2019
hal-02317011v1  Reports
Michel AbdallaFabrice BenhamoudaMarkulf KohlweissHendrik Waldner. Decentralizing Inner-Product Functional Encryption
[Research Report] Report 2019/020, IACR Cryptology ePrint Archive. 2019
hal-02125359v1  Reports
Yann BusnelChristelle CaillouetDavid Coudert. VESPA: Constrained target coverage by distributed deployment of connected UAVs
[Research Report] Inria; I3S, Université Côte d'Azur; IMT Atlantique. 2019
hal-02265925v1  Reports
Anne BenoitThomas HéraultValentin Le FèvreYves Robert. Replication Is More Efficient Than You Think
[Research Report] RR-9278, Inria - Research Centre Grenoble – Rhône-Alpes. 2019
hal-02317464v2  Reports
Anne BenoitValentin Le FèvrePadma RaghavanYves RobertHongyang Sun. Design and Comparison of Resilient Scheduling Heuristics for Parallel Jobs
[Research Report] RR-9296, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-29
hal-01644352v4  Reports
Anne BenoitChangjiang GouLoris Marchal. Partitioning tree-shaped task graphs for distributed platforms with limited memory
[Research Report] RR-9115, Inria Grenoble Rhône-Alpes. 2019, pp.1-34
hal-02090087v1  Reports
Manuel AtenciaJérôme EuzenatChan Le DucKhadija Jradeh. Reasoning for the description logic ALC with link keys
[Research Report] Laboratoire d'Informatique de Grenoble; INRIA Grenoble Rhône-Alpes; Université Paris 8. 2019, pp.1-36
hal-01982925v2  Reports
Lisl WeynansDavid Lannes. Generating boundary conditions for a Boussinesq system
[Research Report] RR 9248, INRIA Bordeaux. 2019
hal-02404346v1  Reports
Carsten BrunsSid Touati. Empirical study of Amdahl’s law on multicore processors
[Research Report] RR-9311, INRIA Sophia-Antipolis Méditerranée; Université Côte d'Azur, CNRS, I3S, France. 2019
hal-02050632v1  Reports
Imre BaranyMatthieu FradeliziXavier GoaocAlfredo HubardGünter Rote. Random polytopes and the wet part for arbitrary probability distributions
[Research Report] Rényi Institute of Mathematics; University College London; Université Paris-Est; Université de Lorraine; Freie Universität Berlin. 2019