2017

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

2017

Journal articles

titre: Max K-Armed Bandit: On the ExtremeHunter Algorithm and Beyond
auteur: Mastane Achab, Stéphan Clémençon, Aurélien Garivier, Anne Sabourin, Claire Vernade
article: Machine Learning and Knowledge Discovery in Databases ECML PKDD 2017, 2017, pp.389-404
Accès au bibtex

titre: Linearity in higher-order recursion schemes
auteur: Pierre Clairambault, Charles Grellois, Andrzej Murawski
article: Proceedings of the ACM on Programming Languages, 2017, 2, pp.1 - 29. ⟨10.1145/3158127⟩
Accès au bibtex

titre: Disjoint cycles of different lengths in graphs and digraphs
auteur: Julien Bensmail, Ararat Harutyunyan, Ngoc Khang Le, Binlong Li, Nicolas Lichiardopol
article: The Electronic Journal of Combinatorics, 2017, 24 (4)
Accès au texte intégral et bibtex

titre: Optimizing Affine Control with Semantic Factorizations
auteur: Christophe Alias, Alexandru Plesco
article: ACM Transactions on Architecture and Code Optimization, 2017, 14 (4), pp.27
Accès au texte intégral et bibtex

titre: Combinatorics of lambda-terms: a natural approach
auteur: Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
article: J. Log. Comput., 2017
Accès au bibtex

titre: Designing and Building SDN Testbeds for Energy-Aware Traffic Engineering Services
auteur: Marcos Dias de Assuncao, Radu Carpa, Laurent Lefèvre, Olivier Glück, Piotr Borylo, Artur Lason, Andrzej Szymanski, Michal Rzepka
article: Photonic Network Communications, 2017, 34 (3), pp.396--410. ⟨10.1007/s11107-017-0709-9⟩
Accès au texte intégral et bibtex

titre: Hardness of k-LWE and Applications in Traitor Tracing
auteur: San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld
article: Algorithmica, 2017, 79 (4), pp.1318 - 1352. ⟨10.1007/s00453-016-0251-7⟩
Accès au bibtex

titre: Modeling cascade formation in Twitter amidst mentions and retweets
auteur: Soumajit Pramanik, Qinna Wang, Maximilien Danisch, Jean-Loup Guillaume, Bivas Mitra
article: Social Network Analysis and Mining, 2017, 7 (1), ⟨10.1007/s13278-017-0462-1⟩
Accès au bibtex

titre: On variational expressions for quantum relative entropies
auteur: Mario Berta, Omar Fawzi, Marco Tomamichel
article: Letters in Mathematical Physics, 2017, 107 (12), pp.2239-2265
Accès au bibtex

titre: Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended Version)
auteur: Simon Castellan, Pierre Clairambault, Peter Dybjer
article: Logical Methods in Computer Science, 2017, ⟨10.23638/LMCS-13(4:22)2017⟩
Accès au texte intégral et bibtex

titre: Extensibility and Composability of a Multi-Stencil Domain Specific Framework
auteur: Hélène Coullon, Julien Bigot, Christian Pérez
article: International Journal of Parallel Programming, 2017, ⟨10.1007/s10766-017-0539-5⟩
Accès au texte intégral et bibtex

titre: Detecting an induced subdivision of K4
auteur: Ngoc Khang Le
article: Electronic Notes in Discrete Mathematics, 2017, 62, pp.315-320
Accès au bibtex

titre: Avoidability of Formulas with Two Variables
auteur: Pascal Ochem, Matthieu Rosenfeld
article: The Electronic Journal of Combinatorics, 2017, 24 (4), pp.#P4.30. ⟨10.37236/6536⟩
Accès au texte intégral et bibtex

titre: Möbius Stanchion Systems
auteur: Lucas Isenmann, Timothée Pecatte
article: Electronic Notes in Discrete Mathematics, 2017, 62, pp.177-182. ⟨10.1016/j.endm.2017.10.031⟩
Accès au bibtex

titre: Chromatic Number of ISK4-Free Graphs
auteur: Ngoc Khang Le
article: Graphs and Combinatorics, 2017, 33 (6), pp.1635-1646
Accès au bibtex

titre: Computing minimal interpolation bases
auteur: Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard
article: Journal of Symbolic Computation, 2017, 83, pp.272--314. ⟨10.1016/j.jsc.2016.11.015⟩
Accès au texte intégral et bibtex

titre: Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition
auteur: Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
article: Journal of Symbolic Computation, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
Accès au texte intégral et bibtex

titre: Ce que l'internet fait à l'écriture
auteur: Éric Guichard
article: La Revue Belge de Psychanalyse, 2017, Internet, l’écrit et les psychanalystes, 71, pp.1-7
Accès au texte intégral et bibtex

titre: Optimal focal length of primary mirrors in Fresnel linear collectors
auteur: Paola Boito, Roberto Grena
article: Solar Energy, 2017, 155, pp.1313 - 1318. ⟨10.1016/j.solener.2017.07.079⟩
Accès au bibtex

titre: Measure properties of regular sets of trees
auteur: Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
article: Information and Computation, 2017, 256, pp.108 - 130. ⟨10.1016/j.ic.2017.04.012⟩
Accès au bibtex

titre: Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix
auteur: George Labahn, Vincent Neiger, Wei Zhou
article: Journal of Complexity, 2017, ⟨10.1016/j.jco.2017.03.003⟩
Accès au texte intégral et bibtex

titre: Games and Strategies as Event Structures
auteur: Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
article: Logical Methods in Computer Science, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩
Accès au texte intégral et bibtex

titre: Petri Automata
auteur: Paul Brunet, Damien Pous
article: Logical Methods in Computer Science, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩
Accès au bibtex

titre: On the Complexity of the Block Low-Rank Multifrontal Factorization
auteur: Patrick Amestoy, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary
article: SIAM Journal on Scientific Computing, 2017, 39 (4), pp.34. ⟨10.1137/16M1077192⟩
Accès au texte intégral et bibtex

titre: A failure detector for HPC platforms
auteur: George Bosilca, Aurelien Bouteiller, Amina Guermouche, Thomas Herault, Yves Robert, Pierre Sens, Jack Dongarra
article: International Journal of High Performance Computing Applications, 2017, 32 (1), pp.139-158. ⟨10.1177/1094342017711505⟩
Accès au bibtex

titre: k-Abelian Equivalence and Rationality
auteur: Julien Cassaigne, Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland
article: Fundamenta Informaticae, 2017, 154 (1-4), pp.65-94. ⟨10.3233/FI-2017-1553⟩
Accès au texte intégral et bibtex

titre: Simulating MPI applications: the SMPI approach
auteur: Augustin Degomme, Arnaud Legrand, Georges Markomanolis, Martin Quinson, Mark Lee Stillwell, Frédéric Suter
article: IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩
Accès au texte intégral et bibtex

titre: Inria: From Cold War Computing to Digital Sciences
auteur: Pascal Guitton, Philippe Nain, François X. Sillion
article: Computer, 2017, 50 (8), pp.8-12. ⟨10.1109/MC.2017.3001238⟩
Accès au bibtex

titre: Focusing in Orthologic
auteur: Olivier Laurent
article: Logical Methods in Computer Science, 2017, 13 (3), pp.6. ⟨10.23638/LMCS-13(3:6)2017⟩
Accès au bibtex

titre: A Real QZ Algorithm for Structured Companion Pencils
auteur: Paola Boito, Yuli Eidelman, Luca Gemignani
article: Calcolo, 2017, ⟨10.1007/s10092-017-0231-6⟩
Accès au texte intégral et bibtex

titre: Towards Optimal Multi-Level Checkpointing
auteur: Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article: IEEE Transactions on Computers, 2017, 66 (7), pp.1212-1226. ⟨10.1109/TC.2016.2643660⟩
Accès au texte intégral et bibtex

titre: On the robustness of the 2Sum and Fast2Sum algorithms
auteur: Sylvie Boldo, Stef Graillat, Jean-Michel Muller
article: ACM Transactions on Mathematical Software, 2017, 44 (1)
Accès au texte intégral et bibtex

titre: Controlling the Correlation of Cost Matrices to Assess Scheduling Algorithm Performance on Heterogeneous Platforms
auteur: Louis-Claude Canon, Pierre-Cyrille Héam, Laurent Philippe
article: Concurrency and Computation: Practice and Experience, 2017, 29 (15), pp.e4185 (27). ⟨10.1002/cpe.4185⟩
Accès au texte intégral et bibtex

titre: Nu@ge: A container-based cloud computing service federation
auteur: Daniel Balouek-Thomert, Eddy Caron, Pascal Gallard, Laurent Lefèvre
article: Concurrency and Computation: Practice and Experience, 2017, 29 (11), ⟨10.1002/cpe.4049⟩
Accès au bibtex

titre: Gender context effects in noun recognition: grammatical cues or co-occurrence effects?
auteur: Cindy Bellanger, Jean-Pierre Chevrot, Elsa Spinelli
article: Language, Cognition and Neuroscience, 2017, 32 (9), pp.1204 - 1209. ⟨10.1080/23273798.2017.1335876⟩
Accès au bibtex

titre: Improving fairness between close Wi-Fi access points
auteur: Bertrand Ducourthial, Stéphane Mottelet, Anthony Busson
article: Journal of Network and Computer Applications (JNCA), 2017, 87, pp.87-99. ⟨10.1016/j.jnca.2017.03.001⟩
Accès au bibtex

titre: On the Heterogeneity Bias of Cost Matrices for Assessing Scheduling Algorithms
auteur: Louis-Claude Canon, Laurent Philippe
article: IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (6), pp.1675 - 1688
Accès au texte intégral et bibtex

titre: Spatio-temporal thermal-aware scheduling for homogeneous high-performance computing datacenters
auteur: Hongyang Sun, Patricia Stolf, Jean-Marc Pierson
article: Future Generation Computer Systems, 2017, 71, pp.157-170. ⟨10.1016/j.future.2017.02.005⟩
Accès au texte intégral et bibtex

titre: Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver
auteur: Daniil Shantsev, Piyoosh Jaysaval, Sébastien de La Kethulle de Ryhove, Patrick Amestoy, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary
article: Geophysical Journal International, 2017, 209 (3), pp.1558-1571. ⟨10.1093/gji/ggx106⟩
Accès au texte intégral et bibtex

titre: Analogues of Cliques for (m,n)-colored Mixed Graphs
auteur: Julien Bensmail, Christopher Duffy, Sagnik Sen
article: Graphs and Combinatorics, 2017, 33 (4), pp.735-750. ⟨10.1007/s00373-017-1807-2⟩
Accès au texte intégral et bibtex

titre: Resilient co-scheduling of malleable applications
auteur: Anne Benoit, Loïc Pottier, Yves Robert
article: International Journal of High Performance Computing Applications, 2017, ⟨10.1177/1094342017704979⟩
Accès au texte intégral et bibtex

titre: A Proof of the Barát–Thomassen Conjecture
auteur: Julien Bensmail, Ararat Harutyunyan, Tien-Nam Le, Martin Merker, Stéphan Thomassé
article: Journal of Combinatorial Theory, Series B, 2017, 124, pp.39 - 55. ⟨10.1016/j.jctb.2016.12.006⟩
Accès au texte intégral et bibtex

titre: Safety Message Generation Rate Adaptation in LTE-based Vehicular Networks
auteur: Hossein Soleimani, Thomas Begin, Azzedine Boukerche
article: Computer Networks, 2017, pp.11. ⟨10.1016/j.comnet.2017.04.054⟩
Accès au texte intégral et bibtex

titre: Burstiness and tie activation strategies in time-varying social networks
auteur: Enrico Ubaldi, Alessandro Vezzani, Màrton Karsai, Nicola Perra, Raffaella Burioni
article: Scientific Reports, 2017, 7, ⟨10.1038/srep46225⟩
Accès au bibtex

titre: Exponential sums and correctly-rounded functions
auteur: Nicolas Brisebarre, Guillaume Hanrot, Olivier Robert
article: IEEE Transactions on Computers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
Accès au texte intégral et bibtex

titre: Efficient maximum matching algorithms for trapezoid graphs
auteur: Phan-Thuan Do, Ngoc-Khang Le, Van-Thieu Vu
article: Electronic Journal of Graph Theory and Applications, 2017, 5 (1), pp.7-20
Accès au bibtex

titre: Quantum-Proof Randomness Extractors via Operator Space Theory
auteur: Mario Berta, Omar Fawzi, Volkher Scholz
article: IEEE Transactions on Information Theory, 2017, 63 (4), pp.2480-2503
Accès au bibtex

titre: Łukasiewicz μ-calculus
auteur: Matteo Mio, Alex Simpson
article: Fundamenta Informaticae, 2017, 150 (3-4), pp.317 - 346. ⟨10.3233/FI-2017-1472⟩
Accès au bibtex

titre: The road to energy efficient optical access: GreenTouch final results
auteur: Sofie Lambert, Prasanth Ananth, Peter Vetter, Ka-Lun Lee, Jie Li, Xin Yin, Hungkei Chow, Jean-Patrick Gelas, Laurent Lefèvre, Dominique Chiaroni, Bart Lannoo, Mario Pickavet
article: Journal of Optical Communications and Networking, 2017
Accès au bibtex

titre: L'acquisition des liaisons après les clitiques préverbaux est-elle spécifique ? Apport d'une expérimentation à grande échelle
auteur: Céline Dugua, Aurélie Nardy, Loïc Liégeois, Jean-Pierre Chevrot, Damien Chabanal
article: Journal of French Language Studies, 2017, La liaison en français contemporain: normes, usages, acquisitions, 27 (01), pp.73 - 86. ⟨10.1017/S0959269516000387⟩
Accès au bibtex

titre: Renewable-aware Geographical Load Balancing of Web Applications for Sustainable Data Centers
auteur: Adel Nadjaran Toosi, Chenhao Qu, Marcos Dias de Assuncao, Rajkumar Buyya
article: Journal of Network and Computer Applications (JNCA), 2017, 83, pp.155-168. ⟨10.1016/j.jnca.2017.01.036⟩
Accès au bibtex

titre: On a directed variation of the 1-2-3 and 1-2 Conjectures
auteur: Emma Barme, Julien Bensmail, Jakub Przybyło, Mariusz Woźniak
article: Discrete Applied Mathematics, 2017, 217 (2), pp.123-131
Accès au texte intégral et bibtex

titre: Toward an Optimal Online Checkpoint Solution under a Two-Level HPC Checkpoint Model
auteur: Sheng Di, Yves Robert, Frédéric Vivien, Franck Cappello
article: IEEE Transactions on Parallel and Distributed Systems, 2017, 28 (1), pp.16. ⟨10.1109/TPDS.2016.2546248⟩
Accès au texte intégral et bibtex

titre: Improving the Performance of Challenged Networks with Controlled Mobility
auteur: Isabelle Guérin-Lassous, Laurent Reynaud
article: Mobile Networks and Applications, 2017
Accès au bibtex

titre: On cardinalities of k-abelian equivalence classes
auteur: Juhani Karhumaki, Svetlana Puzynina, Michael Rao, Markus Whiteland
article: Theoretical Computer Science, 2017, 658, pp.190-204
Accès au bibtex

titre: A notion of effectiveness for subshifts on finitely generated groups
auteur: Nathalie Aubrun, Sebastián Barbieri, Mathieu Sablik
article: Theoretical Computer Science, 2017, 661, pp.35-55. ⟨10.1016/j.tcs.2016.11.033⟩
Accès au texte intégral et bibtex

titre: Colouring perfect graphs with bounded clique number
auteur: Maria Chudnovsky, Aurélie Lagoutte, Paul Seymour, Sophie Spirkl
article: Journal of Combinatorial Theory, Series B, 2017, 122, pp.757-775. ⟨10.1016/j.jctb.2016.09.006⟩
Accès au texte intégral et bibtex

titre: Multi-server preemptive priority queue with general arrivals and service times
auteur: Alexandre Brandwajn, Thomas Begin
article: Performance Evaluation, 2017, ⟨10.1016/j.peva.2017.08.003⟩
Accès au texte intégral et bibtex

titre: A Polynomial Turing-Kernel for Weighted Independent Set in Bull-Free Graphs
auteur: Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković
article: Algorithmica, 2017, 77 (3), pp.619 - 641. ⟨10.1007/s00453-015-0083-x⟩
Accès au bibtex

titre: On Triangle-Free Graphs That Do Not Contain a Subdivision of the Complete Graph on Four Vertices as an Induced Subgraph
auteur: Nicolas Trotignon, Kristina Vušković
article: Journal of Graph Theory, 2017, 84 (3), pp.233 - 248. ⟨10.1002/jgt.22023⟩
Accès au bibtex

titre: On Matrices With Displacement Structure: Generalized Operators and Faster Algorithms
auteur: Alin Bostan, Claude-Pierre Jeannerod, Christophe Mouilleron, Eric Schost
article: SIAM Journal on Matrix Analysis and Applications, 2017, 38 (3), pp.733-775. ⟨10.1137/16M1062855⟩
Accès au texte intégral et bibtex

titre: Periodicity in optimal hierarchical checkpointing schemes for adjoint computations
auteur: Guillaume Aupy, Julien Herrmann
article: Optimization Methods and Software, 2017, 32 (3), pp.594-624. ⟨10.1080/10556788.2016.1230612⟩
Accès au texte intégral et bibtex

titre: Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
auteur: Alin Bostan, Louis Dumont, Bruno Salvy
article: Journal of Symbolic Computation, 2017, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, pp.68-92. ⟨10.1016/j.jsc.2016.11.006⟩
Accès au bibtex

titre: Combining Range and Inequality Information for Pointer Disambiguation
auteur: Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article: Science of Computer Programming, 2017
Accès au texte intégral et bibtex

titre: On rank-width of even-hole-free graphs
auteur: Isolde Adler, Ngoc Khang Le, Haiko Müller, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic
article: Discrete Mathematics and Theoretical Computer Science, 2017, 19 (1)
Accès au bibtex

titre: Equistarable Graphs and Counterexamples to Three Conjectures on Equistable Graphs
auteur: Martin Milanič, Nicolas Trotignon
article: Journal of Graph Theory, 2017, 84 (3), pp.536 - 551. ⟨10.1002/jgt.22040⟩
Accès au bibtex

titre: Strong Emergence of Wave Patterns on Kadanoff Sandpiles
auteur: Kévin Perrot, Eric Rémila
article: The Electronic Journal of Combinatorics, 2017, 24 (2), pp. 2-4
Accès au texte intégral et bibtex

titre: Error bounds on complex floating-point multiplication with an FMA
auteur: Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller
article: Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Accès au texte intégral et bibtex

titre: Efficient checkpoint/verification patterns
auteur: Anne Benoit, Saurabh K. Raina, Yves Robert
article: International Journal of High Performance Computing Applications, 2017, 31 (1), pp.52-65. ⟨10.1177/1094342015594531⟩
Accès au texte intégral et bibtex

titre: Weighted Lattice Walks and Universality Classes
auteur: J Courtiel, Stephen Melczer, Marni Mishna, Kilian Raschel
article: Journal of Combinatorial Theory, Series A, 2017, ⟨10.1016/j.jcta.2017.06.008⟩
Accès au texte intégral et bibtex

titre: An unexpected journey: A few lessons from sciences Po médialab's experience
auteur: Tommaso Venturini, Mathieu Jacomy, Axel Meunier, Bruno Latour
article: Big Data & Society, 2017, 4 (2), ⟨10.1177/2053951717720949⟩
Accès au texte intégral et bibtex

titre: Understanding Social Networks and Social Protection: Insights on Demonetisation from Rural Tamil Nadu
auteur: Govindan Venkatasubramanian, Christophe Jalil Nordman, Sebastien Michiels, Youna Lanos, Isabelle Guérin
article: Economic and political weekly, 2017, 52 (52)
Accès au bibtex

titre: Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
auteur: Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article: Concurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Accès au texte intégral et bibtex

titre: Tight and rigorous error bounds for basic building blocks of double-word arithmetic
auteur: Mioara Maria Joldes, Jean-Michel Muller, Valentina Popescu
article: ACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩
Accès au texte intégral et bibtex

titre: Multiple binomial sums
auteur: Alin Bostan, Pierre Lairez, Bruno Salvy
article: Journal of Symbolic Computation, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩
Accès au texte intégral et bibtex

titre: Correctly Rounded Arbitrary-Precision Floating-Point Summation
auteur: Vincent Lefèvre
article: IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩
Accès au texte intégral et bibtex

titre: Absolute Real Root Separation
auteur: Yann Bugeaud, Andrej Dujella, Tomislav Pejković, Bruno Salvy
article: The American Mathematical Monthly, 2017, 124 (10), pp.930-936. ⟨10.4169/amer.math.monthly.124.10.930⟩
Accès au bibtex

titre: Narrating Networks
auteur: Liliana Bounegru, Tommaso Venturini, Jonathan Gray, Mathieu Jacomy
article: Digital Journalism , 2017, 5 (6), pp.699-730. ⟨10.1080/21670811.2016.1186497⟩
Accès au texte intégral et bibtex

titre: Lower Bounds by Birkhoff Interpolation
auteur: Ignacio Garcia-Marco, Pascal Koiran
article: Journal of Complexity, 2017
Accès au texte intégral et bibtex

titre: Colouring graphs with constraints on connectivity
auteur: Pierre Aboulker, Nick Brettell, Frédéric Havet, Dániel Marx, Nicolas Trotignon
article: Journal of Graph Theory, 2017, 85 (4), pp.814-838. ⟨10.1002/jgt.22109⟩
Accès au texte intégral et bibtex

titre: Rigorous Measurement of the Internet Degree Distribution
auteur: Matthieu Latapy, Elie Rotenberg, Christophe Crespelle, Fabien Tarissan
article: Complex Systems , 2017, 26 (1)
Accès au texte intégral et bibtex

titre: Graphs with No Induced Five-Vertex Path or Antipath
auteur: Maria Chudnovsky, Louis Esperet, Laetitia Lemoine, Peter Maceli, Frédéric Maffray, Irena Penev
article: Journal of Graph Theory, 2017, 84 (3), pp.221-232. ⟨10.1002/jgt.22022⟩
Accès au bibtex

Conference papers

titre: Faster and Enhanced Inclusion-Minimal Cograph Completion
auteur: Christophe Crespelle, Daniel Lokshtanov, Thi Ha Duong Phan, Eric Thierry
article: 11th Annual International Conference on Combinatorial Optimization and Applications – COCOA 2017, Dec 2017, Shanghai, China
Accès au bibtex

titre: Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash
auteur: Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
article: Asiacrypt 2017, Dec 2017, Hong Kong, China
Accès au texte intégral et bibtex

titre: ABE with Tag Made Easy: Concise Framework and New Instantiations in Prime-order Groups
auteur: Jie Chen, Junqing Gong
article: Asiacrypt 2017, Dec 2017, Hong Kong, China
Accès au texte intégral et bibtex

titre: Adaptive Oblivious Transfer with Access Control from Lattice Assumptions
auteur: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article: ASIACRYPT 2017 - Advances in Cryptology, Dec 2017, Hong Kong, China. pp.533-563, ⟨10.1007/978-3-319-70694-8_19⟩
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: COMPLEX NETWORKS 2017 - 6th International Conference on Complex Networks and Their Applications, Nov 2017, Lyon, France
Accès au bibtex

titre: Evaluating the Impact of SDN-Induced Frequent Route Changes on TCP Flows
auteur: Radu Carpa, Marcos Dias de Assuncao, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article: CNSM2017 : 13th International Conference on Network and Service Management, Nov 2017, Tokyo, Japan
Accès au texte intégral et bibtex

titre: Simulation Toolbox for Studying Energy Consumption in Wired Networks
auteur: Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre
article: CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
Accès au texte intégral et bibtex

titre: Grammaticalization of the French and Bulgarian Causative Constructions. Some Diachronic and Developmental Aspects
auteur: Yanka Bezinska, Iva Novakova, Jean-Pierre Chevrot
article: La linguistique contrastive : méthodologies, applications et perspectives, Université Marie Curie-Skłodowska, Nov 2017, Lublin, Poland. pp.29-42
Accès au bibtex

titre: How social, economic and demographic forces shape linguistic variation on Twitter
auteur: Jacobo Levy Abitbol, Márton Karsai, Jean-Pierre Chevrot, Jean-Philippe Magué, Eric Fleury
article: POPLANG 2017 - Workshop Population effects on languages: Modelling population dynamics and language transmission from the perspective of language learning, contact and change, Nov 2017, Lyon, France
Accès au bibtex

titre: Réalisation d'expériences avec Grid'5000
auteur: Simon Delamare, Pascal Morillon, Lucas Nussbaum
article: JRES2017 - Journées Réseaux de l'enseignement et de la recherche, Nov 2017, Nantes, France
Accès au texte intégral et bibtex

titre: Periodic I/O scheduling for super-computers
auteur: Guillaume Aupy, Ana Gainaru, Valentin Le Fèvre
article: PMBS 2017 - 8th International Workshop High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, Nov 2017, Denver (CO), United States. pp.1-22
Accès au texte intégral et bibtex

titre: Budget-aware scheduling algorithms for scientific workflows on IaaS Cloud platforms
auteur: Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article: WORKS 2017 - 12th Workshop Workflows in Support of Large-Scale Science, Nov 2017, Denver, United States. pp.1
Accès au bibtex

titre: Efficient decoding of random errors for quantum expander codes
auteur: Antoine Grospellier, Anthony Leverrier, Omar Fawzi
article: Journées Informatique Quantique 2017, Nov 2017, Bordeaux, France. pp.521-534
Accès au texte intégral et bibtex

titre: The optional realization of the French negative particle (ne) on Twitter: Space, status and time
auteur: Jacobo Levy Abitbol, Jean-Pierre Chevrot, Màrton Karsai, Jean-Philippe Magué, Yannick Léo, Aurélie Nardy, Eric Fleury
article: New Ways of Analyzing Variation 46, Nov 2017, Madison, United States
Accès au bibtex

titre: Efficient Public Trace and Revoke from Standard Assumptions
auteur: Shweta Agrawal, Sanjay Bhattacherjee, Duong Hieu Phan, Damien Stehlé, Shota Yamada
article: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS'2017, Oct 2017, Dallas, United States
Accès au bibtex

titre: On the relative error of computing complex square roots in floating-point arithmetic
auteur: Claude-Pierre Jeannerod, Jean-Michel Muller
article: ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩
Accès au texte intégral et bibtex

titre: Interfaces of sociolinguistics: Cognition and massive data
auteur: Jean-Pierre Chevrot
article: Indiana University's Horizons of Knowledge lecture, University of Indiana, Oct 2017, Bloomington, United States
Accès au bibtex

titre: Towards including batch services in models for DPDK-based virtual switches
auteur: Zidong Su, Thomas Begin, Bruno Baynat
article: IEEE Global Information Infrastructure and Networking Symposium (GIIS 2017), Oct 2017, Saint Pierre, France. pp.37-44
Accès au texte intégral et bibtex

titre: Question Answering Benchmarks for Wikidata
auteur: Dennis Diefenbach, Thomas Pellissier Tanon, Kamal Singh, Pierre Maret
article: ISWC 2017, Oct 2017, Vienne, Austria
Accès au texte intégral et bibtex

titre: Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms
auteur: João V.F. Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
article: SBAC-PAD 2017 - International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.1-6, ⟨10.1109/SBAC-PADW.2017.10⟩
Accès au bibtex

titre: Social interactions and language development at preschool: benefits from interdisciplinarity and big data
auteur: Aurélie Nardy, Jean-Pierre Chevrot, Eric Fleury, Màrton Karsai
article: Many Paths to Language (MPaL), Oct 2017, Nimègue, Netherlands
Accès au bibtex

titre: Acquisition of sociolinguistic style – Exploring how children process variation
auteur: Laurence Buson, Aurélie Nardy, Agnès Souque, Emilie Charles, Jean-Pierre Chevrot
article: Many Paths to Language (MPaL), Oct 2017, Nijmegen, Netherlands
Accès au bibtex

titre: Bio-curation for cellular signalling
auteur: Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
article: Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. ⟨10.1007/978-3-319-67471-1_1⟩
Accès au bibtex

titre: Formal Verification of a Floating-Point Expansion Renormalization Algorithm
auteur: Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article: 8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil
Accès au texte intégral et bibtex

titre: A cut-free cyclic proof system for Kleene algebra
auteur: Anupam Das, Damien Pous
article: TABLEAUX, Sep 2017, Brasilia, Brazil
Accès au texte intégral et bibtex

titre: Optional realisation of the French negative particle (ne) on Twitter: Can big data reveal new sociolinguistic patterns?
auteur: Jacobo Levy Abitbol, Márton Karsai, Jean-Philippe Magué, Jean-Pierre Chevrot, Eric Fleury
article: CCS 2017 - Conference on Complex Systems , Sep 2017, Cancun, Mexico
Accès au bibtex

titre: On Some Interesting Ternary Formulas
auteur: Pascal Ochem, Matthieu Rosenfeld
article: WORDS 2017 - 11th International Conference on Combinatorics on Words, Sep 2017, Montreal, Canada. pp.30-35, ⟨10.1007/978-3-319-66396-8_4⟩
Accès au bibtex

titre: Sociolinguistic perception: Linguistic knowledge and social categories
auteur: Jean-Pierre Chevrot
article: Language and perception, Sep 2017, Berne, Switzerland
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 Cluster 2017, Sep 2017, Honolulu, United States. ⟨10.1109/CLUSTER.2017.14⟩
Accès au texte intégral et bibtex

titre: On Decidability of Concurrent Kleene Algebra
auteur: Paul Brunet, Damien Pous, Georg Struth
article: CONCUR, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex

titre: Lévy Flights for Graph Based Semi-Supervised Classification.
auteur: Esteban Bautista, Sarah de Nigris, Patrice Abry, Konstantin Avrachenkov, Paulo Gonçalves
article: 26th colloquium GRETSI, Sep 2017, Juan-Les-Pins, France
Accès au bibtex

titre: Assuming failure independence: are we right to be wrong?
auteur: Guillaume Aupy, Yves Robert, Frédéric Vivien
article: FTS 2017 - 3rd International Workshop on Fault-Tolerant Systems, Sep 2017, Honolulu (HI), United States. pp.1-8, ⟨10.1109/CLUSTER.2017.24⟩
Accès au texte intégral et bibtex

titre: Divergence and unique solution of equations
auteur: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article: CONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.1 - 7, ⟨10.4230/LIPIcs.CONCUR.2017.7⟩
Accès au texte intégral et bibtex

titre: A Curry-Howard Approach to Church's Synthesis
auteur: Cécilia Pradic, Colin Riba
article: FSCD'17, Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.29⟩
Accès au texte intégral et bibtex

titre: Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
auteur: Simon Castellan, Pierre Clairambault, Glynn Winskel
article: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Sep 2017, Oxford, United Kingdom. pp.1 - 12, ⟨10.4230/LIPIcs.FSCD.2017.12⟩
Accès au texte intégral et bibtex

titre: Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
auteur: Louis-Claude Canon, Loris Marchal, Frédéric Vivien
article: Euro-Par 2017: 23rd International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain. ⟨10.1007/978-3-319-64203-1_17⟩
Accès au texte intégral et bibtex

titre: An Efficient Communication Aware Heuristic for Multiple Cloud Application Placement
auteur: Pedro Silva, Christian Pérez
article: Europar 2017 - 23rd European Conference on Parallel Processing, Aug 2017, Santiago de Compostela, Spain. pp.1-13, ⟨10.1007/978-3-319-64203-1_27⟩
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: EUSIPCO 2017 - 25th European Signal Processing Conference, Aug 2017, Kos Island, Greece
Accès au bibtex

titre: Coloring dense digraphs
auteur: Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
article: The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Aug 2017, Vienna, Austria. pp.577-583
Accès au bibtex

titre: Decomposing graphs into paths and trees
auteur: Tereza Klimošová, Stéphan Thomassé
article: The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Aug 2017, Vienna, Austria. pp.751-757
Accès au bibtex

titre: Shutdown Policies with Power Capping for Large Scale Computing Systems
auteur: Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie, Issam Raïs
article: Euro-Par: International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain. pp.134 - 146, ⟨10.1109/COMST.2016.2545109⟩
Accès au texte intégral et bibtex

titre: Distributed Strategies Made Easy
auteur: Simon Castellan, Pierre Clairambault, Glynn Winskel
article: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.81⟩
Accès au texte intégral et bibtex

titre: Production Deployment Tools for IaaSes: an Overall Model and Survey
auteur: Hélène Coullon, Dimitri Pertin, Christian Pérez
article: The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩
Accès au texte intégral et bibtex

titre: K4-free Graphs as a Free Algebra
auteur: Enric Cosme-Llópez, Damien Pous
article: 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark
Accès au texte intégral et bibtex

titre: All-But-Many Lossy Trapdoor Functions and Selective Opening Chosen-Ciphertext Security from LWE
auteur: Benoît Libert, Amin Sakzad, Damien Stehlé, Ron Steinfeld
article: Crypto 2017 - 37th International Cryptology Conference, Aug 2017, Santa Barbara, United States. pp.332 - 364, ⟨10.1007/978-3-662-53018-4_18⟩
Accès au texte intégral et bibtex

titre: Strategies with Parallel Causes
auteur: Marc de Visme, Glynn Winskel
article: Computer Science Logic 2017 (CSL), Aug 2017, Stockholm, Sweden
Accès au texte intégral et bibtex

titre: Encryption Switching Protocols Revisited: Switching Modulo $p$
auteur: Guilhem Castagnos, Laurent Imbert, Fabien Laguillaumie
article: CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.255-287, ⟨10.1007/978-3-319-63688-7_9⟩
Accès au texte intégral et bibtex

titre: UdL at SemEval-2017 Task 1: Semantic Textual Similarity Estimation of English Sentence Pairs Using Regression Model over Pairwise Features
auteur: Hussein T Al-Natsheh, Lucie Martinet, Fabrice Muhlenbach, Djamel Abdelkader Zighed
article: 11th International Workshop on Semantic Evaluation (SemEval-2017), Aug 2017, Vancouver, Canada. pp.115-119
Accès au bibtex

titre: Computing Canonical Bases of Modules of Univariate Relations
auteur: Vincent Neiger, Thi Xuan Vu
article: ISSAC '17 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8
Accès au texte intégral et bibtex

titre: Reconstruction Algorithms for Sums of Affine Powers
auteur: Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte
article: International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2017, Kaiserslautern, Germany
Accès au texte intégral et bibtex

titre: Optimized Binary64 and Binary128 Arithmetic with GNU MPFR
auteur: Vincent Lefèvre, Paul Zimmermann
article: 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
Accès au texte intégral et bibtex

titre: Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming
auteur: Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article: IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Accès au texte intégral et bibtex

titre: The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal
auteur: Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet
article: ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8
Accès au texte intégral et bibtex

titre: Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
auteur: Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong Zhi
article: ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Accès au bibtex

titre: A longitudinal analysis of personal network and of the development of sociolinguistic competence during a study abroad
auteur: Rozenn Gautier, Jean-Pierre Chevrot
article: 18th World Congress of Applied Linguistic: Innovation and Epistemological Challenges (AILA 2017), Jul 2017, Rio de Janeiro, Brazil
Accès au bibtex

titre: Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers
auteur: Arthur Blot, Jean-Michel Muller, Laurent Théry
article: Numerical Software Verification, Jul 2017, Heidelberg, Germany
Accès au texte intégral et bibtex

titre: Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic
auteur: Nathalie Revol
article: 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩
Accès au texte intégral et bibtex

titre: Universal Adversarial Perturbations
auteur: Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Omar Fawzi, Pascal Frossard
article: 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, France. pp.86-94
Accès au bibtex

titre: Liaison acquisition, theoretical issues and available results
auteur: Jean-Pierre Chevrot, Ruvoletto Samantha, Sophie Wauquier
article: 14th International Congress for the Study of Child Language, Jul 2017, Lyon, France
Accès au bibtex

titre: Constraints on the acquisition of sociolinguistic variation in monolingual and multilingual contexts
auteur: Jean-Pierre Chevrot, Véronique Lacoste
article: 14th International Congress for the Study of Child Language, Jul 2017, Lyon, France
Accès au bibtex

titre: A new model for DPDK-based virtual switches
auteur: Zidong Su, Bruno Baynat, Thomas Begin
article: IEEE Conference on Network Softwarization (IEEE NetSoft 2017), Jul 2017, Bologna, Italy. pp.1-5
Accès au texte intégral et bibtex

titre: Efficient Solution of Shifted Quasiseparable Systems and Applications
auteur: Paola Boito, Yuli Eidelman, Luca Gemignani
article: CMMSE 2017 - 17th International Conference on Computational and Mathematical Methods in Science and Engineering, Jul 2017, Cadiz, Spain. pp.1-4
Accès au texte intégral et bibtex

titre: Sensing as a Complexity Measure
auteur: Shaull Almagor, Denis Kuperberg, Orna Kupferman
article: 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Accès au texte intégral et bibtex

titre: Comment estimer la consommation énergétique de processus avec seulement un wattmètre (et un solveur) ?
auteur: Valentin Lorentz, Laurent Lefèvre, Gilles Fedak
article: ComPAS 2017 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2017, Nice, France
Accès au texte intégral et bibtex

titre: Étude de l'impact d'une clause d'affinité sur les performances et l'énergie dans un support exécutif OpenMP
auteur: Philippe Virouleau
article: Compas 2017, Jun 2017, Sophia Antipolis, France
Accès au texte intégral et bibtex

titre: Assessing the Impact of Network Bandwidth and Operator Placement on Data Stream Processing for Edge Computing Environments
auteur: Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
article: COMPAS'2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Antibes, France
Accès au texte intégral et bibtex

titre: Ordonnancement multi-objectifs de workflows dans le cloud : un modèle plus réaliste avec tâches de durée stochastique
auteur: Aurélie Kong Win Chang
article: Compas 2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France. pp.1-7
Accès au texte intégral et bibtex

titre: Optimal Checkpointing Period with Replicated Execution on Heterogeneous Platforms
auteur: Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert
article: 2017 Workshop on Fault-Tolerance for HPC at Extreme Scale FTXS, Jun 2017, Washington, United States. pp.9-16, ⟨10.1145/3086157.3086165⟩
Accès au texte intégral et bibtex

titre: Identifying the Right Replication Level to Detect and Correct Silent Errors at Scale
auteur: Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article: 2017 Workshop on Fault-Tolerance for HPC at Extreme Scale FTXS, Jun 2017, Washington DC, United States. pp.31-38, ⟨10.1145/3086157.3086162⟩
Accès au texte intégral et bibtex

titre: Riesz Modal logic for Markov processes
auteur: Matteo Mio, Robert Furber, Radu Mardare
article: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005091⟩
Accès au bibtex

titre: More accurate complex multiplication for embedded processors
auteur: Claude-Pierre Jeannerod, Christophe Monat, Laurent Thévenoux
article: 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017), Jun 2017, Toulouse, France
Accès au texte intégral et bibtex

titre: Optional realization of the French negative particule (ne) on Twitter: Can big data reveal new sociolinguistic patterns?
auteur: Paul Mangold, Yannick Léo, Jean-Pierre Chevrot, Eric Fleury, Márton Karsai, Jean-Philippe Magué, Aurélie Nardy, Julie Peuvergne
article: ICLAVE 9 2017 - International Conference on Language Variation in Europe, Jun 2017, Malaga, Spain
Accès au bibtex

titre: Don't Hurry be Happy: a Deadline-based Backfilling Approach
auteur: Tchimou N 'Takpé, Frédéric Suter
article: JSSPP 2017 - 21st Workshop on Job Scheduling Strategies for Parallel Processing, Jun 2017, Orlando, FL, United States. pp.1-20
Accès au texte intégral et bibtex

titre: Monoidal Company for Accessible Functors
auteur: Henning Basold, Damien Pous, Jurriaan Rot
article: CALCO, Jun 2017, Ljubljana, Slovenia
Accès au texte intégral et bibtex

titre: Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩
Accès au texte intégral et bibtex

titre: A simple method to infer Wi-Fi conflict graph
auteur: Anthony Busson, Eric Fleury, Ngoc Minh Phung
article: Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France
Accès au texte intégral et bibtex

titre: Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur: Loris Marchal, Samuel Mccauley, Bertrand Simon, Frédéric Vivien
article: 19th Workshop on Advances in Parallel and Distributed Computational Models, May 2017, Orlando, United States. ⟨10.1109/IPDPSW.2017.58⟩
Accès au texte intégral et bibtex

titre: Communication-aware task placement for workflow scheduling on DaaS-based Cloud
auteur: Hadrien Croubois, Eddy Caron
article: Workshop PDCO 2017. Parallel / Distributed Computing and Optimization, May 2017, Orlando, FL., United States
Accès au texte intégral et bibtex

titre: Bidiagonalization and R-Bidiagonalization: Parallel Tiled Algorithms, Critical Paths and Distributed-Memory Implementation
auteur: Mathieu Faverge, Julien Langou, Yves Robert, Jack Dongarra
article: IPDPS'17 - 31st IEEE International Parallel and Distributed Processing Symposium , May 2017, Orlando, United States
Accès au texte intégral et bibtex

titre: Dynamic Memory-Aware Task-Tree Scheduling
auteur: Guillaume Aupy, Clément Brasseur, Loris Marchal
article: IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium, May 2017, Orlando, United States. pp.10
Accès au texte intégral et bibtex

titre: Co-scheduling algorithms for cache-partitioned systems
auteur: Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article: APDCM 2017 - 19th Workshop on Advances in Parallel and Distributed Computational Models, May 2017, Orlando (FL), United States. pp.1-10, ⟨10.1109/IPDPSW.2017.60⟩
Accès au texte intégral et bibtex

titre: Conflict graph-based Markovian model to estimate throughput in unsaturated IEEE 802.11 networks
auteur: Marija Stojanova, Thomas Begin, Anthony Busson
article: IEEE International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 17, May 2017, Paris, France
Accès au texte intégral et bibtex

titre: Towards Energy Budget Control in HPC
auteur: Pierre-François Dutot, Yiannis Georgiou, David Glesser, Laurent Lefèvre, Millian Poquet, Issam Raïs
article: 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2017, Madrid, Spain. pp.381-390
Accès au texte intégral et bibtex

titre: Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA
auteur: Olivier Aumage, Julien Bigot, Hélène Coullon, Christian Pérez, Jérôme Richard
article: 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)., May 2017, Madrid, Spain. ⟨10.1109/CCGRID.2017.88⟩
Accès au texte intégral et bibtex

titre: Modeling Distributed Platforms from Application Traces for Realistic File Transfer Simulation
auteur: Anchen Chai, Mohammad-Mahdi Bazm, Sorina Camarasu-Pop, Tristan Glatard, Hugues Benoit-Cattin, Frédéric Suter
article: 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing., May 2017, Madrid, Spain
Accès au texte intégral et bibtex

titre: Acyclic Partitioning of Large Directed Acyclic Graphs
auteur: Julien Herrmann, Jonathan Kho, Bora Uçar, Kamer Kaya, Ümit V. Çatalyürek
article: CCGRID 2017 - 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2017, Madrid, Spain. pp.371-380, ⟨10.1109/CCGRID.2017.101⟩
Accès au texte intégral et bibtex

titre: Bisimilarity of Open Terms in Stream GSOS
auteur: Filippo Bonchi, Matias David Lee, Jurriaan Rot
article: 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Accès au texte intégral et bibtex

titre: Quantum expander codes
auteur: Antoine Grospellier, Anthony Leverrier, Omar Fawzi
article: Journées codage et cryptographie 2017, Apr 2017, La Bresse, France
Accès au texte intégral et bibtex

titre: Duploid situations in concurrent games
auteur: Pierre Clairambault, Guillaume Munch-Maccagnoni
article: 12th Workshop on Games for Logic and Programming Languages (GaLoP XII), Juha Kontinen, Marina Lenisa, Apr 2017, Uppsala, Sweden
Accès au texte intégral et bibtex

titre: Companions, Codensity and Causality
auteur: Damien Pous, Jurriaan Rot
article: FoSSaCS, Apr 2017, Uppsala, Sweden
Accès au texte intégral et bibtex

titre: Teaching complex grammar: Do less advanced learners prefer examples?
auteur: Caroline Rossi, Jean-Pierre Chevrot, Inesa Sahakyan, Cédric Batailler
article: Thinking, Doing, Learning Conference, Apr 2017, Munich, Germany
Accès au bibtex

titre: Tightly Secure IBE under Constant-size Master Public Key
auteur: Jie Chen, Junqing Gong, Jian Weng
article: PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands
Accès au texte intégral et bibtex

titre: Structure-Preserving Chosen-Ciphertext Security with Shorter Verifiable Ciphertexts
auteur: Benoît Libert, Thomas Peters, Chen Qian
article: PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.247 - 276, ⟨10.1007/BFb0054113⟩
Accès au texte intégral et bibtex

titre: On the complexity of partial derivatives
auteur: Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte, Stéphan Thomassé
article: STACS 2017, Mar 2017, Hannover, Germany
Accès au bibtex

titre: On the computational power of affine automata
auteur: Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
article: Language and Automata Theory and Applications, Mar 2017, Umeå, Sweden. ⟨10.1007/978-3-319-53733-7_30⟩
Accès au texte intégral et bibtex

titre: GRASP: A Matlab Toolbox for Graph Signal Processing
auteur: Benjamin Girault, Shrikanth S Narayanan, Antonio Ortega, Paulo Gonçalves, Eric Fleury
article: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Mar 2017, New Orleans, United States. pp.6574-6575, ⟨10.1109/ICASSP.2017.8005300⟩
Accès au texte intégral et bibtex

titre: A Simple Model of Coevolution for Macroscopic and Microscopic Levels
auteur: Matteo Morini, Sarah de Nigris
article: International Conference on Synthetic Populations, IMT School For Advanced Studies, Feb 2017, Lucca, Italy
Accès au bibtex

titre: Encoding-Free ElGamal-Type Encryption Schemes on Elliptic Curves
auteur: Marc Joye, Benoît Libert
article: CT-RSA 2017 - RSA Conference 2017 -- Cryptographers' Track, Feb 2017, San Francisco, United States. pp.19 - 35, ⟨10.1007/978-3-540-72738-5_21⟩
Accès au texte intégral et bibtex

titre: Language acquisition and sociolinguistic variation: the social, the cognitive, and the network
auteur: Jean-Pierre Chevrot, Aurélie Nardy, Anna Ghimenton, Eric Fleury, Márton Karsai
article: Variation in Language Acquisition (ViLA3), University of Salzburg, Feb 2017, Salzburg, Germany
Accès au bibtex

titre: Pointer Disambiguation via Strict Inequalities
auteur: Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira
article: Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147
Accès au texte intégral et bibtex

titre: New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs
auteur: Gottfried Herold, Max Hoffmann, Michael Klooss, Carla Ràfols, Andy Rupp
article: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017, Dallas, United States
Accès au bibtex

titre: NTRU Prime: Reducing Attack Surface at Low Cost
auteur: Daniel J. Bernstein, Chitchanok Chuengsatiansup, Tanja Lange, Christine Van
article: SAC 2017, 2017, Ottawa, Canada
Accès au bibtex

titre: Stamina: Stabilisation Monoids IN Automata theory
auteur: Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
article: CIAA - International Conference on Implementation and Application of Automata, 2017, Marne-la-Vallée, France
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: The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), 2017, Vienne, Austria. pp.399-405, ⟨10.1016/j.endm.2017.06.066⟩
Accès au bibtex

titre: Middle-Product Learning with Errors
auteur: Ron Steinfeld, Amin Sakzad, Miruna Roșca, Damien Stehlé
article: Advances in Cryptology - {CRYPTO} 2017 - 37th Annual International Cryptology Conference, 2017, Santa Barbara, United States
Accès au bibtex

Book sections

titre: La philosophie des techniques revue à l'aune de l'internet et du numérique
auteur: Éric Guichard
article: Gérard Chazal. Le numérique en débat. Des nombres, des machines et des hommes, Editions Universitaires de Dijon, pp.173-189, 2017
Accès au texte intégral et bibtex

titre: Co-Scheduling High-Performance Computing Applications
auteur: Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article: Big Data: Management, Architecture, and Processing, Chapman and Hall/CRC, 2017, 9781315154008
Accès au texte intégral et bibtex

titre: Impact écologique du BigData
auteur: Francoise Berthoud, Laurent Lefèvre
article: Les Big Data à découvert, CNRS Editions, 2017
Accès au bibtex

titre: How to Tell Stories with Networks: Exploring the Narrative Affordances of Graphs with the Iliad
auteur: Tommaso Venturini, Liliana Bounegru, Mathieu Jacomy, Jonathan Gray
article: Schäfer, Mirko Tobias; van Es, Karin. Datafied Society, Amsterdam University Press, pp.155 - 170, 2017, 9789462987173
Accès au texte intégral et bibtex

titre: Pavages et automates cellulaires
auteur: Nathalie Aubrun, Guillaume Theyssier
article: Informatique Mathématique, Une photographie en 2017, 2017
Accès au bibtex

titre: Analyser et encadrer les erreurs dues à l'arithmétique flottante
auteur: Claude-Pierre Jeannerod, Nathalie Revol
article: Informatique mathématique : une photographie en 2017, CNRS Editions, pp.115-144, 2017, 978-2-271-11523-2
Accès au texte intégral et bibtex

titre: Control Strategies of Contagion Processes in Time-Varying Networks
auteur: Márton Karsai, Nicola Perra
article: Naoki Masuda; Petter Holme. Temporal Network Epidemiology, Springer, 2017, ⟨10.1007/978-981-10-5287-3⟩
Accès au bibtex

titre: Proximités intellectuelles entre François Dagognet et Jack Goody à l'heure de l'internet
auteur: Éric Guichard
article: Beaune, Jean-Claude; Salhab, Mohamad. Mélanges offerts à François Dagognet. Le sens des objets., Presses de l'Université Libano-française et Éditions universitaires du Liban, pp.185-205, 2017, 978-9-95345-124-4
Accès au texte intégral et bibtex

titre: Coping with silent errors in HPC applications
auteur: Guillaume Aupy, Anne Benoit, Aurélien Cavelan, Massimiliano Fasi, Yves Robert, Hongyang Sun, Bora Uçar
article: Andy Adamatzky. Emergent Computation, Springer Verlag, 2017, 978-3-319-46375-9. ⟨10.1007/978-3-319-46376-6⟩
Accès au texte intégral et bibtex

Habilitation à diriger des recherches

titre: Contributions to program analysis: expressivity and scalability
auteur: Laure Gonnord
article: Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Accès au texte intégral et bibtex

titre: Structures of Complex Networks and of their Dynamics
auteur: Christophe Crespelle
article: Computer Science [cs]. Université Claude Bernard Lyon 1, 2017
Accès au texte intégral et bibtex

titre: Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs
auteur: Nicolas Brisebarre
article: Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017
Accès au texte intégral et bibtex

titre: Preuves aidées par ordinateur en combinatoire des mots
auteur: Michaël Rao
article: Informatique [cs]. ENS de Lyon, 2017
Accès au texte intégral et bibtex

titre: Rule-based meta-modelling for bio-curation
auteur: Russell Harmer
article: Bioinformatics [q-bio.QM]. Ecole Normale Supérieure de Lyon, 2017
Accès au texte intégral et bibtex

Special issue

titre: Introduction to the Special Section on Computer Arithmetic
auteur: Javier Hormigo, Jean-Michel Muller, Stuart Obermann, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno
article: IEEE Transactions on Computers, 66 (12), pp.1991-1993, 2017, ⟨10.1109/TC.2017.2761278⟩
Accès au bibtex

Other publications

titre: Introduction au parallélisme et aux architectures parallèles
auteur: Daniel Etiemble, Franck Cappello
article: 2017
Accès au bibtex

titre: Lattice Reduction Algorithms
auteur: Damien Stehlé
article: 2017
Accès au bibtex

Books

titre: Informatique Mathématique. Une photographie en 2017
auteur: Bruno Salvy
article: CNRS éditions, pp.1-258, 2017, 978-2-271-11523-2
Accès au bibtex

titre: Algorithmes Efficaces en Calcul Formel
auteur: Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Eric Schost
article: published by the Authors, 2017
Accès au texte intégral et bibtex

titre: Complex Networks & Their Applications VI
auteur: Chantal Cherifi, Hocine Cherifi, Márton Karsai, Mirco Musolesi
article: Springer, pp.XXV, 1288, 2017, 978-3-319-72149-1. ⟨10.1007/978-3-319-72150-7⟩
Accès au bibtex

Poster communications

titre: Efficient decoding of random errors for quantum expander codes
auteur: Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article: 8th colloquium of the GDR IQFA - Ingénierie Quantique, des Aspects Fondamentaux aux Applications, Nov 2017, Nice, France
Accès au texte intégral et bibtex

titre: The study of optional realization of the French negative particle (ne) on Twitter: Is Sociolinguistics compatible with the Big Data?
auteur: Jacobo Levy Abitbol, Jean-Pierre Chevrot, Màrton Karsai, Jean-Philippe Magué, Yannick Léo, Aurélie Nardy, Eric Fleury
article: New Ways of Analyzing Variation 46 (NWAV46), Nov 2017, Madison, United States
Accès au bibtex

Proceedings

titre: 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings
auteur: Peter Höfner, Damien Pous, Georg Struth
article: Peter Hôfner, Damien Pous, Georg Struth. 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), 2017, Lyon, France. 10226, Springer, 2017, Proceedings of RAMiCS 2017
Accès au bibtex

Reports

titre: Improving Communication Patterns in Polyhedral Process Networks
auteur: Christophe Alias
article: [Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13
Accès au texte intégral et bibtex

titre: On Exploiting Sparsity of Multiple Right-Hand Sides in Sparse Direct Solvers
auteur: Patrick Amestoy, Jean-Yves L'Excellent, Gilles Moreau
article: [Research Report] RR-9122, ENS de Lyon; INRIA Grenoble - Rhone-Alpes. 2017, pp.1-28
Accès au texte intégral et bibtex

titre: Revisiting temporal failure independence in large scale systems
auteur: Guillaume Aupy, Leonardo Bautista Gomez, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9134, INRIA. 2017
Accès au texte intégral et bibtex

titre: Comprendre les parcours pour prévenir les ruptures scolaires
auteur: Clemence Michoux, Étienne Douat, Jérémie Bof, Jean-Claude Croizet, Gilles Moreau
article: GRESCO (EA 3815), CERCA (UMR 7295), Université de Poitiers. 2017
Accès au bibtex

titre: Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on IaaS Cloud platforms
auteur: Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article: [Research Report] RR-9128, INRIA. 2017, pp.1-28
Accès au texte intégral et bibtex

titre: Checkpointing Workflows for Fail-Stop Errors
auteur: Li Han, Louis-Claude Canon, Henri Casanova, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9068, Inria. 2017, pp.33
Accès au texte intégral et 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: [Research Report] RR-9106, University of Basel; Ecole Normale Supérieure de Lyon - ENS LYON; Vanderbilt University; University of Tennessee Knoxville, USA; Argonne National Laboratory. 2017
Accès au texte intégral et bibtex

titre: Static Analysis via Horn Encoding from synchronous Dataflow Programs
auteur: Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
article: [Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Accès au texte intégral et bibtex

titre: Optimal Cooperative Checkpointing for Shared High-Performance Computing Platforms
auteur: Thomas Hérault, Yves Robert, Aurélien Bouteiller, Dorian Arnold, Kurt B Ferreira, George Bosilca, Jack Dongarra
article: [Research Report] RR-9109, INRIA. 2017, pp.1-20
Accès au texte intégral et bibtex

titre: Budget-aware scheduling algorithms for scientific workflows on IaaS cloud platforms
auteur: Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article: [Research Report] RR-9088, INRIA. 2017, pp.27
Accès au texte intégral et bibtex

titre: Combining dataflow programming and polyhedral optimization, a case study
auteur: Romain Fontaine, Lionel Morel, Laure Gonnord
article: [Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
Accès au texte intégral et bibtex

titre: Computing Dense Tensor Decompositions with Optimal Dimension Trees
auteur: Oguz Kaya, Yves Robert, Bora Uçar
article: [Research Report] RR-9080, Inria. 2017
Accès au texte intégral et bibtex

titre: Assuming failure independence: are we right to be wrong?
auteur: Guillaume Aupy, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9078, Inria. 2017
Accès au texte intégral et bibtex

titre: Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
auteur: Louis-Claude Canon, Loris Marchal, Frédéric Vivien
article: [Research Report] RR-9029, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex

titre: Multi-server preemptive priority queue with general arrivals and service times
auteur: Alexandre Brandwajn, Thomas Begin
article: [Research Report] RR-9065, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex

titre: A Study of Systems with Multiple Operating Levels, Soft Thresholds and Hysteresis
auteur: Alexandre Brandwajn, Thomas Begin, Hind Castel-Taleb, Tulin Atmaca
article: [Research Report] RR-9064, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex

titre: Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article: [Research Report] RR-9052, Inria. 2017
Accès au texte intégral et bibtex

titre: Optimal checkpointing period with replicated execution on heterogeneous platforms
auteur: Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert
article: [Research Report] RR-9055, INRIA. 2017
Accès au texte intégral et bibtex

titre: Identifying the right replication level to detect and correct silent errors at scale
auteur: Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article: [Research Report] RR-9047, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2017
Accès au texte intégral et bibtex

titre: Comparaison du niveau de réponse immunitaire moyen entre des groupes de traitements comprenant des répondeurs et des non répondeurs
auteur: Aya El Dakdouki, Caroline Robet, Bertrand Simon, Cécile Taing
article: [Rapport de recherche] AMIES. 2017
Accès au texte intégral et bibtex

titre: Resilience for Stencil Computations with Latent Errors
auteur: Aiman A Fang, Aurélien A Cavelan, Yves Robert, Andrew A Chien
article: [Research Report] RR-9042, INRIA. 2017
Accès au texte intégral et bibtex

titre: Periodic I/O scheduling for super-computers
auteur: Guillaume Aupy, Ana Gainaru, Valentin Le Fèvre
article: [Research Report] RR-9037, Inria Bordeaux Sud-Ouest. 2017
Accès au texte intégral et bibtex

titre: Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur: Loris Marchal, Samuel Mccauley, Bertrand Simon, Frédéric Vivien
article: [Research Report] RR-9025, INRIA. 2017
Accès au texte intégral et bibtex

titre: A Failure Detector for HPC Platforms
auteur: George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article: [Research Report] RR-9024, INRIA. 2017
Accès au texte intégral et bibtex

titre: Matching-Based Assignement Strategies for Improving Data Locality of Map Tasks in MapReduce
auteur: Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article: [Research Report] RR-8968, Inria - Research Centre Grenoble – Rhône-Alpes; Inria Bordeaux Sud-Ouest. 2017
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: [Research Report] RR-9021, Inria. 2017, pp.33
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: [Research Report] RR-9108, LIP - ENS Lyon. 2017
Accès au texte intégral et bibtex

Theses

titre: On the mapping of distributed applications onto multiple Clouds
auteur: Pedro Paulo de Souza Bento da Silva
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN089⟩
Accès au texte intégral et bibtex

titre: Conception d'un modèle de composants logiciels avec ordonnancement de tâches pour les architectures parallèles multi-coeurs, application au code Gysela
auteur: Jérôme Richard
article: Autre [cs.OH]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSEN040⟩
Accès au texte intégral et bibtex

titre: Energy Efficient Traffic Engineering in Software Defined Networks
auteur: Radu Carpa
article: Networking and Internet Architecture [cs.NI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN065⟩
Accès au texte intégral et bibtex

titre: Tools for Understanding the Dynamics of Social Networks
auteur: Matteo Morini
article: Social and Information Networks [cs.SI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN075⟩
Accès au texte intégral et bibtex

titre: Low-cost memory analyses for efficient compilers
auteur: Maroua Maalej Kammoun
article: Other [cs.OH]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSE1167⟩
Accès au texte intégral et bibtex

titre: High Performance Parallel Algorithms for Tensor Decompositions
auteur: Oguz Kaya
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN051⟩
Accès au texte intégral et bibtex

titre: Concurrent structures in game semantics
auteur: Simon Castellan
article: Logic in Computer Science [cs.LO]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN034⟩
Accès au texte intégral et bibtex

titre: Contribution to error analysis of algorithms in floating-point arithmetic
auteur: Antoine Plet
article: Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN038⟩
Accès au texte intégral et bibtex

titre: Scheduling algorithms and resilience patterns for fail-stop and silent errors
auteur: Aurélien Cavelan
article: Performance [cs.PF]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN031⟩
Accès au texte intégral et bibtex

titre: Towards fast and certified multiple-precision librairies
auteur: Valentina Popescu
article: Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN036⟩
Accès au texte intégral et bibtex

titre: Avoidability of Abelian Repetitions in Words
auteur: Matthieu Rosenfeld
article: Discrete Mathematics [cs.DM]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN033⟩
Accès au texte intégral et bibtex

titre: Shift spaces on groups : computability and dynamics
auteur: Sebastián Andrés Barbieri Lemp
article: Computation and Language [cs.CL]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN021⟩
Accès au texte intégral et bibtex

titre: Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration
auteur: Stephen Melczer
article: Symbolic Computation [cs.SC]. Université de Lyon; University of Waterloo (Canada), 2017. English. ⟨NNT : 2017LYSEN013⟩
Accès au texte intégral et bibtex

titre: Stratégies de mobilité optimisées pour la tolérance aux perturbations dans les réseaux sans fil
auteur: Laurent Reynaud
article: Réseaux et télécommunications [cs.NI]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1060⟩
Accès au texte intégral et bibtex

titre: Estimation de l’écart type du délai de bout-en-bout par méthodes passives
auteur: Huu-Nghi Nguyen
article: Réseaux et télécommunications [cs.NI]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1044⟩
Accès au texte intégral et bibtex

titre: Méthodes de calculs sur les données chiffrées
auteur: Marie Paindavoine
article: Cryptographie et sécurité [cs.CR]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1009⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre: Efficient decoding of random errors for quantum expander codes
auteur: Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article: 2017
Accès au bibtex

titre: La science et l'enseignement supérieur face au pouvoir des algorithmes
auteur: Éric Guichard
article: 2017
Accès au texte intégral et bibtex

titre: Modal Logic of Transition Systems in the Topos of Trees
auteur: Colin Riba, Guilhem Jaber
article: 2017
Accès au texte intégral et bibtex

titre: Mapping temporal-network percolation to weighted, static event graphs
auteur: Mikko Kivelä, Jordan Cambe, Jari Saramäki, Márton Karsai
article: 2017
Accès au bibtex

titre: Threshold driven contagion on weighted networks
auteur: Samuel Unicomb, Gerardo Iñiguez, Márton Karsai
article: 2017
Accès au bibtex

titre: Revealing evolutions in dynamical networks
auteur: Matteo Morini, Patrick Flandrin, Eric Fleury, Tommaso Venturini, Pablo Jensen
article: 2017
Accès au texte intégral et bibtex

titre: Network analysis of Japanese global business using quasi-exhaustive micro-data for Japanese overseas subsidiaries
auteur: Jean-Pascal Bassino, Pablo Jensen, Matteo Morini
article: 2017
Accès au texte intégral et bibtex

titre: Automatic generation of hardware FIR filters from a frequency domain specification
auteur: Silviu-Ioan Filip, Matei Istoan, Florent de Dinechin, Nicolas Brisebarre
article: 2017
Accès au texte intégral et bibtex

titre: COMET: A High-Performance Model for Fine-Grain Composition
auteur: Julien Bigot, Thierry Gautier, Christian Pérez, Jérôme Richard
article: 2017
Accès au texte intégral et bibtex

titre: The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters
auteur: Aurélie Lagoutte, Sébastien Tavenas
article: 2017
Accès au texte intégral et bibtex

titre: On the Spectral Properties of Symmetric Functions
auteur: Anil Ada, Omar Fawzi, Raghav Kulkarni
article: 2017
Accès au texte intégral et bibtex

titre: Quantitative aspects of linear and affine closed lambda terms
auteur: Pierre Lescanne
article: 2017
Accès au texte intégral et bibtex

titre: The Erdős-Hajnal Conjecture for Long Holes and Anti-holes
auteur: Marthe Bonamy, Nicolas Bousquet, Stéphan Thomassé
article: 2017
Accès au bibtex

titre: Graphs with large chromatic number induce 3k-cycles
auteur: Marthe Bonamy, Stéphan Thomassé, Pierre Charbit
article: 2017
Accès au bibtex