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
- 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
- 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
- What the internet does to writing
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Ł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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Rigorous Measurement of the Internet Degree Distribution
- auteur
- Matthieu Latapy, Elie Rotenberg, Christophe Crespelle, Fabien Tarissan
- article
- Complex Systems , 2017, 26 (1), ⟨10.25088/complexsystems.26.1.1⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- É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
- 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
- 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
- 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
- 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
- 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
- Companions, Codensity and Causality
- auteur
- Damien Pous, Jurriaan Rot
- article
- FoSSaCS, Apr 2017, Uppsala, Sweden
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 of a software component model with task scheduling for many-core based parallel architecture, application to the Gysela5D code
- 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
- Designing optimized and disruption-tolerant mobility strategies for wireless networks
- 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
- Passive measurement in Software Defined Networks
- 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
- Outsourcing computation on encrypted data
- 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
-