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

2018

Journal articles

titre
Triangle‐free graphs that do not contain an induced subdivision of K 4 are 3‐colorable
auteur
Maria Chudnovsky, Chun‐hung Liu, Oliver Schaudt, Sophie Spirkl, Nicolas Trotignon, Kristina Vušković
article
Journal of Graph Theory, 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01993783/file/1704.08104%282%29.pdf BibTex
titre
Practical device-independent quantum cryptography via entropy accumulation
auteur
Rotem Arnon-Friedman, Frederic Dupuis, Omar Fawzi, Renato Renner, Thomas Vidick
article
Nature Communications, 2018, 9 (1), ⟨10.1038/s41467-017-02307-4⟩
Accès au bibtex
BibTex
titre
The link stream of contacts in a whole hospital
auteur
Lucie Martinet, Christophe Crespelle, Eric Fleury, Pierre-Yves Boëlle, Didier Guillemot
article
Social Network Analysis and Mining, 2018, 8 (59), pp.1-33. ⟨10.1007/s13278-018-0535-9⟩
Accès au bibtex
https://arxiv.org/pdf/1805.05752 BibTex
titre
Coping with silent and fail-stop errors at scale by combining replication and checkpointing
auteur
Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article
Journal of Parallel and Distributed Computing, 2018, 122, pp.209-225. ⟨10.1016/j.jpdc.2018.08.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02082389/file/jpdc_revision.pdf BibTex
titre
An accurate and efficient modeling framework for the performance evaluation of DPDK-based virtual switches
auteur
Thomas Begin, Bruno Baynat, Guillaume Artero Gallardo, Vincent Jardin
article
IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1407-1421. ⟨10.1109/TNSM.2018.2874476⟩
Accès au bibtex
BibTex
titre
Mapping temporal-network percolation to weighted, static event graphs
auteur
Mikko Kivelä, Jordan Cambe, Jari Saramäki, Màrton Karsai
article
Scientific Reports, 2018, 8 (1), ⟨10.1038/s41598-018-29577-2⟩
Accès au bibtex
BibTex
titre
Link transmission centrality in large-scale social networks
auteur
Qian Zhang, Màrton Karsai, Alessandro Vespignani
article
EPJ Data Science, 2018, 7 (1), ⟨10.1140/epjds/s13688-018-0162-8⟩
Accès au bibtex
https://arxiv.org/pdf/1802.05337 BibTex
titre
Metric Anticipation to manage Mobility in Mobile Mesh and ad-hoc Wireless Networks
auteur
Sabrina Naimi, Anthony Busson, Véronique Vèque, Ridha Bouallegue
article
Annals of Telecommunications - annales des télécommunications, 2018, 73 (11-12), pp.787-802. ⟨10.1007/s12243-018-0666-z⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01940198/file/annalTelco.pdf BibTex
titre
Efficient Solution of Parameter Dependent Quasiseparable Systems and Computation of Meromorphic Matrix Functions
auteur
Paola Boito, Yuli Eidelman, Luca Gemignani
article
Numerical Linear Algebra with Applications, 2018, 25 (6), pp.e2141
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01407857/file/bep_r5.pdf BibTex
titre
Dependent Types for Extensive Games
auteur
Pierre Lescanne
article
J. Formalized Reasoning, 2018
Accès au bibtex
BibTex
titre
Avoiding Two Consecutive Blocks of Same Size and Same Sum over $\mathbb{Z}^2$
auteur
Michael Rao, Matthieu Rosenfeld
article
SIAM Journal on Discrete Mathematics, 2018, 32 (4), pp.2381-2397
Accès au bibtex
BibTex
titre
Well-quasi-ordering $H$-contraction-free graphs
auteur
Marcin Jakub Kamiński, Jean-Florent Raymond, Théophile Trunck
article
Discrete Applied Mathematics, 2018, 248, pp.18-27. ⟨10.1016/j.dam.2017.02.018⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01486775/file/ctr-wqo.pdf BibTex
titre
Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier
auteur
Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth Paterson
article
Journal of Cryptology, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩
Accès au bibtex
BibTex
titre
Multi-level checkpointing and silent error detection for linear workflows
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
Journal of computational science, 2018, 28, pp.398-415. ⟨10.1016/j.jocs.2017.03.024⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02082408/file/jocs-revised.pdf BibTex
titre
Complexity dichotomies for the Minimum F -Overlay problem
auteur
Nathann Cohen, Frédéric Havet, Dorian Mazauric, Ignasi Sau, Rémi Watrigant
article
Journal of Discrete Algorithms, 2018, 52-53, pp.133-142. ⟨10.1016/j.jda.2018.11.010⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01947563/file/jda-revised.pdf BibTex
titre
Domination and fractional domination in digraphs
auteur
Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
article
The Electronic Journal of Combinatorics, 2018, 25 (3), pp.P3.32
Accès au bibtex
https://arxiv.org/pdf/1708.00423 BibTex
titre
Multigraphs without large bonds are wqo by contraction
auteur
Marcin Jakub Kamiński, Jean-Florent Raymond, Théophile Trunck
article
Journal of Graph Theory, 2018, 88 (4), pp.558-565. ⟨10.1002/jgt.22229⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01140407/file/mg-contr.pdf BibTex
titre
Paths-based criteria and application to linear logic subsystems characterizing polynomial time
auteur
Matthieu Perrinel
article
Information and Computation, 2018, 261, pp.23-54. ⟨10.1016/j.ic.2018.05.004⟩
Accès au bibtex
BibTex
titre
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
auteur
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes
article
ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01526272/file/chebvalid_final.pdf BibTex
titre
Homonym Population Protocols
auteur
Olivier Bournez, Johanne Cohen, Mikael Rabie
article
Theory of Computing Systems, 2018, 62 (5), pp.1318-1346. ⟨10.1007/s00224-017-9833-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01688764/file/1602.03540.pdf BibTex
titre
Computing the expected makespan of task graphs in the presence of silent errors
auteur
Henri Casanova, Julien Herrmann, Yves Robert
article
Parallel Computing, 2018, 75, pp.41-60. ⟨10.1016/j.parco.2018.03.004⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01968433/file/parco_2016.pdf BibTex
titre
Building and auto-tuning computing Kernels: experimenting with BOAST and StarPU in the GYSELA code
auteur
Julien Bigot, Virginie Grandgirard, Guillaume Latu, Jean-François Méhaut, Luís Felipe Millani, Chantal Passeron, Steven Quinito Masnada, Jérôme Richard, Brice Videau
article
ESAIM: Proceedings, 2018, CEMRACS 2016 - Numerical challenges in parallel scientific computing, 63 (2018), pp.152 - 178. ⟨10.1051/proc/201863152⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01909325/file/CEMRACS.pdf BibTex
titre
Quantitative Aspects of Linear and Affine Closed Lambda Terms
auteur
Pierre Lescanne
article
ACM Transactions on Computational Logic, 2018, 19 (2), pp.1 - 18. ⟨10.1145/3173547⟩
Accès au bibtex
https://arxiv.org/pdf/1702.03085 BibTex
titre
Impact of Resource Blocks Allocation Strategies on Downlink Interference and SIR Distributions in LTE Networks: A Stochastic Geometry Approach
auteur
Anthony Busson, Iyad Lahsen-Cherif
article
Wireless Communications and Mobile Computing, 2018, 2018, pp.1 - 15. ⟨10.1155/2018/9163783⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01906324/file/main.pdf BibTex
titre
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus.
auteur
Patrick Baillot, Erika de Benedetti, Simona Ronchi Della Rocca
article
Information and Computation, 2018, 248, pp.55-77
Accès au bibtex
BibTex
titre
Bispindles in strongly connected digraphs with large chromatic number
auteur
Nathann Cohen, Frédéric Havet, William Lochet, Raul Lopes
article
The Electronic Journal of Combinatorics, 2018, ⟨10.37236/6922⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01810706/file/6922-24594-2-PB.pdf BibTex
titre
The Alternating Stock Size Problem and the Gasoline Puzzle
auteur
Alantha Newman, Heiko Röglin, Johanna Seif
article
ACM Transactions on Algorithms, 2018, 14 (2), pp.1-23. ⟨10.1145/3178539⟩
Accès au bibtex
https://arxiv.org/pdf/1511.09259 BibTex
titre
Malleable task-graph scheduling with a practical speed-up model
auteur
Loris Marchal, Bertrand Simon, Oliver Sinnen, Frédéric Vivien
article
IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (6), pp.1357-1370. ⟨10.1109/TPDS.2018.2793886⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01687189/file/TPDS-cameraready-noinclude.pdf BibTex
titre
Bare-Metal Reservation for Cloud: an Analysis of the Trade Off between Reactivity and Energy Efficiency
auteur
Marcos Dias de Assuncao, Laurent Lefèvre
article
Cluster Computing, 2018, 21, pp.1289-130. ⟨10.1007/s10586-017-1094-y⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01571288/file/cluster_paper.pdf BibTex
titre
χ-bounds, operations, and chords
auteur
Nicolas Trotignon, Lan Anh Pham
article
Journal of Graph Theory, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
Accès au bibtex
BibTex
titre
Regular Language Representations in the Constructive Type Theory of Coq
auteur
Christian Doczkal, Gert Smolka
article
Journal of Automated Reasoning, 2018, Special Issue: Milestones in Interactive Theorem Proving, 61 (1-4), pp.521-553. ⟨10.1007/s10817-018-9460-x⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01832031/file/RLR-Coq.pdf BibTex
titre
Association optimization based on access fairness for Wi-Fi networks
auteur
Mohammed Amer, Isabelle Guérin-Lassous, Anthony Busson
article
Computer Networks, 2018, 137, pp.173 - 188. ⟨10.1016/j.comnet.2018.03.004⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01906319/file/Computer_Networks.pdf BibTex
titre
Planar triangulations, bridgeless planar maps and Tamari intervals
auteur
Wenjie Fang
article
European Journal of Combinatorics, 2018, 70, pp.75-91. ⟨10.1016/j.ejc.2017.12.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02338114/file/1611.07922.pdf BibTex
titre
Domination in tournaments
auteur
Maria Chudnovsky, Ringi Kim, Chun-Hung Liu, Paul Seymour, Stéphan Thomassé
article
Journal of Combinatorial Theory, Series B, 2018, 130, pp.98-113
Accès au bibtex
BibTex
titre
Subdivisions of oriented cycles in digraphs with large chromatic number
auteur
Nathann Cohen, Frédéric Havet, William Lochet, Nicolas Nisse
article
Journal of Graph Theory, 2018, 89 (4), pp.439-456. ⟨10.1002/jgt.22360⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01834779/file/bounded-chi-cycle.pdf BibTex
titre
Efficient optimization of the quantum relative entropy
auteur
Hamza Fawzi, Omar Fawzi
article
Journal of Physics A: Mathematical and Theoretical, 2018, 51 (15), pp.154003
Accès au bibtex
BibTex
titre
List coloring digraphs
auteur
Julien Bensmail, Ararat Harutyunyan, Ngoc Khang Le
article
Journal of Graph Theory, 2018, 87 (4), pp.492-508. ⟨10.1002/jgt.22170⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01711077/file/list-acyclic.pdf BibTex
titre
A trinity of duality: Non-separable planar maps, β(1,0)-trees and synchronized intervals
auteur
Wenjie Fang
article
Advances in Applied Mathematics, 2018, 95, pp.1-30. ⟨10.1016/j.aam.2017.10.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02338117/file/1703.02774.pdf BibTex
titre
A study of systems with multiple operating levels, probabilistic thresholds and hysteresis
auteur
Alexandre Brandwajn, Thomas Begin, Hind Castel-Taleb, Tulin Atmaca
article
IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (4), pp.748-757. ⟨10.1109/TPDS.2017.2773496⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01670974/file/Multiple%20Service%20Levels_v5.pdf BibTex
titre
Improved Security Proofs in Lattice-Based Cryptography: Using the Rényi Divergence Rather than the Statistical Distance
auteur
Shi Bai, Tancrède Lepoint, Adeline Roux-Langlois, Amin Sakzad, Damien Stehlé, Ron Steinfeld
article
Journal of Cryptology, 2018, 31 (2), pp.610 - 640. ⟨10.1007/s00145-017-9265-9⟩
Accès au bibtex
BibTex
titre
Energy Monitoring as an Essential Building Block Towards Sustainable Ultrascale Systems
auteur
Francisco Almeida, Marcos Dias de Assuncao, Jorge Barbosa, Vicente Blanco, Ivona Brandic, Georges da Costa, Manuel F Dolz, Anne C Elster, Mateusz Jarus, Helen Karatza, Laurent Lefèvre, Ilias Mavridis, Ariel Oleksiak, Anne-Cécile Orgerie, Jean-Marc Pierson
article
Sustainable Computing : Informatics and Systems, 2018, 17, pp.27-42. ⟨10.1016/j.suscom.2017.10.013⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01627757/file/suscom_nesus.pdf BibTex
titre
Analysis of classifiers’ robustness to adversarial perturbations
auteur
Alhussein Fawzi, Omar Fawzi, Pascal Frossard
article
Machine Learning, 2018, 107 (3), pp.481-508
Accès au bibtex
BibTex
titre
Time and space efficient generators for quasiseparable matrices
auteur
Clément Pernet, Arne Storjohann
article
Journal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01424252/file/qsprod.pdf BibTex
titre
Encoding partial orders through modular decomposition
auteur
Laurent Beaudou, Kaoutar Ghazi, Giacomo Kahn, Olivier Raynaud, Eric Thierry
article
Journal of computational science, 2018, 25, pp.446-455
Accès au bibtex
BibTex
titre
Threshold driven contagion on weighted networks
auteur
Samuel Unicomb, Gerardo Iñiguez, Márton Karsai
article
Scientific Reports, 2018, 8 (1), pp.1-10. ⟨10.1038/s41598-018-21261-9⟩
Accès au bibtex
BibTex
titre
Checkpointing Workflows for Fail-Stop Errors
auteur
Li Han, Louis-Claude Canon, Henri Casanova, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computers, 2018, 67 (8), pp.16. ⟨10.1109/TC.2018.2801300⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01701611/file/tc2017-second-revised.pdf BibTex
titre
Stable Sets in {ISK4,wheel}-Free Graphs
auteur
Martin Milanič, Irena Penev, Nicolas Trotignon
article
Algorithmica, 2018, 80 (2), pp.415 - 447. ⟨10.1007/s00453-016-0255-3⟩
Accès au bibtex
https://arxiv.org/pdf/1602.02916 BibTex
titre
Distributed Data Stream Processing and Edge Computing: A Survey on Resource Elasticity and Future Directions
auteur
Marcos Dias de Assuncao, Alexandre da Silva Veith, Rajkumar Buyya
article
Journal of Network and Computer Applications (JNCA), 2018, 103, pp.1-17. ⟨10.1016/j.jnca.2017.12.001⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01653842/file/survey_stream_processing.pdf BibTex
titre
Algorithmic Aspects of Optimal Channel Coding
auteur
Siddharth Barman, Omar Fawzi
article
IEEE Transactions on Information Theory, 2018, 64 (2), pp.1038-1045
Accès au bibtex
BibTex
titre
Correlations and dynamics of consumption patterns in social-economic networks
auteur
Yannick Léo, Márton Karsai, Carlos Sarraute, Eric Fleury
article
Social Network Analysis and Mining, 2018, 8, pp.1-16. ⟨10.1007/s13278-018-0486-1⟩
Accès au bibtex
https://arxiv.org/pdf/1801.08856 BibTex
titre
Measuring dynamic social contacts in a rehabilitation hospital: effect of wards, patient and staff characteristics
auteur
Audrey Duval, Thomas Obadia, Lucie Martinet, Pierre-Yves Boëlle, Eric Fleury, Didier Guillemot, Lulla Opatowski, Laura Temime
article
Scientific Reports, 2018, 8 (1), pp.1686. ⟨10.1038/s41598-018-20008-w⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01696186/file/Measuring%20dynamic%20social%20contacts%20in%20a%20rehabilitation%20hospital%20effect%20of%20wards%2C%20patient%20and%20staff%20characteristics.pdf BibTex
titre
Multicut Is FPT
auteur
Nicolas Bousquet, Jean Daligault, Stéphan Thomassé
article
SIAM Journal on Computing, 2018, 47 (1), pp.166-207. ⟨10.1137/140961808⟩
Accès au bibtex
BibTex
titre
1.5D Parallel Sparse Matrix-Vector Multiply
auteur
Enver Kayaaslan, Cevdet Aykanat, Bora Uçar
article
SIAM Journal on Scientific Computing, 2018, 40 (1), pp.C25 - C46. ⟨10.1137/16M1105591⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01897555/file/1-5sisc.pdf BibTex
titre
Reducing the energy consumption of large scale computing systems through combined shutdown policies with multiple constraints
auteur
Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie, Issam Raïs
article
International Journal of High Performance Computing Applications, 2018, 32 (1), pp.176-188. ⟨10.1177/1094342017714530⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01557025/file/mainHALversion.pdf BibTex
titre
On the asymptotic complexity of solving LWE
auteur
Gottfried Herold, Elena Kirshanova, Alexander May
article
Designs, Codes and Cryptography, 2018, 86 (1), pp.55 - 83. ⟨10.1007/s10623-016-0326-0⟩
Accès au bibtex
BibTex
titre
Scheduling series-parallel task graphs to minimize peak memory
auteur
Enver Kayaaslan, Thomas Lambert, Loris Marchal, Bora Uçar
article
Theoretical Computer Science, 2018, 707, pp.1-23. ⟨10.1016/j.tcs.2017.09.037⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01891937/file/seriesElsevierSecondSubmission.pdf BibTex
titre
Further notes on Birkhoff-von Neumann decomposition of doubly stochastic matrices
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
Linear Algebra and its Applications, 2018, 554, pp.68--78. ⟨10.1016/j.laa.2018.05.017⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01586245/file/bvn-results.pdf BibTex
titre
CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme
auteur
Leo Ducas, Eike Kiltz, Tancrede Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler, Damien Stehlé
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018
Accès au bibtex
BibTex
titre
Additive bases and flows in graphs
auteur
Louis Esperet, Rémi de Joannis de Verclos, Tien-Nam Le, Stéphan Thomassé
article
SIAM Journal on Discrete Mathematics, 2018, 32 (1), pp.534-542. ⟨10.1137/17M1113758⟩
Accès au bibtex
https://arxiv.org/pdf/1701.03366 BibTex
titre
Profitable Bandits
auteur
Mastane Achab, Stéphan Clémençon, Aurélien Garivier
article
Proceedings of Machine Learning Research, 2018, 95, pp.694-709
Accès au texte intégral et bibtex
https://hal.science/hal-02023057/file/main_acml.pdf BibTex
titre
Parallel Candecomp/Parafac Decomposition of Sparse Tensors Using Dimension Trees
auteur
Oguz Kaya, Bora Uçar
article
SIAM Journal on Scientific Computing, 2018, 40 (1), pp.C99 - C130. ⟨10.1137/16M1102744⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01397464/file/M110274.pdf BibTex
titre
A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters
auteur
Nicolas Brisebarre, Silviu-Ioan Filip, Guillaume Hanrot
article
IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01308801/file/firlll_hal.pdf BibTex
titre
Computing Dense Tensor Decompositions with Optimal Dimension Trees
auteur
Oguz Kaya, Yves Robert
article
Algorithmica, 2018, pp.1-30. ⟨10.1007/s00453-018-0525-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01974471/file/algorithmica-revision-submitted.pdf BibTex
titre
On the linear independence of shifted powers
auteur
Pascal Koiran, Timothée Pecatte, Ignacio García-Marco
article
Journal of Complexity, 2018, 45, pp.67-82
Accès au texte intégral et bibtex
https://hal.science/hal-01520724/file/GarciaKoiranPecatte_submission_JCv2.pdf BibTex
titre
Computational complexity of the avalanche problem for one dimensional decreasing sandpiles
auteur
Enrico Formenti, Kévin Perrot, Eric Rémila
article
Journal of Cellular Automata, 2018, 13 (3), pp. 215-228
Accès au bibtex
BibTex
titre
On relative errors of floating-point operations: optimal bounds and applications
auteur
Claude-Pierre Jeannerod, Siegfried M. Rump
article
Mathematics of Computation, 2018, 87, pp.803-819. ⟨10.1090/mcom/3234⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00934443/file/JeannerodRump2016.pdf BibTex
titre
Monadic Second Order Logic with Measure and Category Quantifiers
auteur
Matteo Mio, Micha L Skrzypczak, Henryk Michalewski
article
Logical Methods in Computer Science, 2018, 14, pp.1 - 29. ⟨10.23638/LMCS-14(2:2)2018⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01872169/file/1702.04769%20%281%29.pdf BibTex
titre
Radiative–convective equilibrium model intercomparison project
auteur
Allison Wing, Kevin Reed, Masaki Satoh, Bjorn Stevens, Sandrine Bony, Tomoki Ohno
article
Geoscientific Model Development Discussions, 2018, 11 (2), pp.793-813. ⟨10.5194/gmd-11-793-2018⟩
Accès au bibtex
BibTex
titre
Transient analysis of idle time in VANETs using Markov-reward models
auteur
Isabelle Guérin-Lassous, Isabel Faus Martin, Luis Urquiza Aguiar, Monica Aguilar Igartua
article
IEEE Transactions on Vehicular Technology, 2018, 67 (4), pp.2833-2847. ⟨10.1109/TVT.2017.2766449⟩
Accès au bibtex
BibTex
titre
Co-scheduling Amdahl applications on cache-partitioned systems
auteur
Guillaume Aupy, Anne Benoit, Sicheng Dai, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article
International Journal of High Performance Computing Applications, 2018, 32 (1), pp.123-138. ⟨10.1177/1094342017710806⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01670137/file/ijhpca-revised.pdf BibTex
titre
Complexity of Grundy coloring and its variants
auteur
Edouard Bonnet, Foucaud Florent, Eunjung Kim, Florian Sikora
article
Discrete Applied Mathematics, 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01991659/file/mainfull.pdf BibTex
titre
Complexity of token swapping and its variants
auteur
Edouard Bonnet, Miltzow Tillmann, Paweł Rzążewski
article
Algorithmica, 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01991662/file/main.pdf BibTex
titre
Soundness in negotiations
auteur
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
article
Logical Methods in Computer Science, 2018, ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01891179/file/Negotiations_long.pdf BibTex
titre
Performance Modeling of SEAD Protocol in Vehicular Environment
auteur
Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
article
Wireless Networks, 2018, pp.1-18. ⟨10.1007/s11276-018-1706-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01782477/file/template.pdf BibTex
titre
On a two-valued sequence and related continued fractions in power series fields
auteur
Bill Allombert, Nicolas Brisebarre, Alain Lasjaunias
article
Ramanujan Journal, 2018, 45 (3), pp.859-871. ⟨10.1007/s11139-017-9892-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01348576/file/W_hal.pdf BibTex
titre
Ploughing digital landscapes: How Facebook influences the evolution of live video streaming
auteur
Katharina Rein, Tommaso Venturini
article
New Media and Society, 2018, 20 (9), pp.3359-3380. ⟨10.1177/1461444817748954⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01672284/file/Rein%26Venturini2018_PloughingDigitalLandscapes.pdf BibTex
titre
Quantifying the Impact of Shutdown Techniques for Energy-Efficient Data Centers
auteur
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre
article
Concurrency and Computation: Practice and Experience, 2018, 30 (17), pp.1-13. ⟨10.1002/cpe.4471⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01711812/file/paper-wiley.pdf BibTex
titre
The sociolinguistic repetition task: A new paradigm for exploring the cognitive coherence of language varieties.
auteur
Laurence Buson, Aurélie Nardy, Dominique Muller, Jean-Pierre Chevrot
article
Topics in cognitive science, 2018, 10 (4), pp.803-817. ⟨10.1111/tops.12380⟩
Accès au bibtex
BibTex
titre
The Point Decomposition Problem over Hyperelliptic Curves: toward efficient computations of Discrete Logarithms in even characteristic
auteur
Jean-Charles Faugère, Alexandre Wallet
article
Designs, Codes and Cryptography, 2018, 86, pp.2279-2314. ⟨10.1007/s10623-017-0449-y⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01658573/file/HyperSum.pdf BibTex
titre
Fine-grained complexity of coloring unit disks and balls
auteur
Biro Csaba, Edouard Bonnet, Dániel Marx, Miltzow Tillmann, Paweł Rzążewski
article
Journal of Computational Geometry, 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01991656/file/main.pdf BibTex
titre
Time-approximation trade-offs for inapproximable problems
auteur
Édouard Bonnet, Michael Lampis, Vangelis Th. Paschos
article
Journal of Computer and System Sciences, 2018, 92, pp.171-180. ⟨10.1016/j.jcss.2017.09.009⟩
Accès au bibtex
https://arxiv.org/pdf/1502.05828 BibTex
titre
On the Convergence of the TTL Approximation for an LRU Cache under Independent Stationary Request Processes
auteur
Bo Jiang, Philippe Nain, Don Towsley
article
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2018, 3 (4)
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01673272/file/main.pdf BibTex

Conference papers

titre
Proving the Turing Universality of Oritatami Co-Transcriptional Folding
auteur
Cody Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
article
ISAAC 2018 - 29th International Symposium on Algorithms and Computation, Dec 2018, Jiaoxi, Taiwan. ⟨10.4230/LIPIcs.ISAAC.2018.23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01998850/file/_main.pdf BibTex
titre
Automatic Energy Efficient HPC Programming: A Case Study
auteur
Issam Raïs, Hélène Coullon, Laurent Lefèvre, Christian Pérez
article
ISPA 2018 : 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia. ⟨10.1109/BDCloud.2018.00145⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01922301/file/ispa2018.pdf BibTex
titre
Reliability-aware energy optimization for throughput-constrained applications on MPSoC
auteur
Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article
ICPADS - 24th International Conference on Parallel and Distributed Systems, Dec 2018, Sentosa, Singapore. pp.1-10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01929927/file/main.pdf BibTex
titre
Büchi Good-for-Games Automata Are Efficiently Recognizable
auteur
Marc Bagnol, Denis Kuperberg
article
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01910632/file/tokengfg.pdf BibTex
titre
Pairing-friendly twisted Hessian curves
auteur
Chitchanok Chuengsatiansup, Chloe Martindale
article
Indocrypt 2018 - 19th International Conference on Cryptology, Dec 2018, New Delhi, India
Accès au bibtex
BibTex
titre
Sequential Test for the Lowest Mean: From Thompson to Murphy Sampling
auteur
Emilie Kaufmann, Wouter Koolen, Aurélien Garivier
article
Advances in Neural Information Processing Systems (NIPS), Dec 2018, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01804581/file/arXiv.pdf BibTex
titre
On the Statistical Leak of the GGH13 Multilinear Map and some Variants
auteur
Léo Ducas, Alice Pellet--Mary
article
Asiacrypt 2018, Dec 2018, Brisbane, Australia. pp.465-493
Accès au texte intégral et bibtex
https://hal.science/hal-01895645/file/version_eprint.pdf BibTex
titre
Practical Fully Secure Unrestricted Inner Product Functional Encryption modulo p
auteur
Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
article
ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. pp.733-764
Accès au texte intégral et bibtex
https://hal.science/hal-01934296/file/ASIACRYPT18_IPFEmodp_extended.pdf BibTex
titre
Improved Inner-product Encryption with Adaptive Security and Full Attribute-hiding
auteur
Jie Chen, Junqing Gong, Hoeteck Wee
article
ASIACRYPT 2018 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
Accès au bibtex
BibTex
titre
Adversarial vulnerability for any classifier
auteur
Alhussein Fawzi, Hamza Fawzi, Omar Fawzi
article
NeuroIPS 2018, Dec 2018, Montreal, Canada
Accès au bibtex
https://arxiv.org/pdf/1802.08686 BibTex
titre
Location, Occupation, and Semantics Based Socioeconomic Status Inference on Twitter
auteur
Jacobo Levy Abitbol, Màrton Karsai, Eric Fleury
article
ICDMW 2018 - IEEE International Conference on Data Mining Workshops, Nov 2018, Singapore, Singapore. pp.1192-1199, ⟨10.1109/ICDMW.2018.00171⟩
Accès au bibtex
BibTex
titre
Exploiting the Table of Energy and Power Leverages
auteur
Issam Raïs, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
article
ICA3PP 2018 - 18th International Conference on Algorithms and Architectures for Parallel Processing, Nov 2018, Guangzhou, China. pp.1-10
Accès au texte intégral et bibtex
https://hal.science/hal-01927829/file/main.pdf BibTex
titre
Latency-Aware Placement of Data Stream Analytics on Edge Computing
auteur
Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
article
Service-Oriented Computing, Nov 2018, Hangzhou, Zhejiang, China. pp.215-229
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01875936/file/icsoc_2018.pdf BibTex
titre
Adaptively Secure Distributed PRFs from LWE
auteur
Benoît Libert, Damien Stehlé, Radu Titiu
article
TCC 2018 - 16th International Conference on Theory of Cryptography, Nov 2018, Panaji, India. pp.391-421, ⟨10.1007/978-3-030-03810-6_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01911887/file/DPRF-BLMR-v3.pdf BibTex
titre
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation
auteur
Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter
article
EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01891513/file/main.pdf BibTex
titre
Exploring Crypto Dark Matter: New Simple PRF Candidates and Their Applications
auteur
Dan Boneh, Yuval Ishai, Alain Passelègue, Amit Sahai, David J Wu
article
TCC 2018 - Theory of Cryptography Conference, Nov 2018, Goa, India. pp.699-729, ⟨10.1007/978-3-030-03810-6_25⟩
Accès au bibtex
BibTex
titre
WRENCH: A Framework for Simulating Workflow Management Systems
auteur
Henri Casanova, Suraj Pandey, James Oeth, Ryan Tanaka, Frédéric Suter, Rafael Ferreira da Silva
article
WORKS 2018 - 13th Workshop on Workflows in Support of Large-Scale Science, Nov 2018, Dallas, United States. pp.1-12
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01948162/file/casanova-works-2018.pdf BibTex
titre
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
auteur
Anupam Das, Amina Doumane, Damien Pous
article
LPAR-22, Nov 2018, Awassa, Ethiopia
Accès au bibtex
BibTex
titre
Video on Demand in IEEE 802.11p-based Vehicular Networks: Analysis and Dimensioning
auteur
Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
article
MSWiM'18 - 21st ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2018, Montreal, Canada. ⟨10.1145/3242102.3242109⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01858019/file/sigproc.pdf BibTex
titre
Considering Frame Aggregation in Association Optimization for High Throughput Wi-Fi Networks
auteur
Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article
PE-WASUN 2018 - 15th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks, Oct 2018, Montreal, Canada. pp.55-62, ⟨10.1145/3243046.3243057⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01965315/file/peWasun2018.pdf BibTex
titre
A Congruence Relation for Restructuring Classical Terms
auteur
Pierre Lescanne, Dragisa Zunic
article
18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197
Accès au bibtex
BibTex
titre
Practicing Domain-Specific Languages: From Code to Models
auteur
Laure Gonnord, Sébastien Mosser
article
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01865448/file/edusymp18_GM._cr.pdf BibTex
titre
Channel Coding for Better QoS in LoRa Networks
auteur
Ulysse Coutaud, Bernard Tourancheau
article
2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2018, Limassol, Cyprus. ⟨10.1109/WiMOB.2018.8589121⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02538535/file/ChannelCoding4LPWAN_HAL.pdf BibTex
titre
Know When to Fold ’Em: Self-assembly of Shapes by Folding in Oritatami
auteur
Erik Demaine, Jacob Hendricks, Meagan Olsen, Matthew Patitz, Trent A. Rogers, Nicolas Schabanel, Shinnosuke Seki, Hadley Thomas
article
DNA 2018, Oct 2018, Jinan, China. pp.19-36
Accès au texte intégral et bibtex
https://hal.science/hal-01998840/file/Oritatami-shapes.pdf BibTex
titre
Constant overhead quantum fault-tolerance with quantum expander codes
auteur
Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article
FOCS 2018 - 59th Annual IEEE Symposium on Foundations of Computer Science, Oct 2018, Paris, France. pp.743-754, ⟨10.1109/FOCS.2018.00076⟩
Accès au bibtex
https://arxiv.org/pdf/1808.03821 BibTex
titre
EPTAS for Max Clique on Disks and Unit Balls
auteur
Marthe Bonamy, Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé
article
FOCS: Foundations of Computer Science, Oct 2018, Paris, France. ⟨10.1109/FOCS.2018.00060⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01962198/file/eptasDisk.pdf BibTex
titre
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories
auteur
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
article
RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-01891599/file/rsp2018.pdf BibTex
titre
Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem
auteur
Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes
article
IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
Accès au texte intégral et bibtex
https://hal.science/hal-01830253/file/LagrangeIAC.pdf BibTex
titre
On the Impact of OpenMP Task Granularity
auteur
Thierry Gautier, Christian Pérez, Jérôme Richard
article
IWOMP 2018 - 14th International Workshop on OpenMP for Evolving Architectures, Sep 2018, Barcelone, Spain. pp.205-221, ⟨10.1007/978-3-319-98521-3_14⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01901806/file/iwomp_hal.pdf BibTex
titre
Scheduling independent stochastic tasks under deadline and budget constraints
auteur
Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/CAHPC.2018.8645931⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01868727/file/sbacpad-cameraready.pdf BibTex
titre
Polyhedral Dataflow Programming: a Case Study
auteur
Romain Fontaine, Laure Gonnord, Lionel Morel
article
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01855997/file/finalversion_hal_sbacpad18_FGM.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
IEEE Cluster 2018, Sep 2018, Belfast, United Kingdom. pp.335-345
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01874154/file/cluster18.pdf BibTex
titre
Metadata Enrichment of Multi-disciplinary Digital Library: A Semantic-Based Approach
auteur
Hussein T Al-Natsheh, Lucie Martinet, Fabrice Muhlenbach, Fabien Rico, Djamel Abdelkader Zighed
article
TPDL 2018 - 22nd International Conference on Theory and Practice of Digital Libraries, Sep 2018, Porto, Portugal. pp.32-43
Accès au bibtex
BibTex
titre
Function-Revealing Encryption: Definitions and Constructions
auteur
Marc Joye, Alain Passelègue
article
SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.527-543, ⟨10.1007/978-3-319-98113-0_28⟩
Accès au bibtex
BibTex
titre
Compact IBBE and Fuzzy IBE from Simple Assumptions
auteur
Junqing Gong, Benoît Libert, Somindu C Ramanna
article
SCN 2018 - 11th Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.1-29
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01686690/file/ibbe-compact.pdf BibTex
titre
Non-Trivial Witness Encryption and Null-iO from Standard Assumptions
auteur
Zvika Brakerski, Aayush Jain, Ilan Komargodski, Alain Passelègue, Daniel Wichs
article
SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.425-441, ⟨10.1007/978-3-319-98113-0_23⟩
Accès au bibtex
BibTex
titre
The True Concurrency of Herbrand’s Theorem
auteur
Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
article
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01886968/file/LIPIcs-CSL-2018-5.pdf BibTex
titre
Fully Abstract Models of the Probabilistic λ-calculus
auteur
Pierre Clairambault, Hugo Paquet
article
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01886956/file/LIPIcs-CSL-2018-16.pdf BibTex
titre
Combining Linear Logic and Size Types for Implicit Complexity
auteur
Patrick Baillot, Alexis Ghyselen
article
Conference on Computer Science Logic, CSL 2018, Sep 2018, Birmingham, France. pp.9:1--9:21
Accès au bibtex
BibTex
titre
Completeness for Identity-free Kleene Lattices
auteur
Amina Doumane, Damien Pous
article
CONCUR, Sep 2018, Beijing, China. ⟨10.4230/LIPIcs.CONCUR.2018.18⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01780845/file/KLm.pdf BibTex
titre
Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
auteur
Anupam Das, Damien Pous
article
Computer Science Logic (CSL), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01703942/file/lka.pdf BibTex
titre
Combinatorics of Explicit Substitutions
auteur
Maciej Bendkowski, Pierre Lescanne
article
PPDP 2016, ACM et Université de Francfort de, Sep 2018, Frankfurt am Main, France. ⟨10.1145/3236950.3236951⟩
Accès au bibtex
BibTex
titre
Logarithmic-Size Ring Signatures With Tight Security from the DDH Assumption
auteur
Benoît Libert, Thomas Peters, Chen Qian
article
ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelone, Spain. pp.288-308, ⟨10.1007/978-3-319-98989-1_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01848134/file/tight-ring-sig-full-version.pdf BibTex
titre
SINA: A Scalable Iterative Network Aligner
auteur
Abdurrahman Yaşar, Bora Uçar, Ümit V. Çatalyürek
article
2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), Aug 2018, Barcelona, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01918744/file/paper.pdf BibTex
titre
Do Moldable Applications Perform Better on Failure-Prone HPC Platforms?
auteur
Valentin Le Fèvre, George Bosilca, Aurelien Bouteiller, Thomas Herault, Atsushi Hori, Yves Robert, Jack Dongarra
article
Euro-Par 2018 - European Conference on Parallel Processing Worksops, Aug 2018, Torino, Italy. pp.787-799, ⟨10.1007/978-3-030-10549-5_61⟩
Accès au bibtex
BibTex
titre
Online Scheduling of Task Graphs on Hybrid Platforms
auteur
Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
article
Euro-Par 2018 - 24th International European Conference On Parallel And Distributed Computing, Aug 2018, Turin, Italy. pp.1-14, ⟨10.1007/978-3-319-96983-1_14⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01828301/file/europar.pdf BibTex
titre
Evaluation through Realistic Simulations of File Replication Strategies for Large Heterogeneous Distributed Systems
auteur
Anchen Chai, Sorina Camarasu-Pop, Tristan Glatard, Hugues Benoit-Cattin, Frederic Suter
article
Europar 2018 - 24th International European Conference on Parallel and Distributed Computing ; Workshop HeteroPar 2018, Aug 2018, Turin, Italy. pp.409-420, ⟨10.1007/978-3-030-10549-5_32⟩
Accès au bibtex
BibTex
titre
The PACE 2018 Parameterized Algorithms and Computational Experiments Challenge: The Third Iteration
auteur
Edouard Bonnet, Florian Sikora
article
IPEC 2018, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.IPEC.2018.26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01991645/file/report.pdf BibTex
titre
Parameterized Complexity of Independent Set in H-free graphs
auteur
Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé, Rémi Watrigant
article
IPEC 2018 - 13th International Symposium on Parameterized and Exact Computation, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.CVIT.2016.23⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01962369/file/proceedings-ipec18.pdf BibTex
titre
Lattice-Based Zero-Knowledge Arguments for Integer Relations
auteur
Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
article
CRYPTO 2018 - Annual International Cryptology Conference, Aug 2018, Santa Barbara, United States. pp.700-732, ⟨10.1007/978-3-319-96881-0_24⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01911886/file/ZK-integers.pdf BibTex
titre
Quantum Attacks against Indistinguishablility Obfuscators Proved Secure in the Weak Multilinear Map Model
auteur
Alice Pellet--Mary
article
Crypto 2018 - 38th International Cryptology Conference, Aug 2018, Santa-Barbara, United States. pp.153-183, ⟨10.1007/978-3-319-96878-0_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01895639/file/main.pdf 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
ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225145⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01798627/file/icpp.pdf BibTex
titre
A performance model to execute workflows on high-bandwidth-memory architectures
auteur
Anne Benoit, Swann Perarnau, Loïc Pottier, Yves Robert
article
ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225110⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01798726/file/icpp18-hal.pdf BibTex
titre
Treewidth-Two Graphs as a Free Algebra
auteur
Christian Doczkal, Damien Pous
article
Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨10.4230/LIPIcs.MFCS.2018.60⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01780844/file/tw2fa.pdf BibTex
titre
Aten: A Dispatcher for Big Data Applications in Heterogeneous Systems
auteur
Paulo de Souza Junior, Kassiano J Matteussi, Julio C S dos Anjos, Jobe D D Dos Santos, Alexandre da Silva Veith, Claudio R. Geyer
article
2018 International Conference on High Performance Computing Simulation (HPCS), Jul 2018, Orléans, France. pp.585-592, ⟨10.1109/HPCS.2018.00098⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01876973/file/Aten_HPCS_18.pdf BibTex
titre
Enabling Strategies for Big Data Analytics in Hybrid Infrastructures
auteur
Julio Anjos, Kassiano J Matteussi, Paulo R R de Souza, Claudio Geyer, Alexandre da Silva Veith, Gilles Fedak, Jorge Luis Victoria Barbosa
article
2018 International Conference on High Performance Computing Simulation (HPCS), Jul 2018, Orléans, France. pp.869-876
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01875952/file/HPCS_18_JULIO__IEEE_.pdf BibTex
titre
Polynomial Equivalence Problems for Sum of Affine Powers
auteur
Ignacio García-Marco, Pascal Koiran, Timothée Pecatte
article
International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 2018, New York, United States. pp.303-310
Accès au bibtex
BibTex
titre
Building the Table of Energy and Power Leverages for Energy Efficient Large Scale Systems
auteur
Issam Raïs, Mathilde Boutigny, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
article
HPCS: International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.284-291, ⟨10.1109/HPCS.2018.00056⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01845970/file/main.pdf BibTex
titre
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
auteur
Florent Bréhard
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01654396/file/multinormval.pdf BibTex
titre
On Computing the Resultant of Generic Bivariate Polynomials
auteur
Gilles Villard
article
ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation, New York, USA, July 16-19, 2018, Jul 2018, New York, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01921369/file/hal.pdf BibTex
titre
Madeus: A formal deployment model
auteur
Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez
article
4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01858150/file/main.pdf BibTex
titre
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
auteur
Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
article
ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01788619/file/redct-final.pdf BibTex
titre
Higher dimensional sieving for the number field sieve algorithms
auteur
Laurent Grémy
article
ANTS 2018 - Thirteenth Algorithmic Number Theory Symposium, University of Wisconsin, Jul 2018, Madison, United States. pp.1-16
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01890731/file/article.pdf BibTex
titre
Computing an LLL-reduced Basis of the Orthogonal Lattice
auteur
Jingwei Chen, Damien Stehlé, Gilles Villard
article
ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 2018, New York, United States. ⟨10.1145/3208976.3209013⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01921335/file/hal.pdf BibTex
titre
Socioeconomic and network dependencies of linguistic patterns in Twitter
auteur
Jacobo Levy Abitbol, Màrton Karsai, Jean-Pierre Chevrot, Jean-Philippe Magué, Eric Fleury
article
IC2S2 2018 - 4th Annual International Conference on Computational Social Science, Jul 2018, Evanston, Illinois, United States
Accès au bibtex
BibTex
titre
Around Classical and Intuitionistic Linear Logics
auteur
Olivier Laurent
article
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209132⟩
Accès au bibtex
BibTex
titre
The concurrent game semantics of Probabilistic PCF
auteur
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
article
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
Accès au bibtex
BibTex
titre
Counting Environments and Closures
auteur
Pierre Lescanne, Maciej Bendkowski
article
FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩
Accès au bibtex
BibTex
titre
Eager Functions as Processes
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209152⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01917255/file/Main.pdf BibTex
titre
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
auteur
Cécilia Pradic, Colin Riba
article
LICS'18, Jul 2018, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01698648/file/linchurch.pdf BibTex
titre
Riesz Modal Logic with Threshold Operators
auteur
Matteo Mio
article
the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, France. ⟨10.1145/3209108.3209118⟩
Accès au bibtex
BibTex
titre
Intersection Subtyping with Constructors
auteur
Olivier Laurent
article
Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, Jul 2018, Oxford, United Kingdom. pp.73-84, ⟨10.4204/EPTCS.293.6⟩
Accès au bibtex
BibTex
titre
Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes
auteur
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
article
Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.science/hal-01891398/file/compas2018.pdf BibTex
titre
Interfaces comportementales pour la reconfiguration de modèles à composants
auteur
Maverick Chardet, Hélène Coullon, Christian Pérez
article
Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01897803/file/main.pdf BibTex
titre
Vers un déploiement conforme et économique des licences dans une architecture Cloud
auteur
Arthur Chevalier
article
COMPAS 2018, Jul 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01905417/file/SAM_COMPAS2018.pdf BibTex
titre
Improved Anonymous Broadcast Encryptions
auteur
Jiangtao Li, Junqing Gong
article
ACNS 2018 - 16th International Conference on Applied Cryptography and Network Security, Jul 2018, Leuven, Belgium. pp.497-515, ⟨10.1007/978-3-319-93387-0_26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01829132/file/main.pdf BibTex
titre
Towards economic and compliant deployment of licenses in a Cloud architecture
auteur
Baillon Noëlle, Eddy Caron, Arthur Chevalier, Anne-Lucie Vion
article
Workshop: Cloud Management and Operations. In conjunction with CLOUD 2018 - IEEE International Conference on Cloud Computing, Jul 2018, San Franciso, United States
Accès au bibtex
BibTex
titre
Software Greenability: A Case Study of Cloud-Based Business Applications Provisioning
auteur
Hayri Acar, Hind Benfenatki, Jean-Patrick Gelas, Catarina Ferreira da Silva, Gülfem I Alptekin, Aïcha-Nabila Benharkat, Parisa Ghodous
article
CLOUD 2018 - IEEE 11th International Conference on Cloud Computing, Jul 2018, San Francisco, CA, United States. pp.875-878, ⟨10.1109/CLOUD.2018.00125⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01887065/file/IEEE_CLOUD_2018_paper_150.pdf BibTex
titre
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs
auteur
Christian Doczkal, Guillaume Combette, Damien Pous
article
Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. ⟨10.1007/978-3-319-94821-8_11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01703922/file/tw2k4f.pdf BibTex
titre
Allegories: decidability and graph homomorphisms
auteur
Damien Pous, Valeria Vignudelli
article
Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209172⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01703906/file/allegories.pdf BibTex
titre
Optimality Program in Segment and String Graphs
auteur
Edouard Bonnet, Paweł Rzążewski
article
WG 2018, Jun 2018, Cottbus, France. pp.79-90
Accès au bibtex
BibTex
titre
A High Throughput Polynomial and Rational Function Approximations Evaluator
auteur
Nicolas Brisebarre, George Constantinides, Miloš Ercegovac, Silviu-Ioan Filip, Matei Istoan, Jean-Michel Muller
article
ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01774364/file/emet_rr.pdf BibTex
titre
On various ways to split a floating-point number
auteur
Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann
article
ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01774587/file/split.pdf BibTex
titre
Recueil de données massives de contacts sociaux en école maternelle : validation éthologique de l’utilisation des capteurs de proximité
auteur
Hélène Bouchet, Màrton Karsai, Stéphanie Barbu, Jean-Pierre Chevrot, Eric Fleury, Aurélie Nardy
article
48ème Colloque Annuel de la SFECA, Université de Rennes 1; Société Française pour l'Etude du Comportement Animal, Jun 2018, Rennes, France
Accès au bibtex
BibTex
titre
On a Class of Stochastic Multilayer Networks
auteur
Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
article
ACM Sigmetrics, Jun 2018, Irvine, CA, United States. pp.1-24
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01669368/file/main.pdf BibTex
titre
Architecture Microservices pilotée par les données
auteur
Eddy Caron, Zeina Houmani
article
CAL 2018 - Conférence francophone sur les Architectures Logicielles, Jun 2018, Grenoble, France. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01808758/file/data_driven_microservices_CAL2018.pdf BibTex
titre
Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
auteur
Laure Gonnord, Sébastien Mosser
article
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-01816239/file/CAL-CIEL2018_paper_1.pdf BibTex
titre
Orthogonal Terrain Guarding is NP-complete
auteur
Edouard Bonnet, Panos Giannopoulos
article
SoCG 2018, Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01991647/file/main.pdf BibTex
titre
QPTAS and Subexponential Algorithm for Maximum Clique on Disk Graphs
auteur
Edouard Bonnet, Panos Giannopoulos, Eun Jung Kim, Paweł Rzążewski, Florian Sikora
article
SoCG 2018, Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01991635/file/main.pdf BibTex
titre
Multidimensional analytic signal with application on graphs
auteur
Mikhail Tsitsvero, Pierre Borgnat, Paulo Gonçalves
article
SSP 2018 - IEEE Workshop on Statistical Signal Processing, IEEE, Jun 2018, Freiburg, Germany. pp.1-5
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01878753/file/ssp_analytic_signal.pdf BibTex
titre
Approximation algorithms for maximum matchings in undirected graphs
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
CSC 2018 - SIAM Workshop on Combinatorial Scientific Computing, Jun 2018, Bergen, Norway. pp.56-65, ⟨10.1137/1.9781611975215.6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01740403/file/undirectedGraph1out-toHal.pdf BibTex
titre
Slopes of 3-dimensional Subshifts of Finite Type
auteur
Etienne Moutot, Pascal Vanier
article
CSR 2018, Jun 2018, Moscou, Russia. pp.257--268, ⟨10.1007/978-3-319-90530-3_22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01772574/file/main.pdf BibTex
titre
Channel assignment in IEEE 802.11-based substitution networks
auteur
Anthony Busson, Isabelle Guérin Lassous, Ha Pham The Anh
article
BalkanCom 2018 - Second International Balkan Conference on Communications and Networking, Jun 2018, Podgorica, Montenegro. pp.1-5
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01906335/file/article.pdf BibTex
titre
Demoing Platypus – A Multilingual Question Answering Platform for Wikidata
auteur
Thomas Pellissier Tanon, Marcos Dias de Assuncao, Eddy Caron, Fabian M. Suchanek
article
ESWC 2018: The Semantic Web: ESWC 2018 Satellite Events, Jun 2018, Heracklion, Greece. pp.111-116, ⟨10.1007/978-3-319-98192-5_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01824972/file/2018-ESWC-platypus.pdf BibTex
titre
Fractional graph-based semi-supervised learning
auteur
Sarah de Nigris, Esteban Bautista, Patrice Abry, Konstantin Avrachenkov, Paulo Gonçalves
article
International School and Conference on Network Science, Jun 2018, Paris, France. pp.1
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01877500/file/Abstract_Netsci_2018.pdf BibTex
titre
Comparaison de deux clusterings par couplage entre clusters de clusters
auteur
Frédéric Cazals, Dorian Mazauric, Romain Tetley, Rémi Watrigant
article
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01774440/file/algotel.pdf BibTex
titre
A Data Stream Processing Optimisation Framework for Edge Computing Applications
auteur
Gayashan Amarasinghe, Marcos Dias de Assuncao, Aaron Harwood, Shanika Karunasekera
article
ISORC 2018 - IEEE 21st International Symposium on Real-Time Distributed Computing, May 2018, Singapore, Singapore. pp.91-98, ⟨10.1109/ISORC.2018.00020⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01862063/file/isorc2018.pdf BibTex
titre
Optimal Cooperative Checkpointing for Shared High-Performance Computing Platforms
auteur
Thomas Herault, Yves Robert, Aurelien Bouteiller, Dorian Arnold, Kurt B Ferreira, George Bosilca, Jack Dongarra
article
APDCM 2018 : 20th Workshop on Advances in Parallel and Distributed Computational Models, May 2018, Vancouver, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01968441/file/apdcm18.pdf BibTex
titre
Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on heterogeneous IaaS Cloud platforms
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
IPDPSW 2018 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2018, Vancouver, Canada. pp.15-26, ⟨10.1109/IPDPSW.2018.00014⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01808831/file/hcw.pdf BibTex
titre
Data-Locality Aware Dynamic Schedulers for Independent Tasks with Replicated Inputs
auteur
Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article
IPDPSW 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, May 2018, Vancouver, Canada. pp.1-8, ⟨10.1109/IPDPSW.2018.00187⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01878977/file/cebda.pdf BibTex
titre
Combining Checkpointing and Replication for Reliable Execution of Linear Workflows
auteur
Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
article
APDCM 2018 - 20th Workshop on Advances in Parallel and Distributed Computational Models workshop, in conjunction with IPDPS'18, May 2018, Vancouver, Canada. pp.1-10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01963655/file/apdcm-camready.pdf BibTex
titre
Parallel scheduling of DAGs under memory constraints
auteur
Loris Marchal, Hanna Nagy, Bertrand Simon, Frédéric Vivien
article
IPDPS 2018 - 32nd IEEE International Parallel and Distributed Processing Symposium, May 2018, Vancouver, Canada. pp.1-10, ⟨10.1109/IPDPS.2018.00030⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01828312/file/IPDPS.pdf BibTex
titre
Association Optimization in Wi-Fi Networks based on the Channel Busy Time Estimation
auteur
Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article
IFIP Networking 2018, May 2018, Zürich, Switzerland
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01965313/file/conf-FormatArticle.pdf BibTex
titre
Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds
auteur
Jad Darrous, Shadi Ibrahim, Amelie Chi Zhou, Christian Pérez
article
CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington D.C., United States. pp.553-562, ⟨10.1109/CCGRID.2018.00082⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01745405/file/Nitro_CCGrid_18_CR_FINAL.pdf BibTex
titre
GPU-Accelerated Algorithms for Allocating Virtual Infrastructure in Cloud Data Centers
auteur
Lucas Leandro Nesi, Mauricio Pillon, Marcos Dias de Assuncao, Guilherme Piêgas Koslovski
article
CCGRID 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington, France. pp.364-365, ⟨10.1109/CCGRID.2018.00057⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01862065/file/ccgrid2018.pdf BibTex
titre
Unbounded ABE via Bilinear Entropy Expansion, Revisited
auteur
Jie Chen, Junqing Gong, Lucas Kowalczyk, Hoeteck Wee
article
EUROCRYPT 2018 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2018, Tel Aviv, Israel. pp.503-534, ⟨10.1007/978-3-319-78381-9_19⟩
Accès au bibtex
BibTex
titre
On the Ring-LWE and Polynomial-LWE Problems
auteur
Miruna Roșca, Damien Stehlé, Alexandre Wallet
article
EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications, Apr 2018, Tel Aviv, Israel
Accès au bibtex
BibTex
titre
CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM
auteur
Joppe W. Bos, Léo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, John Schanck, Peter Schwabe, Gregor Seiler, Damien Stehlé
article
EuroS&P 2018 - IEEE European Symposium on Security and Privacy, Apr 2018, London, United Kingdom. pp.353-367, ⟨10.1109/EuroSP.2018.00032⟩
Accès au bibtex
BibTex
titre
Socioeconomic dependencies of linguistic patterns in Twitter: a multivariate analysis
auteur
Jacobo Levy Abitbol, Márton Karsai, Jean-Philippe Magué, Jean-Pierre Chevrot, Eric Fleury
article
WWW '18 - World Wide Web Conference, Apr 2018, Lyon, France. pp.1125-1134, ⟨10.1145/3178876.3186011⟩
Accès au bibtex
https://arxiv.org/pdf/1804.01155 BibTex
titre
Designing RNA Secondary Structures is Hard
auteur
Edouard Bonnet, Paweł Rzążewski, Florian Sikora
article
RECOMB 2018, Apr 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-01991541/file/main.pdf BibTex
titre
A new proximal method for joint image restoration and edge detection with the Mumford-Shah model
auteur
Marion Foare, Nelly Pustelnik, Laurent Condat
article
ICASSP 2018 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01736997/file/paper_2137_camera_ready.pdf BibTex
titre
Non-angelic Concurrent Game Semantics
auteur
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
article
21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_1⟩
Accès au bibtex
BibTex
titre
A Trace Semantics for System F Parametric Polymorphism
auteur
Guilhem Jaber, Nikos Tzevelekos
article
International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.20-38, ⟨10.1007/978-3-319-89366-2_2⟩
Accès au bibtex
BibTex
titre
Robustness of classifiers to uniform $\ell_p$ and Gaussian noise
auteur
Jean-Yves Franceschi, Alhussein Fawzi, Omar Fawzi
article
Twenty-first International Conference on Artificial Intelligence and Statistics, Apr 2018, Playa Blanca, Spain. pp.1280-1288
Accès au texte intégral et bibtex
https://hal.science/hal-01715012/file/paper_robustness_lp_new.pdf BibTex
titre
Improved Quantum Information Set Decoding
auteur
Elena Kirshanova
article
PQCrypto 2018 - The Ninth International Conference on Post-Quantum Cryptography, Apr 2018, Fort Lauderdale, United States
Accès au bibtex
BibTex
titre
Speed-Ups and Time-Memory Trade-Offs for Tuple Lattice Sieving
auteur
Gottfried Herold, Elena Kirshanova, Thijs Laarhoven
article
PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil
Accès au bibtex
BibTex
titre
Learning with Errors and Extrapolated Dihedral Cosets
auteur
Zvika Brakerski, Elena Kirshanova, Damien Stehlé, Weiqiang Wen
article
PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil
Accès au bibtex
BibTex
titre
Memory-aware tree partitioning on homogeneous platforms
auteur
Changjiang Gou, Anne Benoit, Loris Marchal
article
PDP 2018 - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2018, Cambridge, United Kingdom. pp.321-324, ⟨10.1109/PDP2018.2018.00056⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01892022/file/pdp.pdf BibTex
titre
A Cloud-aware autonomous workflow engine and its application to Gene Regulatory Networks inference
auteur
Arnaud Bonnaffoux, Eddy Caron, Hadrien Croubois, Olivier Gandrillon
article
CLOSER 2018 - 8th International conference on Cloud computing and Service Science., Mar 2018, Funchal, Madeira, Portugal. pp.1-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01808764/file/main.pdf BibTex
titre
Parallel Code Generation of Synchronous Programs for a Many-core Architecture
auteur
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
article
DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01667594/file/date2018.pdf BibTex
titre
Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation
auteur
Bruno Salvy
article
STACS 2018 - 35th Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01926094/file/LIPIcs-STACS-2018-1.pdf BibTex
titre
On the Positive Calculus of Relations with Transitive Closure
auteur
Damien Pous
article
35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.3⟩
Accès au bibtex
BibTex
titre
Improving Communication Patterns in Polyhedral Process Networks
auteur
Christophe Alias
article
HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems, Jan 2018, Manchester, United Kingdom. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01725143/file/final.pdf BibTex
titre
Thermal aware scheduling on distributed computing water heaters
auteur
Issam Raïs, Eddy Caron, Laurent Lefèvre
article
CCNC 2018 - IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2018.8319253⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01671728/file/CCNC2018_defab.pdf BibTex
titre
Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations
auteur
Paulo Ricardo Arantes Gilz, Florent Bréhard, Clément Gazzino
article
SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01540170/file/cheborbit.pdf BibTex
titre
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
auteur
Christian Doczkal, Joachim Bard
article
Certified Programs and Proofs, Jan 2018, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01646782/file/cpp18.pdf BibTex
titre
Subquadratic Kernels for Implicit 3-Hitting Set and 3-Set Packing Problems
auteur
Tien-Nam Le, Daniel Lokshtanov, Saket Saurabh, Stéphan Thomassé, Meirav Zehavi
article
SODA 2018, Jan 2018, New Orleans, France. pp.331-342
Accès au bibtex
BibTex
titre
Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ
auteur
Shi Bai, Damien Stehlé, Weiqiang Wen
article
ASIACRYPT, 2018, Brisbane, Australia
Accès au bibtex
BibTex
titre
Width of Non-deterministic Automata
auteur
Denis Kuperberg, Anirban Majumdar
article
35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018, Caen, France. pp.48 - 49, ⟨10.4230/LIPIcs.STACS.2018.48⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01891180/file/width.pdf BibTex

Book sections

titre
Scheduling for Fault-Tolerance: An Introduction
auteur
Guillaume Aupy, Yves Robert
article
Topic in parallel and distributed computing: Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms, Springer International Publishing, pp.143-170, 2018, 978-3-319-93109-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01968454/file/new-cder-springer.pdf BibTex
titre
Avoiding or limiting regularities in words
auteur
Pascal Ochem, Michaël Rao, Matthieu Rosenfeld
article
Sequences, Groups and Number Theory, pp.177-212, 2018, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_5⟩
Accès au bibtex
BibTex
titre
Visual Network Exploration for Data Journalists
auteur
Tommaso Venturini, Mathieu Jacomy, Liliana Bounegru, Jonathan Gray
article
Scott A. Eldridge II; Bob Franklin. The Routledge Handbook of Developments in Digital Journalism Studies, Routledge, 2018, 9781138283053
Accès au texte intégral et bibtex
https://hal.science/hal-01672282/file/Venturini%20et%20al.%20-%202018%20-%20Visual%20Network%20Exploration%20for%20Data%20Journalists.pdf BibTex
titre
Service Adoption Spreading in Online Social Networks
auteur
Gerardo Iñiguez, Zhongyuan Ruan, Kimmo Kaski, János Kertész, Màrton Karsai
article
Complex Spreading Phenomena in Social Systems, pp.151-175, 2018, 978-3-319-77331-5. ⟨10.1007/978-3-319-77332-2_9⟩
Accès au bibtex
BibTex
titre
Design of graph filters and filterbanks
auteur
Nicolas Tremblay, Paulo Gonçalves, Pierre Borgnat
article
Petar M. Djurić; Cédric Richard. Cooperative and Graph Signal Processing, Academic Press, pp.299-324, 2018, 978-0-12-813677-5. ⟨10.1016/B978-0-12-813677-5.00011-0⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01675375/file/Book.pdf BibTex
titre
Prepaid or Postpaid? That Is the Question: Novel Methods of Subscription Type Prediction in Mobile Phone Services
auteur
Yongjun Liao, Wei Du, Màrton Karsai, Carlos Sarraute, Martin Minnoni, Eric Fleury
article
Social Network Based Big Data Analysis and Applications, Springer, pp.165-181, 2018, Lecture Notes in Social Networks, ⟨10.1007/978-3-319-78196-9_8⟩
Accès au bibtex
https://arxiv.org/pdf/1706.10172 BibTex
titre
About the Domino Problem for Subshifts on Groups
auteur
Nathalie Aubrun, Sebastián Barbieri, Emmanuel Jeandel
article
Valérie Berthé; M Rigo. Sequences, Groups, and Number Theory, Birkhäuser, Cham, pp.331-389, 2018, Trends in Mathematics, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01989760/file/main.pdf BibTex
titre
Attention on Weak Ties in Social and Communication Networks
auteur
Lilian Weng, Márton Karsai, Nicola Perra, Filippo Menczer, Alessandro Flamini
article
Spreading Dynamics in Social Systems, 2018
Accès au bibtex
BibTex
titre
Data-Sprinting: a Public Approach to Digital Research
auteur
Tommaso Venturini, Anders Munk, Axel Meunier
article
Celia Lury; Rachel Fensham; Alexandra Heller-Nicholas. Routledge handbook of interdisciplinary research methods, Routledge, 2018, Routledge international handbooks, 9781138886872. ⟨10.4324/9781315714523-24⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01672288/file/Venturini%2C%20Munk%2C%20Meunier%20-%202018%20-%20Data-Sprint%20a%20Public%20Approach%20to%20Digital%20Research.pdf BibTex

Habilitation à diriger des recherches

titre
Contributions to the Performance Modeling of Computer Networks
auteur
Thomas Begin
article
Networking and Internet Architecture [cs.NI]. Université Claude Bernard Lyon 1, 2018
Accès au texte intégral et bibtex
https://hal.science/tel-01951250/file/main.pdf BibTex
titre
Memory and data aware scheduling
auteur
Loris Marchal
article
Distributed, Parallel, and Cluster Computing [cs.DC]. École Normale Supérieure de Lyon, 2018
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01934712/file/HDR-Loris-Marchal.pdf BibTex

Other publications

titre
Disrupting algorithms and software: Dispatch from IPDPS 2018
auteur
Bora Uçar
article
2018, pp.3--4. ⟨10.1145/3329082.3329086⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02304449/file/hpcconnect-dispatch.pdf BibTex
titre
A Field Guide to Fake News and other Information Disorders
auteur
Liliana Bounegru, Jonathan Gray, Tommaso Venturini, Michele Mauri
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01672287/file/Bounegru%20et%20al.%20-%202018%20-%20A%20Field%20Guide%20to%20Fake%20News%20and%20other%20Information%20Disorders%282%29.pdf BibTex

Books

titre
Handbook of Floating-point Arithmetic (2nd edition)
auteur
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
article
Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Accès au bibtex
BibTex
titre
Bursty Human Dynamics
auteur
Márton Karsai, Hang-Hyun Jo, Kimmo Kaski
article
Springer, pp.XIV, 121, 2018, 978-3-319-68538-0. ⟨10.1007/978-3-319-68540-3⟩
Accès au bibtex
BibTex
titre
Introduction to special issue on sustainable computing for ultrascale computing
auteur
Laurent Lefèvre, Jean-Marc Pierson
article
Lefèvre, Laurent and Pierson, Jean-Marc. Elsevier, 17 (Special issue), pp.25-26, 2018, Sustainable Computing: Informatics and Systems, ⟨10.1016/j.suscom.2018.02.002⟩
Accès au bibtex
BibTex
titre
Special issue on Resilience and Energy-aware Techniques for High-Performance Computing (RE-HPC)
auteur
Hongyang Sun, Anne Benoit, Jean-Marc Pierson
article
Elsevier, 19, pp.1-350, 2018, Sustainable Computing: Informatics and Systems, ⟨10.1016/j.suscom.2018.07.012⟩
Accès au bibtex
BibTex

Poster communications

titre
Latency-Aware Strategies for Placing Data Stream Analytics onto Edge Computing
auteur
Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
article
HotEdge'18 - USENIX Workshop on Hot Topics in Edge Computing, Jul 2018, Boston, United States. pp.1, 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01875999/file/poster.pdf BibTex

Reports

titre
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)
auteur
Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen
article
[0] CNRS. 2018, pp.1-87
Accès au texte intégral et bibtex
https://hal.science/hal-01956087/file/Rapport%20de%20Prospective%20CSI%20INS2I%202018%20%2B%20%20Annexes.pdf 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
[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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01955859/file/RR-9235.pdf BibTex
titre
Semantic Array Dataflow Analysis
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
article
[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Accès au texte intégral et bibtex
https://hal.science/hal-01954396/file/RR-9232.pdf BibTex
titre
Monoparametric Tiling of Polyhedral Programs
auteur
Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
article
[Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01952593/file/RR-9233.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
[Research Report] RR-9231, Inria Grenoble Rhône-Alpes. 2018, pp.1-41
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01948462/file/RR-9231.pdf BibTex
titre
Efficient use of sparsity by direct solvers applied to 3D controlled-source EM problems
auteur
Patrick Amestoy, Sebastien de La Kethulle de Ryhove, Jean-Yves L'Excellent, Gilles Moreau, Daniil V. Shantsev
article
[Research Report] RR-9220, Inria Grenoble Rhône-Alpes; LIP - ENS Lyon. 2018, pp.26
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01912713/file/RR-9220.pdf BibTex
titre
Effective heuristics for matchings in hypergraphs
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
[Research Report] RR-9224, Inria Grenoble Rhône-Alpes. 2018, pp.1-20
Accès au texte intégral et bibtex
https://hal.science/hal-01924180/file/RR-9224.pdf BibTex
titre
Reservation Strategies for Stochastic Jobs (Extended Version)
auteur
Guillaume Aupy, Ana Gainaru, Valentin Honoré, Padma Raghavan, Yves Robert, Hongyang Sun
article
[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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01903592/file/research_report.pdf BibTex
titre
FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
auteur
Christophe Alias
article
[Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01818585/file/RR-9187.pdf BibTex
titre
A scalable clustering-based task scheduler for homogeneous processors using DAG partitioning
auteur
Yusuf M. Özkaya, Anne Benoit, Bora Uçar, Julien Herrmann, Ümit V. Çatalyürek
article
[Research Report] RR-9185, Inria Grenoble Rhône-Alpes. 2018, pp.1-34
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01817501/file/RR-9185-v3.pdf BibTex
titre
Scheduling independent stochastic tasks deadline and budget constraints
auteur
Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9178, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-34
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01811885/file/rr9178.pdf BibTex
titre
Distributed Termination Detection for HPC Task-Based Environments
auteur
George Bosilca, Aurelien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J. Dongarra
article
[Research Report] RR-9181, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-28
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01811823/file/rr9181.pdf BibTex
titre
Do moldable applications perform better on failure-prone HPC platforms?
auteur
Valentin Le Fèvre, George Bosilca, Aurelien Bouteiller, Thomas Herault, Atsushi Hori, Yves Robert, Jack J. Dongarra
article
[Research Report] RR-9174, Inria Grenoble Rhône-Alpes. 2018, pp.1-24
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01799498/file/rr9174.pdf BibTex
titre
A performance model to execute workflows on high-bandwidth memory architectures
auteur
Anne Benoit, Swann Perarnau, Loïc Pottier, Yves Robert
article
[Research Report] RR-9165, ENS Lyon; Inria Grenoble Rhône-Alpes; University of Tennessee Knoxville; Georgia Institute of Technology; Argonne National Laboratory. 2018, pp.1-28
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01767888/file/RR-9165.pdf BibTex
titre
Reliability-aware energy optimization for throughput-constrained applications on MPSoC
auteur
Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article
[Research Report] RR-9168, Laboratoire LIP, École Normale Supérieure de Lyon & CNRS & Inria, France; Shanghai Key Lab. of Trustworthy Computing, East China Normal University, China; Georgia Institute of Technology, USA. 2018, pp.1-35
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01766763/file/RR-9168.pdf 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
[Research Report] RR-9167, Inria. 2018, pp.1-29
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01766352/file/RR-9167.pdf BibTex
titre
Acyclic partitioning of large directed acyclic graphs
auteur
Julien Herrmann, M Yusuf Özkaya, Bora Uçar, Kamer Kaya, Ümit V. Çatalyürek
article
[Research Report] RR-9163, Inria - Research Centre Grenoble – Rhône-Alpes. 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01744603/file/RR-9163.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
[Research Report] RR-9154, Inria. 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01719728/file/RR-9154.pdf BibTex
titre
Combining Checkpointing and Replication for Reliable Execution of Linear Workflows
auteur
Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
article
[Research Report] RR-9152, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-36
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01714978/file/RR-9152.pdf BibTex
titre
Online Scheduling of Sequential Task Graphs on Hybrid Platforms
auteur
Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
article
[Research Report] RR-9150, LIP - ENS Lyon. 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01720064/file/RR-9150.pdf BibTex
titre
Platypus – A Multilingual Question Answering Platform for Wikidata
auteur
Thomas Pellissier Tanon, Marcos Dias de Assuncao, Eddy Caron, Fabian Suchanek
article
[Technical Report] LIP - ENS Lyon. 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01730479/file/platypus-multilingual-question%281%29.pdf BibTex

Theses

titre
On the Solution Phase of Direct Solvers for Sparse Linear Systems with Multiple Sparse Right-Hand Sides
auteur
Gilles Moreau
article
Distributed, Parallel, and Cluster Computing [cs.DC]. ENS Lyon; Université de Lyon, 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01959367/file/thesis.pdf BibTex
titre
Patterns in Large Graphs
auteur
Tien Nam Le
article
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN079⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02271942/file/LE_Tien_Nam_2018LYSEN079_These.pdf BibTex
titre
Centralized Optimization of the Association in IEEE 802.11 Networks
auteur
Mohammed Amer
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1238⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01984703/file/TH2018AmerMohammed.pdf BibTex
titre
Contributions to the hardness foundations of lattice-based cryptography
auteur
Weiqiang Wen
article
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01949339/file/WEN_Weiqiang_2018LYSEN070_These.pdf BibTex
titre
Privacy-preserving cryptography from pairings and lattices
auteur
Fabrice Mouhartem
article
Cryptography and Security [cs.CR]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN060⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01913872/file/MOUHARTEM_Fabrice_2018LYSEN060_These.pdf BibTex
titre
Toward an autonomic engine for scientific workflows and elastic Cloud infrastructure
auteur
Hadrien Croubois
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN061⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01988995/file/CROUBOIS_Hadrien_2018LYSEN061_These.pdf BibTex
titre
Discover, model and combine energy leverages for large scale energy efficient infrastructures
auteur
Issam Raïs
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN051⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01892387/file/RAIS_Issam_2018LYSEN051_These.pdf BibTex
titre
Co-scheduling for large-scale applications : memory and resilience
auteur
Loïc Pottier
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN039⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01892395/file/POTTIER_Loic_2018LYSEN039_These.pdf BibTex
titre
Lower bounds and reconstruction algorithms for sums of affine powers
auteur
Timothée Pecatte
article
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN029⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01896437/file/PECATTE_Timothee_2018LYSEN029_These.pdf BibTex
titre
Scheduling task graphs on modern computing platforms
auteur
Bertrand Simon
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN022⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01843558/file/SIMON_Bertrand_2018LYSEN022_These.pdf BibTex
titre
Detecting and Coloring some Graph Classes
auteur
Ngoc Khang Le
article
Computer Arithmetic. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN021⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01827619/file/LE_Ngoc_Khang_2018LYSEN021_These.pdf BibTex
titre
Parallelization of iterative methods to solve sparse linear systems using task based runtime systems on multi and many-core architectures : application to Multi-Level Domain Decomposition methods
auteur
Adrien Roussel
article
Numerical Analysis [cs.NA]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM010⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01753992/file/ROUSSEL_2018diffusion.pdf BibTex

Preprints, Working Papers, ...

titre
Entropy accumulation with improved second-order
auteur
Frederic Dupuis, Omar Fawzi
article
2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01925985/file/EAT-second-order-paper.pdf BibTex
titre
Analytic signal in many dimensions
auteur
Mikhail Tsitsvero, Pierre Borgnat, Paulo Gonçalves
article
2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01877403/file/Tsistvero.ACHA.2018.pdf BibTex
titre
Monoidal-Closed Categories of Tree Automata
auteur
Colin Riba
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01261183/file/longproofs.pdf BibTex
titre
Orbits of monomials and factorization into products of linear forms
auteur
Pascal Koiran, Nicolas Ressayre
article
2018
Accès au texte intégral et bibtex
https://hal.science/hal-01834524/file/invariants_hal.pdf BibTex
titre
Link transmission centrality in large-scale social networks
auteur
Qian Zhang, Márton Karsai, Alessandro Vespignani
article
2018
Accès au bibtex
https://arxiv.org/pdf/1802.05337 BibTex
titre
A Curry-Howard Approach to Church's Synthesis
auteur
Cécilia Pradic, Colin Riba
article
2018
Accès au bibtex
https://arxiv.org/pdf/1803.08958 BibTex
titre
Counting Environments and Closures
auteur
Pierre Lescanne, Maciej Bendkowski
article
2018
Accès au bibtex
BibTex
titre
Multiplierless Processing Element for Non-Power-of-Two FFTs
auteur
Fahad Qureshi, Anastasia Volkova, Thibault Hilaire, Jarmo Takala
article
2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01690832/file/multiplierless-processing-element.pdf BibTex