Skip to Main content Skip to Navigation


...
hal-02079683v2  Reports
Pascal FradetAlain GiraultRuby KrishnaswamyXavier NicollinArash Shafiei. RDF: Reconfigurable Dataflow (extended version)
[Research Report] RR-9227, INRIA Grenoble - Rhône-Alpes. 2018, pp.1-19
...
hal-01965599v1  Reports
Oleksandr ZinenkoLorenzo CheliniTobias Grosser. Declarative Transformations in the Polyhedral Model
[Research Report] RR-9243, Inria; ENS Paris - Ecole Normale Supérieure de Paris; ETH Zurich; TU Delft; IBM Zürich. 2018
...
hal-01963270v2  Reports
Adrien GausseranAndrea TomassilliFrédéric GiroireJoanna Moulierac. Don't Interrupt Me When You Reconfigure my Service Function Chains
[Research Report] RR-9241, UCA, Inria; Université de Nice Sophia-Antipolis (UNS); CNRS; UCA,I3S. 2018
...
hal-01955859v1  Reports
Anne BenoitAurélien CavelanFlorina CiorbaValentin Le FèvreYves Robert. Combining Checkpointing and Replication for Reliable Execution of Linear Workflows with Fail-Stop and Silent Errors
[Research Report] RR-9235, ROMA (INRIA Rhône-Alpes / LIP Laboratoire de l’Informatique du Parallélisme); LIP - Laboratoire de l’Informatique du Parallélisme. 2018, pp.1-32
...
hal-01954396v1  Reports
Paul IannettaLaure GonnordLionel MorelTomofumi Yuki. Semantic Array Dataflow Analysis
[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
...
hal-02046430v1  Reports
Jens Gustedt. Clean up atomics
[Technical Report] N2329, ISO JCT1/SC22/WG14. 2018
...
hal-01952593v1  Reports
Guillaume IoossChristophe AliasSanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs
[Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28
...
hal-01964792v1  Reports
Lionel Seinturier. Adlet: A Java-based Architecture Description Language
[Research Report] RR-9242, Inria Lille - Nord Europe. 2018
...
hal-01976744v1  Reports
Razanne IssaDavid James Sherman. Deriving Gene Associations for Metabolic Models
[Research Report] RR-9246, Inria Bordeaux Sud-Ouest. 2018
hal-01948512v1  Reports
Frédéric BeckJérôme FrançoisThomas LacourAbdelkader Lahmadi. Verifying Security Requirements of an IoT device using SCUBA Tool Suite
[Contract] Inria Nancy - Grand Est (Villers-lès-Nancy, France); In collaboration with Red Alert Labs. 2018
...
hal-01939280v2  Reports
Ovidiu-Cristian MarcuAlexandru CostanGabriel AntoniuMaría Pérez-HernándezRadu Tudoran et al.  Storage and Ingestion Systems in Support of Stream Processing: A Survey
[Technical Report] RT-0501, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2018, pp.1-33
...
hal-01919501v1  Reports
Alexandre BléronRomain VergneThomas HurtutJoëlle Thollot. A workflow for designing stylized shading effects
[Research Report] RR-9225, Inria Grenoble Rhône-Alpes. 2018, pp.1-29
...
hal-01924180v5  Reports
Fanny DufosséKamer KayaIoannis PanagiotasBora Uçar. Effective heuristics for matchings in hypergraphs
[Research Report] RR-9224, Inria Grenoble Rhône-Alpes. 2018, pp.1-20
...
hal-01661127v3  Reports
Etienne MauffretDenis JeanneauLuciana ArantesPierre Sens. The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
[Technical Report] LISTIC; Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606. 2018
...
hal-01903592v2  Reports
Guillaume AupyAna GainaruValentin HonoréPadma RaghavanYves Robert et al.  Reservation Strategies for Stochastic Jobs (Extended Version)
[Research Report] RR-9211, Inria & Labri, Univ. Bordeaux; Department of EECS, Vanderbilt University, Nashville, TN, USA; Laboratoire LIP, ENS Lyon & University of Tennessee Knoxville, Lyon, France. 2018, pp.1-37
...
hal-01904341v1  Reports
Rachid GuerraouiAnne-Marie KermarrecOlivier RuasFrançois Taïani. Fingerprinting Big Data: The Case of KNN Graph Construction
[Research Report] RR-9218, INRIA Rennes - Bretagne Atlantique; INRIA - IRISA - PANAMA; Université de Rennes 1; EPFL; Mediego. 2018, pp.1-30
...
hal-01900574v1  Reports
Josselin GautierNicolas ChleqPierre Kornprobst. A Binocular LVA Device based on Mixed Reality to Enhance Face Recognition
[Research Report] RR-9216, Université Côte d’Azur, Inria, France. 2018, pp.1-19
...
hal-01897570v3  Reports
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisXavier Lorca et al.  A Framework for Edge Infrastructures Monitoring
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
...
lirmm-01925474v1  Reports
Michel Chein. Une courte histoire (de la naissance) du nombre de sauts
[Rapport de recherche] LIRMM (UM, CNRS); INRIA. 2018
...
hal-01907894v1  Reports
Martin ClochardAndrei PaskevichClaude Marché. Deductive Verification via Ghost Debugging
[Research Report] RR-9219, Inria Saclay Ile de France. 2018
...
hal-01882980v1  Reports
Yves Auffray. A variational interpretation of classification EM
[Research Report] Dassault Aviation. 2018
...
hal-01874919v1  Reports
Marcelo FerreiraJonathan MunozThomas Watteyne. SmartMesh Range Measurements
[Research Report] RR-9205, Inria. 2018, pp.18
...
hal-01870148v1  Reports
Lutz Straßburger. On the Decision Problem for MELL
[Research Report] 9203, Inria Saclay Ile de France. 2018
...
hal-01874810v1  Reports
Xinzhe Wu. SMG2S Manual v1.0
[Technical Report] Maison de la Simulation. 2018
...
hal-01897104v2  Reports
Alain FrancPierre BlanchardOlivier Coulaud. Nonlinear Mapping and Distance Geometry
[Research Report] RR-9210, Inria Bordeaux Sud-Ouest. 2018, pp.14
...
hal-01860060v1  Reports
Jilles Dibangoye. On Markov Policies For Decentralized POMDPs
[Research Report] RR-9202, INRIA Grenoble - Rhone-Alpes - CHROMA Team; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; INSA Lyon. 2018
...
hal-01874777v1  Reports
Quentin Garchery. Démonstration automatique en Coq
[Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018
...
hal-01856331v1  Reports
Alain Jean-MarieEmmanuel Hyon. Optimal control of admission in service in a queue with impatience and setup costs
[Research Report] RR-9199, Inria - Sophia Antipolis; Univ. Montpellier; Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Paris, France; Université Paris Nanterre. 2018, pp.1-47
...
hal-01885909v2  Reports
Sofien Ben Ayed. Le raisonnement inductif sous toutes ses formes
[Stage] Inria Nancy - Grand Est. 2018
...
hal-01973539v1  Reports
Quentin Ye. Comparaison des termes avec partage
[Rapport de recherche] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2018
...
hal-01832888v1  Reports
Sreeja NairMarc Shapiro. Improving the "Correct Eventual Consistency" Tool
[Research Report] RR-9191, Sorbonne Université. 2018
...
hal-01325900v6  Reports
Šejla ČebirićFrançois GoasdouéPawel GuzewiczIoana Manolescu. Compact Summaries of Rich Heterogeneous Graphs
[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
...
hal-01828521v1  Reports
Laura GrigoriOlivier Tissot. Scalable Linear Solvers based on Enlarged Krylov subspaces with Dynamic Reduction of Search Directions
[Research Report] RR-9190, Inria Paris; Laboratoire Jacques-Louis Lions, UPMC, Paris. 2018, pp.1-30
...
hal-01820469v1  Reports
Sébastien Ferré. A SPARQL 1.1 Query Builder for the Data Analytics of Vanilla RDF Graphs
[Research Report] IRISA Rennes Bretagne Atlantique, équipe LIS. 2018
...
hal-01819302v2  Reports
Julien DelplanqueStéphane DucasseAndrew BlackGuillermo Polito. Rotten Green Tests A First Analysis
[Research Report] Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille; Portland State University, Oregon, USA. 2018
...
hal-02888976v1  Reports
Georgios Papadopoulos. The Standardization Efforts at the IETF for the Internet of Things
[Research Report] RR-2018-03-SC, IMT Atlantique. 2018
...
hal-01818585v1  Reports
Christophe Alias. FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
[Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
...
hal-01816513v1  Reports
Hussam Al DaasLaura Grigori. A class of efficient locally constructed preconditioners based on coarse spaces
[Research Report] RR-9184, Inria – Centre Paris-Rocquencourt; Laboratoire Jacques-Louis Lions, UPMC, Paris. 2018
...
hal-01814740v1  Reports
Jens GustedtMaxime Mogé. Memory access classification for vertical task parallelism
[Research Report] RR-9182, Inria Nancy - Grand Est. 2018, pp.1-20
...
hal-01944993v1  Reports
Nicolas Vidal. Scheduling bi-colored chains
[Intership report] Ecole Normale Supérieure de Lyon - ENS LYON. 2018
...
hal-01811231v1  Reports
Thibaut MartyTomofumi YukiSteven Derrien. Algorithm Level Timing Speculation for Convolutional Neural Network Accelerators
[Technical Report] RT-0500, Univ Rennes, Inria, CNRS, IRISA, France. 2018, pp.1-17
...
hal-01809897v1  Reports
Jilles DibangoyeOlivier Buffet. Learning to Act in Decentralized Partially Observable MDPs
[Research Report] RR-9179, INRIA Grenoble - Rhone-Alpes - CHROMA Team; INRIA Nancy, équipe LARSEN. 2018
...
hal-01811885v1  Reports
Louis-Claude CanonAurélie Kong Win ChangYves RobertFrédéric Vivien. Scheduling independent stochastic tasks deadline and budget constraints
[Research Report] RR-9178, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-34
...
hal-01811823v1  Reports
George BosilcaAurelien BouteillerThomas HéraultValentin Le FèvreYves Robert et al.  Distributed Termination Detection for HPC Task-Based Environments
[Research Report] RR-9181, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-28
...
hal-01823507v1  Reports
Xudong QinSimon BliudzeEric MadelaineMin Zhang. Using SMT engine to generate Symbolic Automata -Extended version
[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
...
hal-01803214v1  Reports
Yosra ZguiraHervé Rivano. Performance evaluation of "Internet-of-Bikes" IoB-DTN routing protocol and IoB-Long range
[Research Report] Institut national des sciences appliquées de Lyon. 2018, pp.1-9
...
hal-01790554v2  Reports
Marjorie BournatSwan DuboisFranck Petit. Gracefully Degrading Gathering in Dynamic Rings
[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; DELYS; Inria. 2018
...
hal-01712277v3  Reports
Silvia BonomiGiovanni FarinaSébastien Tixeuil. Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures
[Technical Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti", Università degli Studi di Roma La Sapienza, Rome, Italy. 2018
...
hal-01790508v1  Reports
Yackolley Amoussou-GuenouSouheib BaarirMaria Potop-ButucaruNathalie SznajderLeo Tible et al.  On the encoding and solving partial information games
[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
...
hal-01948552v1  Reports
Munir ContractorChristophe PradalDennis Shasha. Platform Migrator
[Technical Report] TR2018-990, New York University. 2018, pp.43
...
hal-01790504v3  Reports
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. Correctness and Fairness of Tendermint-core Blockchains
[Research Report] LIP6 UMR 7606, UPMC Sorbonne Universités, France; CEA Paris Saclay. 2018, pp.1-29