By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418

2019

Journal articles

titre
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
auteur
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
article
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (4), pp.813-855. ⟨10.1007/978-3-662-48899-7_15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01197456/file/paper28juin2019.pdf BibTex
titre
Bisimulation and Coinduction Enhancements: A Historical Perspective
auteur
Damien Pous, Davide Sangiorgi
article
Formal Aspects of Computing, Springer Verlag, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02393949/file/main.pdf BibTex
titre
Learning Combination of Graph Filters for Graph Signal Modeling
auteur
Fei Hua, Cédric Richard, Chen Jie, Haiyan Wang, Pierre Borgnat, Paulo Gonçalves
article
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2019, 26 (12), pp.1912-1916
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02367868/file/Convex_combination_of_graph_filters.pdf BibTex
titre
Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic
auteur
Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel Roche
article
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02008666/file/FastBLR.pdf BibTex
titre
Coloring Dense Digraphs
auteur
Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
article
Combinatorica, Springer Verlag, 2019, 39 (5), pp.1021-1053. ⟨10.1007/s00493-019-3815-8⟩
Accès au bibtex
BibTex
titre
Algorithms for triple-word arithmetic
auteur
Nicolas Fabiano, Jean-Michel Muller, Joris Picot
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01869009/file/TW-final.pdf BibTex
titre
Degree-based Outlier Detection within IP Traffic Modelled as a Link Stream
auteur
Audrey Wilmet, Tiphaine Viard, Matthieu Latapy, Robin Lamarche-Perrin
article
Computer Networks, Elsevier, 2019, 161, pp.197-209. ⟨10.1016/j.comnet.2019.07.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02172934/file/cn_degree_based.pdf BibTex
titre
Semi-Linearized Proximal Alternating Minimization for a Discrete Mumford-Shah Model
auteur
Marion Foare, Nelly Pustelnik, Laurent Condat
article
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.1-13. ⟨10.1109/TIP.2019.2944561⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01782346/file/main_v7_hal.pdf BibTex
titre
Reentrant phase transitions in threshold driven contagion on multiplex networks
auteur
Samuel Unicomb, Gerardo Iñiguez, János Kertész, Márton Karsai
article
Physical Review E , American Physical Society (APS), 2019, 100 (4), pp.1192-1199. ⟨10.1103/PhysRevE.100.040301⟩
Accès au bibtex
BibTex
titre
Linear Differential Equations as a Data-Structure
auteur
Bruno Salvy
article
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (5), pp.1071-1112. ⟨10.1007/s10208-018-09411-x⟩
Accès au bibtex
https://arxiv.org/pdf/1811.08616 BibTex
titre
Fourier could be a Data Scientist: from Graph Fourier Transform to Signal Processing on Graphs
auteur
Benjamin Ricaud, Pierre Borgnat, Nicolas Tremblay, Paulo Gonçalves, Pierre Vandergheynst
article
Comptes Rendus. Physique, Académie des sciences (Paris), 2019, pp.474-488. ⟨10.1016/j.crhy.2019.08.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02304584/file/main.pdf BibTex
titre
Discrete Mumford-Shah on graph for mixing matrix estimation
auteur
Yacouba Kaloga, Marion Foare, Nelly Pustelnik, Pablo Jensen
article
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2019, 26 (9), pp.1275-1279
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01948570/file/main.pdf BibTex
titre
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
auteur
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02303148/file/1908.10042.pdf BibTex
titre
Companions, Causality and Codensity
auteur
Damien Pous, Jurriaan Rot
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019, ⟨10.23638/LMCS-15(3:14)2019⟩
Accès au bibtex
https://arxiv.org/pdf/1712.08526 BibTex
titre
Divergence and unique solution of equations
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019, ⟨10.23638/LMCS-15(3:12)2019⟩
Accès au bibtex
https://arxiv.org/pdf/1806.11354 BibTex
titre
Performance Analysis of Video on Demand in an IEEE 802.11p-based Vehicular Network
auteur
Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
article
Computer Communications, Elsevier, 2019, 146, pp.174-185. ⟨10.1016/j.comcom.2019.08.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02277855/file/paper-black.pdf BibTex
titre
Interactional and Informational Attention on Twitter
auteur
Agathe Baltzer, Márton Karsai, Camille Roth
article
Information, MDPI, 2019, 10 (8), pp.1-16. ⟨10.3390/info10080250⟩
Accès au bibtex
https://arxiv.org/pdf/1907.07962 BibTex
titre
InKS, a Programming Model to Decouple Algorithm from Optimization in HPC Codes
auteur
Ksander Ejjaaouani, Olivier Aumage, Julien Bigot, Michel Mehrenberger, Hitoshi Murai, Masahiro Nakao, Mitsuhisa Sato
article
Journal of Supercomputing, Springer Verlag, 2019, ⟨10.1007/s11227-019-02950-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02281963/file/papier.pdf BibTex
titre
Subdivisions in Digraphs of Large Out-Degree or Large Dichromatic Number
auteur
Pierre Aboulker, Nathann Cohen, Frédéric Havet, William Lochet, Phablo Moura, Stéphan Thomassé
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26, pp.P3.19
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02275082/file/in-arborescences.pdf BibTex
titre
Multilevel Algorithms for Acyclic Partitioning of Directed Acyclic Graphs
auteur
Julien Herrmann, Yusuf Özkaya, Bora Uçar, Kamer Kaya, Ümit Çatalyürek
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2019, 41 (4), pp.A2117-A2145. ⟨10.1137/18M1176865⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02306566/file/paper_dagPart_sisc.pdf BibTex
titre
Comparing the performance of rigid, moldable and grid-shaped applications on failure-prone HPC platforms
auteur
Valentin Le Fèvre, Thomas Herault, Yves Robert, Aurelien Bouteiller, Atsushi Hori, George Bosilca, Jack Dongarra
article
Parallel Computing, Elsevier, 2019, 85, pp.1-12. ⟨10.1016/j.parco.2019.02.002⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03360189/file/S0167819118302230.pdf BibTex
titre
A proof of the Erdős–Sands–Sauer–Woodrow conjecture
auteur
Nicolas Bousquet, William Lochet, Stéphan Thomassé
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, Elsevier Journal of Combinatorial Theory, Series B, 137, pp.316-319. ⟨10.1016/j.jctb.2018.11.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02158330/file/monoPath.pdf BibTex
titre
Close proximity interactions support transmission of ESBL-K. pneumoniae but not ESBL-E. coli in healthcare settings
auteur
Audrey Duval, Thomas Obadia, Pierre-Yves Boëlle, Eric Fleury, Jean-Louis Herrmann, Didier Guillemot, Laura Temime, Lulla Opatowski
article
PLoS Computational Biology, Public Library of Science, 2019, 15 (5), pp.e1006496. ⟨10.1371/journal.pcbi.1006496⟩
Accès au texte intégral et bibtex
https://www.hal.inserm.fr/inserm-02153937/file/journal.pcbi.1006496.pdf BibTex
titre
Host contact dynamics shapes richness and dominance of pathogen strains
auteur
Francesco Pinotti, Eric Fleury, Didier Guillemot, Pierre-Yves Böelle, Chiara Poletto
article
PLoS Computational Biology, Public Library of Science, 2019, 15 (5), pp.e1006530. ⟨10.1371/journal.pcbi.1006530⟩
Accès au texte intégral et bibtex
https://www.hal.inserm.fr/inserm-02153754/file/journal.pcbi.1006530.pdf BibTex
titre
Optimal Proxy Selection for Socioeconomic Status Inference on Twitter
auteur
Jacob Levy Abitbol, Eric Fleury, Márton Karsai
article
Complexity, Wiley, 2019, 2019, pp.1-15. ⟨10.1155/2019/6059673⟩
Accès au bibtex
BibTex
titre
A Generic Approach to Scheduling and Checkpointing Workflows
auteur
Li Han, Valentin Le Fèvre, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article
International Journal of High Performance Computing Applications, SAGE Publications, 2019, pp.1-19. ⟨10.1177/1094342019866891⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02140295/file/IJHPCA.pdf BibTex
titre
Bridging the gap between flat and hierarchical low-rank matrix formats: the multilevel BLR format
auteur
Patrick Amestoy, Alfredo Buttari, Jean-Yves l'Excellent, Théo Mary
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2019, 41 (3), pp.A1414-A1442. ⟨10.1137/18M1182760⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01774642/file/MBLR.pdf BibTex
titre
The 2-domination and Roman domination numbers of grid graphs
auteur
Michaël Rao, Alexandre Talon
article
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2019, ICGT 2018, 21 (1)
Accès au bibtex
https://arxiv.org/pdf/1810.12896 BibTex
titre
Oritatami: A Computational Model for Molecular Co-Transcriptional Folding
auteur
Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, Shinnosuke Seki
article
International Journal of Molecular Sciences, MDPI, 2019, 20 (9), pp.2259. ⟨10.3390/ijms20092259⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02132658/file/2019-IJMS-GearyMeunierSchabanelSeki-all.pdf BibTex
titre
Edge-partitioning a graph into paths: beyond the Barát-Thomassen conjecture
auteur
Julien Bensmail, Ararat Harutyunyan, Tien-Nam Le, Stéphan Thomassé
article
Combinatorica, Springer Verlag, 2019, 39 (2), pp.239-263. ⟨10.1007/s00493-017-3661-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01744515/file/bt-paths5.pdf BibTex
titre
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study
auteur
Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01561052/file/LTICJR.pdf BibTex
titre
Conflict graph-based model for IEEE 802.11 networks: A Divide-and-Conquer approach
auteur
Marija Stojanova, Thomas Begin, Anthony Busson
article
Performance Evaluation, Elsevier, 2019, pp.64-85. ⟨10.1016/j.peva.2018.11.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01955177/file/PEVA_1984.pdf BibTex
titre
Co-scheduling HPC workloads on cache-partitioned CMP platforms
auteur
Guillaume Aupy, Anne Benoit, Brice Goglin, Loïc Pottier, Yves Robert
article
International Journal of High Performance Computing Applications, SAGE Publications, 2019, 33 (6), pp.1221-1239. ⟨10.1177/1094342019846956⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02093172/file/HAL.pdf BibTex
titre
Cryptanalysis of the CLT13 Multilinear Map
auteur
Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé
article
Journal of Cryptology, Springer Verlag, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩
Accès au bibtex
BibTex
titre
Locally self-avoiding Eulerian tours
auteur
Tien-Nam Le
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 135, pp.279 - 294. ⟨10.1016/j.jctb.2018.08.008⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03486905/file/S0095895618300790.pdf BibTex
titre
Bio-curation for cellular signalling: the KAMI project
auteur
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2019, 16 (5), pp.1562-1573. ⟨10.1109/TCBB.2019.2906164⟩
Accès au bibtex
BibTex
titre
Infants rapidly detect human faces in complex naturalistic visual scenes
auteur
David Kelly, Sofia Duarte, David Meary, Markus Bindemann, Olivier Pascalis
article
Developmental Science, Wiley, 2019, 22 (6), ⟨10.1111/desc.12829⟩
Accès au bibtex
BibTex
titre
Thin Games with Symmetry and Concurrent Hyland-Ong Games
auteur
Simon Castellan, Pierre Clairambault, Glynn Winskel
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019, ⟨10.2168/LMCS-15(1:18)2019⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01068769/file/main.pdf BibTex
titre
Coloring square-free Berge graphs
auteur
Maria Chudnovsky, Irene Lo, Frédéric Maffray, Nicolas Trotignon, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 135, pp.96-128. ⟨10.1016/j.jctb.2018.07.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01993462/file/1509.09195.pdf BibTex
titre
A multi-dimensional Morton-ordered block storage for mode-oblivious tensor computations
auteur
Filip Pawlowski, Bora Uçar, Albert-Jan Yzelman
article
Journal of computational science, Elsevier, 2019, 33, pp.34-44. ⟨10.1016/j.jocs.2019.02.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082524/file/pawlowskiUcarYzelman-jocs.pdf BibTex
titre
An $O(n^2)$ time algorithm for the minimal permutation completion problem
auteur
Christophe Crespelle, Anthony Perez, Ioan Todinca
article
Discrete Applied Mathematics, Elsevier, 2019, 254, pp.80-95. ⟨10.1016/j.dam.2018.06.036⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01969498/file/S0166218X18303986.pdf BibTex
titre
Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures
auteur
Patrick Amestoy, Alfredo Buttari, Jean-Yves l'Excellent, Théo Mary
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2019, 45 (1), pp.1-23. ⟨10.1145/3242094⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01955766/file/MultiCoreBLR.pdf BibTex
titre
Limiting the memory footprint when dynamically scheduling DAGs on shared-memory platforms
auteur
Loris Marchal, Bertrand Simon, Frédéric Vivien
article
Journal of Parallel and Distributed Computing, Elsevier, 2019, 128, pp.30-42. ⟨10.1016/j.jpdc.2019.01.009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02025521/file/jpdc-revision.pdf BibTex
titre
Pourquoi créer des nouveaux langages de programmation ?
auteur
Ludovic Henrio
article
Interstices, INRIA, 2019
Accès au bibtex
BibTex
titre
Subquadratic Kernels for Implicit 3-Hitting Set and 3-Set Packing Problems
auteur
Fedor V. Fomin, Tien-Nam Le, Daniel Lokshtanov, Saket Saurabh, Stéphan Thomassé, Meirav Zehavi
article
ACM Transactions on Algorithms, Association for Computing Machinery, 2019, 15 (1), pp.1-44
Accès au bibtex
BibTex
titre
Intersection Types and Runtime Errors in the Pi-Calculus
auteur
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
article
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02399565/file/ITPi.pdf BibTex
titre
Game semantics for quantum programming
auteur
Pierre Clairambault, Marc de Visme, Glynn Winskel
article
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290345⟩
Accès au bibtex
BibTex
titre
Nivat's conjecture and pattern complexity in algebraic subshifts
auteur
Jarkko Kari, Etienne Moutot
article
Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2018.12.029⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02130713/file/karimoutot19.1.pdf BibTex
titre
Immersion of transitive tournaments in digraphs with large minimum outdegree
auteur
William Lochet
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 134, pp.350-353. ⟨10.1016/j.jctb.2018.05.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01835124/file/immersion_final.pdf BibTex
titre
Induced minors and well-quasi-ordering
auteur
Jarosław Błasiok, Marcin Kamiński, Jean-Florent Raymond, Théophile Trunck
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 134, pp.110-142. ⟨10.1016/j.jctb.2018.05.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01813903/file/1510.07135.pdf BibTex
titre
Extension complexity of the correlation polytope
auteur
Pierre Aboulker, Samuel Fiorini, Tony Huynh, Marco Macchia, Johanna Seif
article
Operations Research Letters, Elsevier, 2019, 47 (1), pp.47-51. ⟨10.1016/j.orl.2018.12.001⟩
Accès au bibtex
https://arxiv.org/pdf/1806.00541 BibTex
titre
Realization of aperiodic subshifts and uniform densities in groups
auteur
Nathalie Aubrun, Sebastián Barbieri, Stéphan Thomassé
article
Groups, Geometry, and Dynamics, European Mathematical Society, 2019, 13 (1), pp.107-129
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01989763/file/1507.03369%281%29.pdf BibTex
titre
Separation Choosability and Dense Bipartite Induced Subgraphs
auteur
Louis Esperet, Ross Kang, Stéphan Thomassé
article
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2019, 28 (5), pp.720-732. ⟨10.1017/S0963548319000026⟩
Accès au bibtex
https://arxiv.org/pdf/1802.03727 BibTex
titre
A generalization of the simulation theorem for semidirect products
auteur
Sebastián Barbieri, Mathieu Sablik
article
Ergodic Theory and Dynamical Systems, Cambridge University Press (CUP), In press, pp.1-22. ⟨10.1017/etds.2018.21⟩
Accès au bibtex
https://arxiv.org/pdf/1608.00357 BibTex
titre
Root Separation for Trinomials
auteur
Pascal Koiran
article
Journal of Symbolic Computation, Elsevier, In press
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01585049/file/revised.pdf BibTex
titre
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms
auteur
Joao Vicente Ferreira Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
article
International Journal of High Performance Computing Applications, SAGE Publications, 2019, 33 (3), pp.431-443. ⟨10.1177/1094342018792079⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01957220/file/ijhpca-wamca2017.pdf BibTex
titre
Coloring tournaments: From local to global
auteur
Ararat Harutyunyan, Tien-Nam Le, Stéphan Thomassé, Hehui Wu
article
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 138, pp.166-171. ⟨10.1016/j.jctb.2019.01.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02181518/file/Coloring_tournaments.pdf BibTex
titre
Cartographie et visualisation
auteur
Éric Guichard
article
Annales des mines - Série Responsabilité et environnement, F.F.E., 2019, pp.38-41
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02097578/file/Guichard-cartographie-visualisation-MenP-Annales-Mines.pdf BibTex
titre
$L^{\gamma}$ -PageRank for Semi-Supervised Learning
auteur
Esteban Bautista, Patrice Abry, Paulo Gonçalves
article
Applied Network Science, Springer, 2019, 4 (57), pp.1-20. ⟨10.1007/s41109-019-0172-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02063780/file/bmc_article.pdf BibTex
titre
Non-altering time scales for aggregation of dynamic networks into series of graphs
auteur
Yannick Léo, Christophe Crespelle, Eric Fleury
article
Computer Networks, Elsevier, 2019, 148, pp.108-119. ⟨10.1016/j.comnet.2018.11.006⟩
Accès au bibtex
BibTex
titre
First-Come-First-Served Queues with Multiple Servers and Customer Classes
auteur
Alexandre Brandwajn, Thomas Begin
article
Performance Evaluation, Elsevier, 2019, pp.51-63. ⟨10.1016/j.peva.2018.11.001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01912975/file/S0166531618300701.pdf BibTex
titre
Sharing Cache Resources among Content Providers: A Utility-Based Approach
auteur
Mostafa Dehghan, Weibo Chu, Philippe Nain, Don Towsley, Zhi-Li Zhang
article
IEEE/ACM Transactions on Networking, IEEE/ACM, 2019, 40 (8), pp.1-14. ⟨10.1109/TNET.2018.2890512⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672961/file/cache_allocation.pdf BibTex
titre
Les nouveaux maîtres de l'écriture du monde
auteur
Éric Guichard
article
Contemporary French and Francophone Studies, Taylor & Francis (Routledge), 2019, The Google Era? / L’Ère Google ?, 23 (4), pp.490-501. ⟨10.1080/17409292.2020.1723247⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02310616/file/Guichard-Nouveaux-maitres-%C3%A9criture-du-monde.pdf BibTex
titre
On exploiting sparsity of multiple right-hand sides in sparse direct solvers
auteur
Patrick Amestoy, Jean-Yves l'Excellent, Gilles Moreau
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2019, 41 (1), pp.A269-A291. ⟨10.1137/17M1151882⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01955659/file/M115188.pdf BibTex
titre
Checkpointing Strategies for Shared High-Performance Computing Platforms
auteur
Thomas Herault, Yves Robert, Aurelien Bouteiller, Arnold Arnold, Kurt Ferreira, George Bosilca, Jack Dongarra
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2019, 9 (1), pp.28-52. ⟨10.15803/ijnc.9.1_28⟩
Accès au bibtex
BibTex
titre
Absolute root separation
auteur
Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy
article
Experimental Mathematics, Taylor & Francis, In press, pp.8. ⟨10.1080/10586458.2019.1699480⟩
Accès au bibtex
https://arxiv.org/pdf/1907.01232 BibTex
titre
Combining Checkpointing and Replication for Reliable Execution of Linear Workflows with Fail-Stop and Silent Errors
auteur
Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2019, 9 (1), pp.2-27. ⟨10.15803/ijnc.9.1_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082369/file/ijnc.pdf BibTex

Conference papers

titre
Parameterized Streaming Algorithms for Min-Ones d-SAT
auteur
Akanksha Agrawal, Arindam Biswas, Edouard Bonnet, Nick Brettell, Radu Curticapean, Dániel Marx, Miltzow Tillmann, Venkatesh Raman, Saket Saurabh
article
FSTTCS 2019, Dec 2019, Bombay, India
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03015010/file/LIPIcs-FSTTCS-2019-8.pdf BibTex
titre
When Maximum Stable Set Can Be Solved in FPT Time
auteur
Edouard Bonnet, Nicolas Bousquet, Stéphan Thomassé, Rémi Watrigant
article
30th International Symposium on Algorithms and Computation (ISAAC 2019), Dec 2019, Shanghai, China. ⟨10.4230/LIPIcs.ISAAC.2019.49⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02935501/file/LIPIcs-ISAAC-2019-49.pdf BibTex
titre
Multi-Client Functional Encryption for Linear Functions in the Standard Model from LWE
auteur
Benoît Libert, Radu Titiu
article
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.1-54, ⟨10.1007/978-3-030-34618-8_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02352139/file/MCFE.pdf BibTex
titre
Shorter Pairing-based Arguments under Standard Assumptions
auteur
Alonso González, Carla Ràfols
article
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.728-757, ⟨10.1007/978-3-030-34618-8_25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02401556/file/main-circuitdepth.pdf BibTex
titre
Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps
auteur
Michel Abdalla, Fabrice Benhamouda, Alain Passelègue
article
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375594/file/main.pdf BibTex
titre
Calcul haute performance et efficacité énergétique : focus sur OpenFOAM
auteur
Cyrille Bonamy, Laurent Lefèvre, Gabriel Moreau
article
Congrès JRES : Les Journées Réseaux de l'Enseignement et de la Recherche, RENATER, Dec 2019, Dijon, France. pp.1-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02387863/file/paper54_article_rev5068_20191015_145624.pdf BibTex
titre
Remplacer un routeur par un serveur Linux : retour d'expérience des passerelles d'accès à Grid'5000
auteur
Dimitri Delabroye, Simon Delamare, David Loup, Lucas Nussbaum
article
JRES - Journées Réseaux de l'Enseignement et de la Recherche, Dec 2019, Dijon, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02401684/file/jres-gwol.pdf BibTex
titre
Cyclic Proofs and Jumping Automata
auteur
Denis Kuperberg, Laureline Pinault, Damien Pous
article
FSTTCS, Dec 2019, Bombay, India. ⟨10.4230/LIPIcs.FSTTCS.2019.45⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02301651/file/main.pdf BibTex
titre
Towards a Distributed Congestion Control mechanism for Smart Grid Neighborhood Area Networks
auteur
Juan Pablo Astudillo León, Thomas Begin, Anthony Busson, Luis Javier de la Cruz Llopis
article
PE-WASUN 2019 - Sixteenth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2019, Miami, United States. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02309054/file/articlePewasunMain.pdf BibTex
titre
Simulation and Performance Evaluation of the Intel Rate Adaptation Algorithm
auteur
Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article
MSWiM 2019 - 22nd ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2019, Miami Beach, United States. pp.27-34, ⟨10.1145/3345768.3355921⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02282508/file/Mswim_2019%281%29.pdf BibTex
titre
Generic Matrix Multiplication for Multi-GPU Accelerated Distributed-Memory Platforms over PaRSEC
auteur
Thomas Herault, Yves Robert, George Bosilca, Jack Dongarra
article
ScalA 2019 - IEEE/ACM 10th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, Nov 2019, Denver, United States. pp.33-41, ⟨10.1109/ScalA49573.2019.00010⟩
Accès au bibtex
BibTex
titre
Replication Is More Efficient Than You Think
auteur
Anne Benoit, Thomas Hérault, Valentin Le Fèvre, Yves Robert
article
SC 2019 - International Conference for High Performance Computing, Networking, Storage, and Analysis (SC'19), Nov 2019, Denver, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02273142/file/sc-hal.pdf BibTex
titre
Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip
auteur
Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
article
RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02320463/file/rtns2019.pdf BibTex
titre
Schema validation and evolution for graph databases
auteur
Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
article
ER 2019 - 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.448-456, ⟨10.1007/978-3-030-33223-5_37⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02138771/file/main.pdf BibTex
titre
Resource Allocation in One-dimensional Distributed Service Networks
auteur
Nitish Panigrahy, Prithwish Basu, Philippe Nain, Don Towsley, Ananthram Swami, Kevin Chan, Kin Leung
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.14-26, ⟨10.1109/MASCOTS.2019.00013⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267631/file/1d_Mascots2019-v2.pdf BibTex
titre
Is it time to revisit Erasure Coding in Data-intensive clusters?
auteur
Jad Darrous, Shadi Ibrahim, Christian Pérez
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.165-178, ⟨10.1109/MASCOTS.2019.00026⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02263116/file/MASCOTS%20CR.pdf BibTex
titre
Monte-Carlo Tree Search and Reinforcement Learning for Reconfiguring Data Stream Processing on Edge Computing
auteur
Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefevre
article
SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02305472/file/sbac-pad2019.pdf BibTex
titre
Phase-Based Tasks Scheduling in Data Centers Powered Exclusively by Renewable Energy
auteur
Berk Celik, Gustavo Rostirolla, Stéphane Caux, Paul Renaud-Goud, Patricia Stolf
article
2019 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2019, Campo Grande, Brazil. pp.136-143, ⟨10.1109/SBAC-PAD.2019.00032⟩
Accès au bibtex
BibTex
titre
fkcc: the Farkas Calculator
auteur
Christophe Alias
article
TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03106000/file/tapas19.pdf BibTex
titre
A Passive Method to Infer the Weighted Conflict Graph of an IEEE 802.11 Network
auteur
Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous, Marion Foare
article
AdHoc-Now 2019 - 18th International Conference on Ad Hoc Networks and Wireless, Oct 2019, Luxembourg, Luxembourg. pp.304-316, ⟨10.1007/978-3-030-31831-4_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02404943/file/main.pdf BibTex
titre
Bridging Concepts and Practice in eScience via Simulation-driven Engineering
auteur
Rafael Ferreira da Silva, Henri Casanova, Ryan Tanaka, Frédéric Suter
article
BC2DC 2019 - Workshop on Bridging from Concepts to Data and Computation for eScience, Sep 2019, San Diego, CA, United States. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02329541/file/main.pdf BibTex
titre
Scheduling independent stochastic tasks on heterogeneous cloud platforms
auteur
Yiqin Gao, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article
IEEE Cluster 2019 - International Conference on Cluster Computing, Sep 2019, Albuquerque, United States. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02271675/file/cluster2019-hal.pdf BibTex
titre
KAMIStudio: an environment for biocuration of cell signalling knowledge
auteur
Russ Harmer, Eugenia Oshurko
article
17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
Accès au bibtex
BibTex
titre
Metric Dimension Parameterized by Treewidth
auteur
Edouard Bonnet, Nidhi Purohit
article
IPEC 2019, Sep 2019, Munich, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03014920/file/LIPIcs-IPEC-2019-5.pdf BibTex
titre
The MPFI Library: Towards IEEE 1788-2015 Compliance
auteur
Nathalie Revol
article
PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.353-363, ⟨10.1007/978-3-030-43222-5_31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02162346/file/NRevol-PPAM2019.pdf BibTex
titre
A certificate-based approach to formally verified approximations
auteur
Florent Bréhard, Assia Mahboubi, Damien Pous
article
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02088529/file/chebapprox.pdf BibTex
titre
High performance tensor-vector multiplication on shared-memory systems
auteur
Filip Pawlowski, Bora Uçar, Albert-Jan Yzelman
article
PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02332496/file/CP011.pdf BibTex
titre
Is Acyclic Directed Graph Partitioning Effective for Locality-Aware Scheduling?
auteur
Yusuf Özkaya, Anne Benoit, Ümit Çatalyürek
article
PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02273122/file/PPAM-submitted.pdf BibTex
titre
Event structures for mixed choice
auteur
Marc de Visme
article
The 30th International Conference on Concurrency Theory, CONCUR 2019, Aug 2019, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02167420/file/Concur19full.pdf BibTex
titre
The domino problem is undecidable on surface groups
auteur
Nathalie Aubrun, Sebastián Barbieri, Etienne Moutot
article
MFCS2019 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02157971/file/DP_surface_ftw.pdf BibTex
titre
Traitement du signal sur graphe pour modéliser les WLANs
auteur
Marija Stojanova, Thomas Begin, Paulo Gonçalves
article
GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02154891/file/GRETSI2019-Stojanova.pdf BibTex
titre
Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks
auteur
Jérôme Richard, Guillaume Latu, Julien Bigot, Thierry Gautier
article
Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Aug 2019, Göttingen, Germany. pp.419-433, ⟨10.1007/978-3-030-29400-7_30⟩
Accès au bibtex
BibTex
titre
Transport Optimal sous Contrainte de Régularité pour l'Adaptation de Domaines entre Graphes avec Attributs
auteur
Dominique Barbe, Pierre Borgnat, Paulo Gonçalves, Marc Sebban
article
GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02154883/file/GRETSI2019-Barbe.pdf BibTex
titre
On the Expressivity of Linear Recursion Schemes
auteur
Pierre Clairambault, Andrzej Murawski
article
44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.50⟩
Accès au bibtex
BibTex
titre
On the Capacity Region of Bipartite and Tripartite Entanglement Switching and Key Distribution
auteur
Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article
QCRYPT 2019 - 9th International Conference on Quantum Cryptography, Aug 2019, Montreal, Canada. pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02424441/file/VGNT-2019.pdf BibTex
titre
Réduction de dimension tensorielle parcimonieuse: Application au clustering de connectivité fonctionnelle
auteur
Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article
GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02154888/file/Gretsi2019-Frusque.pdf BibTex
titre
Unifying Leakage Models on a Rényi Day
auteur
Thomas Prest, Dahmun Goudarzi, Ange Martinelli, Alain Passelègue
article
Crypto 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, CA, United States. pp.683-712, ⟨10.1007/978-3-030-26948-7_24⟩
Accès au bibtex
BibTex
titre
Two-Party ECDSA from Hash Proof Systems and Efficient Instantiations
auteur
Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker
article
CRYPTO 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, United States. pp.191-221, ⟨10.1007/978-3-030-26954-8_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02281931/file/CRYPTO19_2pECDSA_extended.pdf BibTex
titre
Sparse tensor dimensionality reduction with application to clustering of functional connectivity
auteur
Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article
Wavelets and Sparsity XVIII, Aug 2019, San Diego, United States. pp.22, ⟨10.1117/12.2529595⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02399385/file/SPIE.pdf BibTex
titre
Multi-Objective Reinforcement Learning for Reconfiguring Data Stream Analytics on Edge Computing
auteur
Alexandre da Silva Veith, Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Laurent Lefèvre, Julio C. S. dos Anjos
article
ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3337821.3337894⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02140844/file/icpp_2019.pdf BibTex
titre
Eventually Safe Languages
auteur
Simon Iosti, Denis Kuperberg
article
Developments in Language Theory, Aug 2019, Varsovie, Poland. pp.192-205, ⟨10.1007/978-3-030-24886-4_14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02348828/file/GFGLTL.pdf BibTex
titre
Coinductive algorithms for Büchi automata
auteur
Denis Kuperberg, Laureline Pinault, Damien Pous
article
Developments in Language Theory, Aug 2019, Varsovie, Poland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01928701/file/hkcw.pdf BibTex
titre
On the Importance of Container Image Placement for Service Provisioning in the Edge
auteur
Jad Darrous, Thomas Lambert, Shadi Ibrahim
article
ICCCN 2019 - 28th International Conference on Computer Communication and Networks, Jul 2019, Valencia, Spain. ⟨10.1109/ICCCN.2019.8846920⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02134507/file/ICCCN_2019-CR.pdf BibTex
titre
Interaction reconstruction methods for large-scale RFID social experiments
auteur
Sicheng Dai, Màrton Karsai, Hélène Bouchet, Eric Fleury, Jean-Pierre Chevrot, Aurélie Nardy
article
IC2S2 2019 - 5th International Conference on Computational Social Science, Jul 2019, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02476480/file/IC2S2_paper_392.pdf BibTex
titre
Knowledge representation and update in hierarchies of graphs
auteur
Russ Harmer, Eugenia Oshurko
article
International Conference on Graph Transformation, Jul 2019, Eindhoven, Netherlands
Accès au bibtex
BibTex
titre
A Throughput Model for Data Stream Processing on Fog Computing
auteur
Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Eddy Caron
article
HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02140851/file/hpcs_2019.pdf BibTex
titre
Leveraging energy-efficient non-lossy compression for data-intensive applications
auteur
Issam Raïs, Daniel Balouek-Thomert, Anne-Cécile Orgerie, Laurent Lefèvre, Manish Parashar
article
HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02179621/file/article.pdf BibTex
titre
Godot: All the Benefits of Implicit and Explicit Futures
auteur
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
article
ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02302214/file/LIPIcs-ECOOP-2019-2.pdf BibTex
titre
On Moment Problems with Holonomic Functions
auteur
Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
article
44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02006645/file/HolonomicMomentProblem.pdf BibTex
titre
From normal functors to logarithmic space queries
auteur
Lê Thành Dũng Nguyễn, Pierre Pradic
article
46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02024152/file/ell2lul.pdf BibTex
titre
Approximation algorithms for classical-quantum channel coding
auteur
Omar Fawzi, Johanna Seif, Daniel Szilagyi
article
2019 IEEE International Symposium on Information Theory (ISIT), Jul 2019, Paris, France. pp.2569-2573, ⟨10.1109/ISIT.2019.8849617⟩
Accès au bibtex
BibTex
titre
Variations du (ne) négatif du français dans Twitter. Que peut apporter l’étude des données massives aux questions de sociolinguistique ?
auteur
Jean-Pierre Chevrot, Jacob Levy Abitbol, Màrton Karsai, Jean-Philippe Magué, Eric Fleury
article
CILPR 2019 - XXIXe Congrès international de linguistique et de philologie romanes, Jul 2019, Copenhague, Danemark
Accès au bibtex
BibTex
titre
Efficient and effective sparse tensor reordering
auteur
Jiajia Li, Bora Uçar, Ümit Çatalyürek, Jimeng Sun, Kevin Barker, Richard Vuduc
article
ICS 2019 - ACM International Conference on Supercomputing, Jun 2019, Phoenix, United States. pp.227-237, ⟨10.1145/3330345.3330366⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02306569/file/li-ics.pdf BibTex
titre
The Theory of Traces for Systems with Nondeterminism and Probability
auteur
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
article
Logic in Computer Science (LICS) 2019, Jun 2019, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02187093/file/main.pdf BibTex
titre
Effective heuristics for matchings in hypergraphs
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
SEA2 2019 - International Symposium on Experimental Algorithms - Special Event, Jun 2019, Kalamata, Greece. pp.248-264, ⟨10.1007/978-3-030-34029-2_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02417475/file/sea_submission.pdf BibTex
titre
Verification of concurrent design patterns with data
auteur
Simon Bliudze, Ludovic Henrio, Eric Madelaine
article
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02143782/file/paper_18.pdf BibTex
titre
Accurately Simulating Energy Consumption of I/O-intensive Scientific Workflows
auteur
Rafael Ferreira da Silva, Anne-Cécile Orgerie, Henri Casanova, Ryan Tanaka, Ewa Deelman, Frédéric Suter
article
ICCS 2019 - International Conference on Computational Science, Jun 2019, Faro, Portugal. pp.138-152, ⟨10.1007/978-3-030-22734-0_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02112893/file/ferreiradasilva-iccs-2019.pdf BibTex
titre
Semi-automatic implementation of the complementary error function
auteur
Anastasia Volkova, Jean-Michel Muller
article
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02002315/file/arith26.pdf BibTex
titre
Exchange algorithm for evaluation and approximation error-optimized polynomials
auteur
Denis Arzelier, Florent Bréhard, Mioara Joldes
article
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02006606/file/ExchangeEvalApprox.pdf BibTex
titre
Accurate Complex Multiplication in Floating-Point Arithmetic
auteur
Vincent Lefèvre, Jean-Michel Muller
article
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02001080/file/MultConstComplex.pdf BibTex
titre
Causal Unfoldings
auteur
Marc de Visme, Glynn Winskel
article
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), Jun 2019, London, United Kingdom. ⟨10.4230/LIPIcs.CONCUR.2019.11⟩
Accès au bibtex
BibTex
titre
Computational Limitations of Affine Automata
auteur
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryılmaz
article
UCNC2019, Jun 2019, Tokyo, Japan. pp.108-121, ⟨10.1007/978-3-030-19311-9_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02157985/file/HiMoYaII.pdf BibTex
titre
Modélisation des réseaux IEEE 802.11 : Diviser pour régner
auteur
Marija Stojanova, Thomas Begin, Anthony Busson
article
CoRes 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02121254/file/stojanova_begin_busson.pdf BibTex
titre
Inférence des poids d'un graphe des conflits modélisant un réseau Wi-Fi
auteur
Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous
article
CoRes 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint-Laurent-de-la-Cabrerisse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02122772/file/Cores2019Lafdal-1.pdf BibTex
titre
Study of the Intel WiFi Rate Adaptation Algorithm
auteur
Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article
CoRes 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint-Laurent-de-la-Cabrerisse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02126333/file/Study_of_the_Intel_WiFi_Rate_Adaptation_Algorithm.pdf BibTex
titre
Coinduction: Automata, Formal Proof, Companions (Invited Paper)
auteur
Damien Pous
article
CALCO, Jun 2019, London, United Kingdom
Accès au bibtex
BibTex
titre
Reservation Strategies for Stochastic Jobs
auteur
Guillaume Aupy, Ana Gainaru, Valentin Honoré, Padma Raghavan, Yves Robert, Hongyang Sun
article
IPDPS 2019 - 33rd IEEE International Parallel and Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.166-175, ⟨10.1109/IPDPS.2019.00027⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01968419/file/main.pdf BibTex
titre
A scalable clustering-based task scheduler for homogeneous processors using DAG partitioning
auteur
Yusuf Özkaya, Anne Benoit, Bora Uçar, Julien Herrmann, Ümit Çatalyürek
article
IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.155-165, ⟨10.1109/IPDPS.2019.00026⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082794/file/ipdps.pdf BibTex
titre
Approx-SVP in Ideal Lattices with Pre-processing
auteur
Alice Pellet-Mary, Guillaume Hanrot, Damien Stehlé
article
Eurocrypt 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2019, Darmstadt, Germany. pp.685-716, ⟨10.1007/978-3-030-17656-3_24⟩
Accès au bibtex
BibTex
titre
Distributed Operator Placement for IoT Data Analytics Across Edge and Cloud Resources
auteur
Eduard Gibert Renart, Alexandre da Silva Veith, Daniel Balouek-Thomert, Marcos Dias de Assuncao, Laurent Lefèvre, Manish Parashar
article
CCGrid 2019 - 19th Annual IEEE/ACM International Symposium in Cluster, Cloud, and Grid Computing, May 2019, Larnaca, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00060⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02103942/file/ccgrid_2019.pdf BibTex
titre
SeeDep: Deploying Reproducible Application Topologies on Cloud Platform
auteur
Cyril Séguin, Eddy Caron, Samuel Dubus
article
CLOSER 2019 - 9th International Conference on Cloud Computing and Services Science, May 2019, Heraklion, Greece. pp.363-370, ⟨10.5220/0007721103630370⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02119654/file/CLOSER_2019_41_CR.pdf BibTex
titre
Zero-Knowledge Elementary Databases with More Expressive Queries
auteur
Benoît Libert, Khoa Nguyen, Benjamin Tan, Huaxiong Wang
article
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02151645/file/zk-eedb.pdf BibTex
titre
Shorter Ring Signatures from Standard Assumptions
auteur
Alonso González
article
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.99-126, ⟨10.1007/978-3-030-17253-4_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02399172/file/main-ring-signature.pdf BibTex
titre
Shorter Quadratic QA-NIZK Proofs
auteur
Vanesa Daza, Alonso González, Zaira Pindado, Carla Ràfols, Javier Silva
article
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.314-343, ⟨10.1007/978-3-030-17253-4_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02399179/file/mainZKbits.pdf BibTex
titre
Lossy Algebraic Filters With Short Tags
auteur
Benoît Libert, Chen Qian
article
PKC 2019 - 22nd International Conference on Practice and Theory of Public Key Cryptography, Apr 2019, Beijing, China. pp.34--65, ⟨10.1007/978-3-030-17253-4_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02124968/file/LAF-PKC.pdf BibTex
titre
Resource-Tracking Concurrent Games
auteur
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
article
Foundations of Software Science and Computation Structures, Apr 2019, Prague, Czech Republic. pp.27-44, ⟨10.1007/978-3-030-17127-8_2⟩
Accès au bibtex
BibTex
titre
Towards a Structural Proof Theory of Probabilistic mu-Calculi
auteur
Christophe Lucas, Matteo Mio
article
FoSSaCS, Apr 2019, Prague, Czech Republic. pp.418-435
Accès au bibtex
BibTex
titre
On Reachability in Parameterized Phaser Programs
auteur
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
article
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.299-315, ⟨10.1007/978-3-030-17462-0_17⟩
Accès au bibtex
https://arxiv.org/pdf/1811.07142 BibTex
titre
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
auteur
Pierre Pradic, Colin Riba
article
FOSSACS'19, Apr 2019, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01925701/file/churchdial.pdf BibTex
titre
BGP Zombies: an Analysis of Beacons Stuck Routes
auteur
Romain Fontugne, Esteban Bautista, Colin Petrie, Yutaro Nomura, Patrice Abry, Paulo Gonçalves, Kensuke Fukuda, Emile Aben
article
PAM 2019 - 20th Passive and Active Measurements Conference, Mar 2019, Puerto Varas, Chile. pp.197-209, ⟨10.1007/978-3-030-15986-3_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01970596/file/zombie_cr_pam2019.pdf BibTex
titre
Posits: the good, the bad and the ugly
auteur
Florent de Dinechin, Luc Forget, Jean-Michel Muller, Yohann Uguen
article
CoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01959581/file/a6-de_Dinechin.pdf BibTex
titre
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
auteur
Amir Charif, Gabriel Busnot, Rania Mameesh, Tanguy Sassolas, Nicolas Ventroux
article
RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2019, Valence, Spain. pp.1-8, ⟨10.1145/3300189.3300192⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02023805/file/rapido_2019_CEA_COPYRIGHT_DOI.pdf BibTex
titre
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
auteur
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
article
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf BibTex
titre
Kleene Algebra with Hypotheses
auteur
Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
article
22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2019, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02021315/file/KaH.pdf BibTex
titre
Statistical Zeroizing Attack: Cryptanalysis of Candidates of BP Obfuscation over GGH15 Multilinear Map
auteur
Jung Hee Cheon, Wonhee Cho, Minki Hhan, Jiseung Kim, Changmin Lee
article
CRYPTO, 2019, Santa Barbara, United States. pp.253-283, ⟨10.1007/978-3-030-26954-8_9⟩
Accès au bibtex
BibTex
titre
An LLL Algorithm for Module Lattices
auteur
Changmin Lee, Alice Pellet-Mary, Damien Stehlé, Alexandre Wallet
article
ASIACRYPT, 2019, Kobe, Japan. pp.59-90, ⟨10.1007/978-3-030-34621-8_3⟩
Accès au bibtex
BibTex
titre
Towards Practical GGM-Based PRF from (Module-)Learning-with-Rounding
auteur
Chitchanok Chuengsatiansup, Damien Stehlé
article
Selected Areas in Cryptography, 2019, Waterloo, Canada. pp.693-713, ⟨10.1007/978-3-030-38471-5_28⟩
Accès au bibtex
BibTex
titre
The General Sieve Kernel and New Records in Lattice Reduction
auteur
Martin Albrecht, Leo Ducas, Gottfried Herold, Elena Kirshanova, Eamonn Postlethwaite, Marc Stevens
article
EUROCRYPT, 2019, Darmstadt, Germany. pp.717-746, ⟨10.1007/978-3-030-17656-3_25⟩
Accès au bibtex
BibTex

Book sections

titre
The Fish Tank Complex of Social Modelling on Space and Time in Understanding Collective Dynamics
auteur
Tommaso Venturini
article
Michiru Nagatsu; Attilia Ruzzene. Frontiers of Social Science: A Philosophical Reflection, Bloomsbury, 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672283/file/Venturini%20-%202018%20-%20The%20Fish%20Tank%20Complex%20of%20Social%20Modelling.pdf BibTex
titre
Energy aware ultrascale systems
auteur
Ariel Oleksiak, Laurent Lefèvre, Pedro Alonso, Georges da Costa, Vincenzo de Maio, Neki Frasheri, Victor Garcia, Joel Guerrero, Sébastien Lafond, Alexey Lastovetsky, Ravi Reddy Manumachu, Benson Muite, Anne-Cécile Orgerie, Wojciech Piatek, Jean-Marc Pierson, Radu Prodan, Patricia Stolf, Enida Sheme, Sébastien Varrette
article
Ultrascale Computing Systems, Institution of Engineering and Technology, pp.127-188, 2019, ⟨10.1049/PBPC024E_ch⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02163289/file/chap5.pdf BibTex
titre
Actor-Network VS Network Analysis VS Digital Networks
auteur
Tommaso Venturini, Anders Munk, Mathieu Jacomy
article
Janet Vertesi; David Ribes. DigitalSTS: A Handbook and Fieldguide, Princeton university press, pp.510-523, 2019, 978-0-691-18707-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672289/file/Venturini%2C%20Munk%2C%20Jacomy%20-%202016%20-%20Actor-Network%20VS%20Network%20Analysis%20VS%20Digital%20Networks%20Are%20We%20Talking%20About%20the%20Same%20Networks.pdf BibTex
titre
L’histoire et l’écriture numérique : approche technique, politique, épistémologique
auteur
Éric Guichard
article
Lamassé, Stéphane; Bonnot, Gaëtan. Dans les dédales du web : historiens en territoires numériques, Éditions de la Sorbonne, pp.193-212, 2019, Homme et société, 979-10-351-0300-2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01673099/file/Guichard-Pireh-2017-final.pdf BibTex

Directions of work or proceedings

titre
Relational and algebraic methods in computer science
auteur
Peter Höfner, Damien Pous, Georg Struth
article
Journal of Logical and Algebraic Methods in Programming, 106, pp.198-199, 2019, ⟨10.1016/j.jlamp.2019.05.005⟩
Accès au bibtex
BibTex
titre
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
auteur
Filippo Bonchi, Barbara König
article
Filippo Bonchi; Barbara Konig. 2019
Accès au bibtex
BibTex
titre
Special Issue Proposal for the Parallel Computing Journal: HeteroPar 2016 and HCW 2016 Workshops
auteur
Loris Marchal, Érik Saule, Oliver Sinnen
article
Elsevier, 2019
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Partitioning, matching, and ordering: Combinatorial scientific computing with matrices and tensors
auteur
Bora Uçar
article
Computer Science [cs]. ENS de Lyon, 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02377874/file/bu_hdr_hal.pdf BibTex
titre
Contributions to Program Optimization and High-Level Synthesis
auteur
Christophe Alias
article
Hardware Architecture [cs.AR]. ENS de Lyon, 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02151877/file/hdr-alias.pdf BibTex
titre
Computational Human Dynamics: People, Networks, and Collective Phenomena
auteur
Màrton Karsai
article
Social and Information Networks [cs.SI]. Ecole normale supérieure de Lyon; Laboratoire de l'Informatique du Parallélisme, 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02151333/file/HDR_Karsai.pdf BibTex

Other publications

titre
Trends in Combinatorial Analysis: Complex Data, Machine Learning, and High-Performance Computing
auteur
Ariful Azad, Bora Uçar, Alex Pothen
article
2019, pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02304457/file/sinews-azad.pdf BibTex

Poster communications

titre
On Channel Restructuring for Complete FIFO Recovery
auteur
Christophe Alias
article
ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02433318/file/poster-alias.pdf BibTex
titre
Enabling Data Processing under Erasure Coding in the Fog
auteur
Jad Darrous, Shadi Ibrahim
article
ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02388835/file/Flyer.pdf BibTex

Reports

titre
A Compiler Algorithm to Guide Runtime Scheduling
auteur
Christophe Alias, Samuel Thibault, Laure Gonnord
article
[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02421327/file/RR-9315.pdf BibTex
titre
Pipeline-aware Scheduling of Polyhedral Process Networks
auteur
Christophe Alias, Julien Rudeau
article
[Research Report] RR-9314, INRIA Grenoble - Rhone-Alpes. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02414340/file/RR-9314.pdf BibTex
titre
fkcc: the Farkas Calculator
auteur
Christophe Alias
article
[Research Report] RR-9313, Inria. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02414224/file/RR-9313.pdf BibTex
titre
Sciences, Environnements et Sociétés
auteur
Françoise Berthoud, Pascal Guitton, Laurent Lefèvre, Sophie Quinton, Antoine Rousseau, Jacques Sainte-Marie, Céline Serrano, Jean-Bernard Stefani, Peter Sturm, Eric Tannier
article
[Autre] Inria. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02340948/file/MakeSEnS_long.pdf BibTex
titre
Reservation and Checkpointing Strategies for Stochastic Jobs (Extended Version)
auteur
Ana Gainaru, Brice Goglin, Valentin Honoré, Guillaume Pallez, Padma Raghavan, Yves Robert, Hongyang Sun
article
[Research Report] RR-9294, Inria & Labri, Univ. Bordeaux; Department of EECS, Vanderbilt University, Nashville, TN, USA; Laboratoire LIP, ENS Lyon & University of Tennessee Knoxville, Lyon, France. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02328013/file/research_report_hal_v2.pdf BibTex
titre
Design and Comparison of Resilient Scheduling Heuristics for Parallel Jobs
auteur
Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun
article
[Research Report] RR-9296, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02317464/file/rr9296.pdf BibTex
titre
Generic matrix multiplication for multi-GPU accelerated distributed-memory platforms over PaRSEC
auteur
Thomas Herault, Yves Robert, George Bosilca, Jack Dongarra
article
[Research Report] RR-9289, INRIA Grenoble - Rhone-Alpes. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02282529/file/rr9289.pdf BibTex
titre
High performance tensor-vector multiplies on shared memory systems
auteur
Filip Pawłowski, Bora Uçar, Albert-Jan Yzelman
article
[Research Report] RR-9274, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02123526/file/RR-9274.pdf BibTex
titre
Scheduling independent stochastic tasks on heterogeneous cloud platforms
auteur
Yiqin Gao, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9275, Inria - Research Centre Grenoble – Rhône-Alpes. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02141253/file/rr9275.pdf BibTex
titre
Global Probability of Collision: Problem modeling via occupation measures
auteur
Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Léo Martire, Aude Rondepierre
article
DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019
Accès au bibtex
BibTex
titre
Partitioning tree-shaped task graphs for distributed platforms with limited memory
auteur
Anne Benoit, Changjiang Gou, Loris Marchal
article
[Research Report] RR-9115, Inria Grenoble Rhône-Alpes. 2019, pp.1-34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644352/file/RR-9115-V4.pdf BibTex
titre
Overlaying a hypergraph with a graph with bounded maximum degree
auteur
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article
[Research Report] RR-9258, Inria Sophia Antipolis. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02025469/file/v2-RR-9258.pdf BibTex
titre
Scheduling independent stochastic tasks under deadline and budget constraints. Extended Version
auteur
Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9257, Inria Grenoble Rhône-Alpes. 2019, pp.1-38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02025785/file/rr9257.pdf BibTex
titre
Improved energy-aware strategies for periodic real-time tasks under reliability constraints
auteur
Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9259, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02056520/file/rr9259.pdf BibTex
titre
Scheduling stochastic tasks on heterogeneous cloud platforms under budget and deadline constraints
auteur
Yiqin Gao, Louis-Claude Canon, Frédéric Vivien, Yves Robert
article
[Research Report] RR-9260, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02047434/file/rr9260.pdf BibTex
titre
L'impact spatial et énergétique des data centers sur les territoires
auteur
Cécile Diguet, Fanny Lopez, Laurent Lefèvre
article
[Rapport de recherche] ADEME, Direction Villes et territoires durables. 2019, pp.1-141
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02133607/file/RAPPORT%20ENERNUM%20FINAL-%2020%20fe%CC%81vrier%202019.pdf BibTex
titre
Replication Is More Efficient Than You Think
auteur
Anne Benoit, Thomas Herault, Valentin Le Fèvre, Yves Robert
article
[Research Report] RR-9278, Inria - Research Centre Grenoble – Rhône-Alpes. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02265925/file/rr9278.pdf BibTex

Software

titre
A sound and complete axiomatization of the equational theory of Mealy machines.
auteur
Pierre Pradic
article
2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786;visit=swh:1:snp:88a3a6cafdfd6d842ba0c086187015a1605f0cf0;anchor=swh:1:rev:dacff8b9c3574cd3fcb023c485209c72abd8efef;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02155786/file/mealy-0.1.tar.gz BibTex
titre
LinBox
auteur
The Linbox Group
article
2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02130801/file/linbox-1.6.3.tar.gz BibTex
titre
Givaro
auteur
The Givaro Group
article
2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02130729/file/givaro-4.1.1.tar.gz BibTex
titre
SPADE Toolbox
auteur
Clément Gaultier, Srđan Kitić, Ewen Camberlein, Rémi Gribonval, Nancy Bertin
article
2019, ⟨swh:1:dir:670f1ff15abcb3d510841e83acfc1ef9318a5326;origin=https://hal.archives-ouvertes.fr/hal-03024116;visit=swh:1:snp:e8da0f3d1e1bd541affa397491da967147b690d0;anchor=swh:1:rev:1747d2d1bf483a8938562b068438a55a12ae01fc;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03024116/file/SPADE_Toolbox%20BSD-3-Clause.zip BibTex

Theses

titre
Scalable and Efficient Data Management in Distributed Clouds : Service Provisioning and Data Processing
auteur
Jad Darrous
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN077⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02508592/file/DARROUS_Jad_2019LYSEN077_These.pdf BibTex
titre
Performance Modeling of IEEE 802.11 WLANs
auteur
Marija Stojanova
article
Networking and Internet Architecture [cs.NI]. Lyon1, 2019. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02456055/file/manuscript.pdf BibTex
titre
Intensive use of computing resources for dominations in grids and other combinatorial problems
auteur
Alexandre Talon
article
Discrete Mathematics [cs.DM]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN079⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02495924/file/TALON_Alexandre_2019LYSEN079_These.pdf BibTex
titre
Laplacian Powers for Graph-Based Semi-Supervised Learning
auteur
Esteban Bautista Ruiz
article
Artificial Intelligence [cs.AI]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN081⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02476246/file/BAUTISTA_RUIZ_Esteban_2019LYSEN081_These.pdf BibTex
titre
Enriched concurrent games : witnesses for proofs and resource analysis
auteur
Aurore Alcolei
article
Logic in Computer Science [cs.LO]. Université de Lyon; University of Cambridge, 2019. English. ⟨NNT : 2019LYSEN054⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02448974/file/ALCOLEI_Aurore_2019LYSEN054_These.pdf BibTex
titre
On ideal lattices and the GGH13 multilinear map
auteur
Alice Pellet--Mary
article
Cryptography and Security [cs.CR]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN048⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02337930/file/PELLET_MARY_Alice_2019LYSEN048_These.pdf BibTex
titre
Lossy trapdoor primitives, zero-knowledge proofs and applications
auteur
Chen Qian
article
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S088⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02888512/file/QIAN_Chen.pdf BibTex
titre
Quality of Service Aware Mechanisms for (Re)Configuring Data Stream Processing Applications on Highly Distributed Infrastructure
auteur
Alexandre da Silva Veith
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN050⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02385744/file/DA_SILVA_VEITH_Alexandre_2019LYSEN050_These.pdf BibTex
titre
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
auteur
Florent Bréhard
article
Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02337901/file/BREHARD_Florent_2019LYSEN032_These.pdf BibTex

Preprints, Working Papers, ...

titre
Efficient limited time reachability estimation in temporal networks
auteur
Arash Badie Modiri, Márton Karsai, Mikko Kivelä
article
2019
Accès au bibtex
https://arxiv.org/pdf/1908.11831 BibTex
titre
weg2vec: Event embedding for temporal networks
auteur
Maddalena Torricelli, Márton Karsai, Laetitia Gauvin
article
2019
Accès au bibtex
https://arxiv.org/pdf/1911.02425 BibTex
titre
KL-UCB-switch: optimal regret bounds for stochastic bandits from both a distribution-dependent and a distribution-free viewpoints
auteur
Aurélien Garivier, Hédi Hadiji, Pierre Ménard, Gilles Stoltz
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785705/file/KL-UCB-GHMS.pdf BibTex
titre
Types for Parallel Complexity in the Pi-calculus
auteur
Patrick Baillot, Alexis Ghyselen
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02302544/file/main.pdf BibTex
titre
Les humanités numériques n'existent pas
auteur
Éric Guichard
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02403315/file/Guichard-Les-humanites-numeriques-n-existent-pas.pdf BibTex
titre
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 1 : Layered wheels
auteur
Ni Luh Dewi Sintiari, Nicolas Trotignon
article
2019
Accès au bibtex
https://arxiv.org/pdf/1906.10998 BibTex
titre
Sparse tensor dimensionality reduction with application to clustering of functional connectivity
auteur
Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02154903/file/IEEE-T-SIPN-submitted.pdf BibTex
titre
Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
auteur
Christian Doczkal, Damien Pous
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02127698/file/graphs-coq.pdf BibTex
titre
Short proof of Menger's Theorem in Coq (Proof Pearl)
auteur
Christian Doczkal
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02086931/file/menger%20%281%29.pdf BibTex
titre
A New Lower Bound on the Hilbert Number for Quartic Systems
auteur
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
article
2019
Accès au bibtex
BibTex
titre
Reentrant phase transitions in threshold driven contagion on multiplex networks
auteur
Samuel Unicomb, Gerardo Iñiguez, János Kertész, Màrton Karsai
article
2019
Accès au bibtex
https://arxiv.org/pdf/1901.08306 BibTex
titre
Parler du virtuel aux temps du numérique
auteur
Éric Guichard
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02403360/file/Article-Guichard-virtuel-ULF-2019.pdf BibTex
titre
Semidefinite programming hierarchies for quantum error correction
auteur
Mario Berta, Francesco Borderi, Omar Fawzi, Volkher Scholz
article
2019
Accès au bibtex
https://arxiv.org/pdf/1810.12197 BibTex
titre
Disproving the normal graph conjecture
auteur
Ararat Harutyunyan, Lucas Pastor, Stéphan Thomassé
article
2019
Accès au bibtex
https://arxiv.org/pdf/1508.05487 BibTex