2018

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

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

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

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

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

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

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

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

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

titre: Dependent Types for Extensive Games
auteur: Pierre Lescanne
article: J. Formalized Reasoning, 2018
Accès au 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

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

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

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

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

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. ⟨10.37236/7211⟩
Accès au 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

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

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

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

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

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

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

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

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

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, 25 (2), pp.P2.39. ⟨10.37236/6922⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Complexity of Grundy coloring and its variants
auteur: Edouard Bonnet, Foucaud Florent, Eunjung Kim, Florian Sikora
article: Discrete Applied Mathematics, 2018, 243, pp.99-114. ⟨10.1016/j.dam.2017.12.022⟩
Accès au texte intégral et 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

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

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

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

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 texte intégral et 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), ⟨10.1145/3239164⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

titre: Adversarial vulnerability for any classifier
auteur: Alhussein Fawzi, Hamza Fawzi, Omar Fawzi
article: NeuroIPS 2018, Dec 2018, Montreal, Canada
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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, ⟨10.2140/obs.2019.2.275⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Behavioral interfaces for reconfiguration of component models
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reports

titre: Prospective Report of the scientific council of the Information Sciences and their interactions Institute of CNRS
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Translation

titre: Le fils de Gengis Khan, Ednodio Quintero
auteur: Jeanne Mousnier-Lompré, Philippe Dessommes, Luis Moreno Villamediana, Dimitri Albanese, Victorien Attenot, Alba Ballesta, Ricardo Bedoya, Isabelle Bleton, Lison Blondeau, David Crémaux, Elsa Crousier, Amalia Desbrest, Philippe Dessommes, Marianne Di Benedetto, Julien Esnay, Pomme Gérard, Marie Gourgues, Louise Ibanez-Drilleres, Lina Jabrane, Miriam Ould Aroussi, Judith Perrin, Alexandra Pichard, Valentine Piéplu, Angela Ramirez Carillo, Gabriella Serban, Denis Tarcelin, Camille Tidjditi., Ednodio Quintero
article: 2018
Accès au bibtex

Preprints, Working Papers, ...

titre: Analytic signal in many dimensions
auteur: Mikhail Tsitsvero, Pierre Borgnat, Paulo Gonçalves
article: 2018
Accès au texte intégral et bibtex

titre: Monoidal-Closed Categories of Tree Automata
auteur: Colin Riba
article: 2018
Accès au texte intégral et 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

titre: Link transmission centrality in large-scale social networks
auteur: Qian Zhang, Márton Karsai, Alessandro Vespignani
article: 2018
Accès au bibtex

titre: A Curry-Howard Approach to Church's Synthesis
auteur: Cécilia Pradic, Colin Riba
article: 2018
Accès au bibtex

titre: Counting Environments and Closures
auteur: Pierre Lescanne, Maciej Bendkowski
article: 2018
Accès au 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