2016

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

2016

Journal articles

titre: From analysis to presentation. Information visualization for reifying issues and reenacting insights in visual data analysis
auteur: Marina Boechat, Tommaso Venturini
article: Les Cahiers du numérique, 2016, 12 (4), pp.185 - 204. ⟨10.3166/LCN.12.4.185-204⟩
Accès au texte intégral et bibtex

titre: On linear rewriting systems for Boolean logic and some applications to proof theory
auteur: Anupam Das, Lutz Strassburger
article: Logical Methods in Computer Science, 2016
Accès au bibtex

titre: MultiAspect Graphs: Algebraic Representation and Algorithms
auteur: Artur Ziviani, Klaus Wehmuth, Eric Fleury
article: Algorithms, 2016, 10 (1), ⟨10.3390/a10010001⟩
Accès au bibtex

titre: Socioeconomic correlations and stratification in social-communication networks
auteur: Yannick Léo, Eric Fleury, Carlos Sarraute, Márton Karsai, José Ignacio Alvarez-Hamelin
article: Journal of the Royal Society Interface, 2016, 13, ⟨10.1098/rsif.2016.0598⟩
Accès au bibtex

titre: Preconditioning Techniques Based on the Birkhoff–von Neumann Decomposition
auteur: Michele Benzi, Bora Uçar
article: Computational Methods in Applied Mathematics, 2016, ⟨10.1515/cmam-2016-0040⟩
Accès au texte intégral et bibtex

titre: A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations
auteur: Maurice-Djibril Faye, Eddy Caron, Ousmane Thiare
article: Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2016, ARIMA Journal, Volume 25 - 2016 - Special issue CNRIA 2015 (Special Issue, CNRIA 2015), pp. 1-20. ⟨10.46298/arima.1473⟩
Accès au texte intégral et bibtex

titre: Coping with recall and precision of soft error detectors
auteur: Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article: Journal of Parallel and Distributed Computing, 2016, 98, pp.8-24. ⟨10.1016/j.jpdc.2016.07.007⟩
Accès au texte intégral et bibtex

titre: Optimizing memory allocation for multi stage scheduling including setup times
auteur: Anne Benoit, Mathias Coqblin, Jean-Marc Nicod, Veronika Rehn-Sonigo
article: Journal of Scheduling, 2016, 19 (6), pp.641-658. ⟨10.1007/s10951-015-0437-x⟩
Accès au texte intégral et bibtex

titre: Co-scheduling algorithms for high-throughput workload execution
auteur: Guillaume Aupy, Manu Shantharam, Anne Benoit, Yves Robert, Padma Raghavan
article: Journal of Scheduling, 2016, Journal of Scheduling, 19 (6), pp.627-640. ⟨10.1007/s10951-015-0445-x⟩
Accès au texte intégral et bibtex

titre: Using Runtime Systems Tools to Implement Efficient Preconditioners for Heterogeneous Architectures
auteur: Adrien Roussel, Jean-Marc Gratien, Thierry Gautier
article: Oil & Gas Science and Technology - Revue d'IFP Energies nouvelles, 2016, 71 (6), pp.65:1-13. ⟨10.2516/ogst/2016020⟩
Accès au texte intégral et bibtex

titre: Avoidability of long $k$-abelian repetitions
auteur: Michaël Rao, Matthieu Rosenfeld
article: Mathematics of Computation, 2016, 85 (302), pp.3051-3060
Accès au bibtex

titre: Fast 3D frequency-domain full waveform inversion with a parallel Block Low-Rank multifrontal direct solver: application to OBC data from the North Sea
auteur: Patrick Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary, Ludovic Métivier, Alain Miniussi, Stéphane Operto
article: Geophysics, 2016, 81 (6), pp.R363-R383. ⟨10.1190/geo2016-0052.1⟩
Accès au bibtex

titre: File dissemination in dynamic graphs: The case of independent and correlated links in series
auteur: Philippe Nain, Don Towsley
article: ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2016, 2 (1), ⟨10.1145/2981344⟩
Accès au texte intégral et bibtex

titre: Tableau sequences, open diagrams, and Baxter families
auteur: Sophie Burrill, Julien Courtiel, Eric Fusy, Stephen Melczer, Marni Mishna
article: European Journal of Combinatorics, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩
Accès au bibtex

titre: Sharp error bounds for complex floating-point inversion
auteur: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet
article: Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Accès au texte intégral et bibtex

titre: Avoidability of long $k$-abelian repetitions
auteur: Michaël Rao, Matthieu Rosenfeld
article: Mathematics of Computation, 2016, 85 (302), pp.3051-3060. ⟨10.1090/mcom/3085⟩
Accès au texte intégral et bibtex

titre: A backward/forward recovery approach for the preconditioned conjugate gradient method
auteur: Massimiliano Fasi, Julien Langou, Yves Robert, Bora Uçar
article: Journal of computational science, 2016, 17 (3), pp.522-534. ⟨10.1016/j.jocs.2016.04.008⟩
Accès au texte intégral et bibtex

titre: On MultiAspect graphs
auteur: Klaus Wehmuth, Artur Ziviani, Eric Fleury
article: Theoretical Computer Science, 2016, 651, pp.50-61. ⟨10.1016/j.tcs.2016.08.017⟩
Accès au bibtex

titre: Asymptotic theory of time-varying social networks with heterogeneous activity and tie allocation
auteur: Enrico Ubaldi, Nicola Perra, Márton Karsai, Alessandro Vezzani, Raffaella Burioni, Alessandro Vespignani
article: Scientific Reports, 2016, 6 (1), pp.35724. ⟨10.1038/srep35724⟩
Accès au bibtex

titre: On 3-dimensional lattice walks confined to the positive octant
auteur: Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer
article: Annals of Combinatorics, 2016, pp.36. ⟨10.1007/s00026-016-0328-7⟩
Accès au bibtex

titre: Drawing graphs with vertices and edges in convex position
auteur: Ignacio García-Marco, Kolja Knauer
article: Computational Geometry, 2016, 58, pp.25-33. ⟨10.1016/j.comgeo.2016.06.002⟩
Accès au texte intégral et bibtex

titre: Optimization of the geometry of Fresnel linear collectors
auteur: Paola Boito, Roberto Grena
article: Solar Energy, 2016, 135, pp.479 - 486. ⟨10.1016/j.solener.2016.05.060⟩
Accès au bibtex

titre: Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares
auteur: Benoît Libert, Marc Joye, Moti Yung
article: Theoretical Computer Science, 2016, 645, pp.1-24. ⟨10.1016/j.tcs.2016.02.031⟩
Accès au texte intégral et bibtex

titre: Building Efficient and Compact Data Structures for Simplicial Complexe
auteur: Jean-Daniel Boissonnat, Karthik C. Srikanta, Sébastien Tavenas
article: Algorithmica, 2016, ⟨10.1007/s00453-016-0207-y⟩
Accès au texte intégral et bibtex

titre: Tight performance bounds in the worst-case analysis of feed-forward networks *
auteur: Anne Bouillard, Eric Thierry
article: Discrete Event Dynamic Systems, 2016, 26 (3), pp.383-411
Accès au texte intégral et bibtex

titre: Aperiodic pseudorandom number generators based on infinite words
auteur: Ľubomíra Balková, Michelangelo Bucci, Alessandro de Luca, Jiří Hladký, Svetlana Puzynina
article: Theoretical Computer Science, 2016, 647, pp.85-100
Accès au bibtex

titre: Modern Computer Arithmetic
auteur: Paolo Montuschi, Jean-Michel Muller
article: Computer, 2016, 49 (9), pp.12
Accès au bibtex

titre: Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination
auteur: Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
article: Parallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Accès au texte intégral et bibtex

titre: Personal Income Tax Reforms: A Genetic Algorithm Approach
auteur: Matteo Morini, Pellegrino Simone
article: European Journal of Operational Research, 2016, ⟨10.1016/j.ejor.2016.07.059⟩
Accès au texte intégral et bibtex

titre: A robust and scalable implementation of the Parks-McClellan algorithm for designing FIR filters
auteur: Silviu-Ioan Filip
article: ACM Transactions on Mathematical Software, 2016, 43 (1), pp.7:1 - 7:24
Accès au texte intégral et bibtex

titre: Asymptotic Lattice Path Enumeration Using Diagonals
auteur: Stephen Melczer, Marni Mishna
article: Algorithmica, 2016, 75 (4), pp.782 - 811. ⟨10.1007/s00453-015-0063-1⟩
Accès au bibtex

titre: Performance Evaluation of Cloud Computing Centers with General Arrivals and Service
auteur: Tulin Atmaca, Thomas Begin, Alexandre Brandwajn, Hind Castel-Taleb
article: IEEE Transactions on Parallel and Distributed Systems, 2016, 27 (8), pp.2341 - 2348. ⟨10.1109/TPDS.2015.2499749⟩
Accès au texte intégral et bibtex

titre: User-based representation of time-resolved multimodal public transportation networks
auteur: Laura L Alessandretti, Márton Karsai, Laetitia Gauvin
article: Royal Society Open Science, 2016, 3, pp.160156. ⟨10.1098/rsos.160156⟩
Accès au texte intégral et bibtex

titre: Performance evaluation of DTN protocols to deliver SMS in dense mobile network: Empirical proofs
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: Ad Hoc Networks, 2016, 52, pp.173-182. ⟨10.1016/j.adhoc.2016.07.006⟩
Accès au bibtex

titre: Robust memory-aware mappings for parallel multifrontal factorizations
auteur: Emmanuel Agullo, Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves L'Excellent, François-Henry Rouet
article: SIAM Journal on Scientific Computing, 2016, 38 (3), pp.C256 - C279. ⟨10.1137/130938505⟩
Accès au texte intégral et bibtex

titre: Spanning connectivity in a multilayer network and its relationship to site-bond percolation
auteur: Saikat Guha, Donald Towsley, Philippe Nain, Cagatay Capar, Ananthram Swami, Prithwish Basu
article: Physical Review E , 2016, ⟨10.1103/physreve.93.062310⟩
Accès au texte intégral et bibtex

titre: Local cascades induced global contagion: How heterogeneous thresholds, exogenous effects, and unconcerned behaviour govern online adoption spreading
auteur: Márton Karsai, Gerardo Iñiguez, Riivo Kikas, Kimmo Kaski, János Kertész
article: Scientific Reports, 2016, 6, pp.27178 ⟨10.1038/srep27178⟩
Accès au bibtex

titre: Call detail records to characterize usages and mobility events of phone users
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: Computer Communications, 2016, 95, pp.43-53. ⟨10.1016/j.comcom.2016.05.003⟩
Accès au bibtex

titre: A General Account of Coinduction Up-To
auteur: Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
article: Acta Informatica, 2016, ⟨10.1007/s00236-016-0271-4⟩
Accès au texte intégral et bibtex

titre: Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters
auteur: Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, Bruno Salvy
article: Journal of Guidance, Control, and Dynamics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩
Accès au texte intégral et bibtex

titre: Efficient Cryptosystems From $2^k$ -th Power Residue Symbols
auteur: Fabrice Benhamouda, Javier Herranz, Marc Joye, Benoît Libert
article: Journal of Cryptology, 2016, ⟨10.1007/s00145-016-9229-5⟩
Accès au texte intégral et bibtex

titre: Arithmetic algorithms for extended precision using floating-point expansions
auteur: Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
article: IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Accès au texte intégral et bibtex

titre: Modeling and optimization of CSMA/CA in VANET
auteur: Anh Tuan Giang, Anthony Busson, Marco Di Renzo
article: Annals of Operations Research, 2016, 239 (2), pp.553-568. ⟨10.1007/s10479-014-1610-x⟩
Accès au texte intégral et bibtex

titre: Isolating Highly Connected Induced Subgraphs
auteur: Irena Penev, Stéphan Thomassé, Nicolas Trotignon
article: SIAM Journal on Discrete Mathematics, 2016, 30, pp.592-619. ⟨10.1137/140981939⟩
Accès au bibtex

titre: Linear kernel for Rooted Triplet Inconsistency and other problems based on conflict packing technique
auteur: Christophe Paul, Anthony Perez, Stéphan Thomassé
article: Journal of Computer and System Sciences, 2016, 82 (2), ⟨10.1016/j.jcss.2015.08.002⟩
Accès au bibtex

titre: Perfect Graphs with No Balanced Skew-Partition are 2-Clique-Colorable
auteur: Irena Penev
article: Journal of Graph Theory, 2016, 81 (3), pp.213-235
Accès au bibtex

titre: Improved error bounds for floating-point products and Horner’s scheme
auteur: Siegfried M. Rump, Florian Bünger, Claude-Pierre Jeannerod
article: BIT Numerical Mathematics, 2016, 56 (1), pp.293 - 307. ⟨10.1007/s10543-015-0555-z⟩
Accès au texte intégral et bibtex

titre: Performance analysis of multi-hop flows in IEEE 802.11 networks: A flexible and accurate modeling framework
auteur: Thomas Begin, Bruno Baynat, Isabelle Guérin-Lassous, Thiago Abreu
article: Performance Evaluation, 2016, 96, pp.12-32. ⟨10.1016/j.peva.2015.12.003⟩
Accès au texte intégral et bibtex

titre: Universal recovery map for approximate Markov chains
auteur: David Sutter, Omar Fawzi, Renato Renner
article: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2016, 472 (2186), pp.20150623
Accès au bibtex

titre: Notes on Birkhoff-von Neumann decomposition of doubly stochastic matrices
auteur: Fanny Dufossé, Bora Uçar
article: Linear Algebra and its Applications, 2016, 497, pp.108--115. ⟨10.1016/j.laa.2016.02.023⟩
Accès au texte intégral et bibtex

titre: VNP = VP in the multilinear world
auteur: Meena Mahajan, Nitin Saurabh, Sébastien Tavenas
article: Information Processing Letters, 2016, 116 (2), pp.179-182
Accès au bibtex

titre: Modular encoding of synchronous and asynchronous interactions using open Petri nets
auteur: Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article: Science of Computer Programming, 2016, ⟨10.1016/j.scico.2014.11.019⟩
Accès au bibtex

titre: Bialgebraic Semantics for Logic Programming
auteur: Filippo Bonchi, Fabio Zanasi
article: Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-11(1:14)2015⟩
Accès au bibtex

titre: Strong edge-coloring of $(3, \Delta)$-bipartite graphs
auteur: Julien Bensmail, Aurélie Lagoutte, Petru Valicov
article: Discrete Mathematics, 2016, 339 (1), ⟨10.1016/j.disc.2015.08.026⟩
Accès au texte intégral et bibtex

titre: Perfect graphs of arbitrarily large clique-chromatic number
auteur: Pierre Charbit, Irena Penev, Stéphan Thomassé, Nicolas Trotignon
article: Journal of Combinatorial Theory, Series B, 2016, 116, pp.456-464. ⟨10.1016/j.jctb.2015.09.008⟩
Accès au texte intégral et bibtex

titre: The Erdös--Hajnal Conjecture for Long Holes and Antiholes
auteur: Marthe Bonamy, Nicolas Bousquet, Stéphan Thomassé
article: SIAM Journal on Discrete Mathematics, 2016, 30 (2), pp.1159-1164. ⟨10.1137/140981745⟩
Accès au bibtex

titre: Quantum Bilinear Optimization
auteur: Mario Berta, Omar Fawzi, Volkher Scholz
article: SIAM Journal on Optimization, 2016, 26 (3), pp.1529-1564
Accès au bibtex

titre: Assessing the cost of redistribution followed by a computational kernel: Complexity and performance results
auteur: Julien Herrmann, George Bosilca, Thomas Hérault, Loris Marchal, Yves Robert, Jack Dongarra
article: Parallel Computing, 2016, 52, pp.20. ⟨10.1016/j.parco.2015.09.005⟩
Accès au texte intégral et bibtex

titre: Availability/Network-aware MapReduce over the Internet
auteur: Bing Tang, Mingdong Tang, Gilles Fedak, Haiwu He
article: Information Sciences, 2016, 379, pp.94--111. ⟨10.1016/j.ins.2016.09.030⟩
Accès au bibtex

titre: Name-passing calculi: From fusions to preorders and types
auteur: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article: Information and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩
Accès au bibtex

titre: Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
auteur: Christophe Crespelle, Tien-Nam Le, Kévin Perrot, Thi Ha Duong Phan
article: Discrete Mathematics, 2016, 339 (8), pp.2168-2177. ⟨10.1016/j.disc.2016.03.006⟩
Accès au bibtex

titre: Approximation Algorithms for Energy, Reliability, and Makespan Optimization Problems
auteur: Guillaume Aupy, Anne Benoit
article: Parallel Processing Letters, 2016, Parallel Processing Letters, 26 (01), pp.23
Accès au texte intégral et bibtex

titre: The effect of range and bandwidth on the round complexity in the congested clique model
auteur: Becker Florent, Antonio Fernández Anta, Ivan Rapaport, Eric Rémila
article: Lecture Notes in Computer Science, 2016, 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings, 9797, pp 182-193
Accès au bibtex

titre: Equitable orientations of sparse uniform hypergraphs
auteur: Nathann Cohen, William Lochet
article: The Electronic Journal of Combinatorics, 2016, 23 (4), pp.4-31
Accès au texte intégral et bibtex

titre: The Impact of Source Code in Software on Power Consumption
auteur: Hayri Acar, Gülfem I Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article: International Journal of Electronic Business Management, 2016, 14, pp.42-52
Accès au texte intégral et bibtex

titre: Multi-criteria and satisfaction oriented scheduling for hybrid distributed computing infrastructures
auteur: Mircea Moca, Cristian Litan, Gheorghe Cosmin Silaghi, Gilles Fedak
article: Future Generation Computer Systems, 2016, 55, ⟨10.1016/j.future.2015.03.022⟩
Accès au texte intégral et bibtex

titre: Optimal Multistage Algorithm for Adjoint Computation
auteur: Guillaume Aupy, Julien Herrmann, Paul Hovland, Yves Robert
article: SIAM Journal on Scientific Computing, 2016, 38 (3), pp.C232-C255. ⟨10.1137/15M1019222⟩
Accès au texte intégral et bibtex

titre: Clique-Stable Set Separation in Perfect Graphs with no Balanced Skew-Partitions
auteur: Aurélie Lagoutte, Théophile Trunck
article: Discrete Mathematics, 2016, 339, pp.1809 - 1825. ⟨10.1016/j.disc.2016.02.005⟩
Accès au texte intégral et bibtex

titre: Hors champs la multipositionnalité par l'analyse des réseaux
auteur: Tommaso Venturini, Mathieu Jacomy, Audrey Baneyx, Paul Girard
article: Réseaux : communication, technologie, société, 2016, 199 (5), ⟨10.3917/res.199.0011⟩
Accès au texte intégral et bibtex

titre: Checkpointing Strategies for Scheduling Computational Workflows
auteur: Guillaume Aupy, Anne Benoit, Henri Casanova, Yves Robert
article: International Journal of Networking and Computing, 2016, 6 (1), pp.2-26. ⟨10.15803/ijnc.6.1_2⟩
Accès au texte intégral et bibtex

titre: Higher-order interpretations and program complexity
auteur: Patrick Baillot, Ugo Dal Lago
article: Information and Computation, 2016, ⟨10.1016/j.ic.2015.12.008⟩
Accès au texte intégral et bibtex

titre: A radix-independent error analysis of the Cornea-Harrison-Tang method
auteur: Claude-Pierre Jeannerod
article: ACM Transactions on Mathematical Software, 2016, ⟨10.1145/2824252⟩
Accès au texte intégral et bibtex

titre: Better polynomials for GNFS
auteur: Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann
article: Mathematics of Computation, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
Accès au texte intégral et bibtex

titre: Effects of Some Lattice Reductions on the Success Probability of the Zero-Forcing Decoder
auteur: Shi Bai, Chao Tong, Jinming Wen
article: IEEE Communications Letters, 2016, ⟨10.1109/LCOMM.2016.2594196⟩
Accès au bibtex

titre: Breaking the dimensionality curse in multi-server queues
auteur: Alexandre Brandwajn, Thomas Begin
article: Computers and Operations Research, 2016, pp.141-149. ⟨10.1016/j.cor.2016.04.011⟩
Accès au texte intégral et bibtex

titre: On Natural Deduction in Classical First-Order Logic: Curry-Howard Correspondence, Strong Normalization and Herbrand's Theorem
auteur: Federico Aschieri, Margherita Zorzi
article: Theoretical Computer Science, 2016
Accès au texte intégral et bibtex

titre: Self-Stabilizing Prefix Tree Based Overlay Networks
auteur: Eddy Caron, Ajoy K. Datta, Franck Petit, Cédric Tedeschi
article: International Journal of Foundations of Computer Science, 2016, 27 (5), pp.607-630. ⟨10.1142/S0129054116500192⟩
Accès au texte intégral et bibtex

titre: Assessing General-Purpose Algorithms to Cope with Fail-Stop and Silent Errors
auteur: Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article: ACM Transactions on Parallel Computing, 2016, 3 (2), pp.1-36. ⟨10.1145/2897189⟩
Accès au texte intégral et bibtex

titre: Comparison between binary and decimal floating-point numbers
auteur: Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller
article: IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
Accès au texte intégral et bibtex

titre: Design of a force-based controlled mobility on aerial vehicles for pest management
auteur: Laurent Reynaud, Isabelle Guérin-Lassous
article: Ad Hoc Networks, 2016, 53, pp.41 - 52. ⟨10.1016/j.adhoc.2016.09.005⟩
Accès au texte intégral et bibtex

Conference papers

titre: Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers
auteur: Issam Raïs, Anne-Cécile Orgerie, Martin Quinson
article: ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210
Accès au texte intégral et bibtex

titre: Energy Proportionality in Heterogeneous Data Center Supporting Applications with Variable Load
auteur: Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article: 22rd IEEE International Conference on Parallel and Distributed Systems (ICPADS 2016), Dec 2016, Wuhan, China. ⟨10.1109/ICPADS.2016.0136⟩
Accès au texte intégral et bibtex

titre: Link prediction in the Twitter mention network: impacts of local structure and similarity of interest
auteur: Márton Karsai, Carlos Sarraute, Eric Fleury
article: 16th IEEE International Conference on Data Mining (ICDM) - DMHAA Workshop, Dec 2016, Barcelona, Spain. ⟨10.1109/ICDMW.2016.0071⟩
Accès au bibtex

titre: Localization bounds for the graph translation
auteur: Benjamin Girault, Paulo Gonçalves, Shrikanth Narayanan, Antonio Ortega
article: IEEE Global Conference on Signal and Information Processing, Dec 2016, Washington DC, United States. pp.331-335, ⟨10.1109/GlobalSIP.2016.7905858⟩
Accès au texte intégral et bibtex

titre: Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions
auteur: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article: Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam
Accès au texte intégral et bibtex

titre: Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption
auteur: Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article: Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. pp.101 - 131, ⟨10.1007/978-3-662-53890-6_4⟩
Accès au texte intégral et bibtex

titre: Verifiable Message-Locked Encryption
auteur: Sébastien Canard, Fabien Laguillaumie, Marie Paindavoine
article: CANS 2016 - 15th International Conference Cryptology and Network Security, Nov 2016, Milano, Italy. pp.299 - 315, ⟨10.1007/978-3-319-48965-0_18⟩
Accès au texte intégral et bibtex

titre: Failure Detection and Propagation in HPC systems
auteur: George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article: SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt Lake City, United States
Accès au texte intégral et bibtex

titre: Association Optimization in Wi-Fi Networks: Use of an Access-based Fairness
auteur: Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article: The 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), Nov 2016, Malta, Malta. pp.119 - 126, ⟨10.1145/2988287.2989153⟩
Accès au texte intégral et bibtex

titre: Strategies for Big Data Analytics through Lambda Architectures in Volatile Environments
auteur: Alexandre da Silva Veith, Julio C. S. dos Anjos, Edison Pignaton de Freitas, Thomas Lampoltshammer, Claudio Geyer
article: IFAC, Nov 2016, Porto Alegre, Brazil. pp.114-119
Accès au texte intégral et bibtex

titre: Subdivisions of oriented cycles in digraphs with large chromatic number
auteur: Nathann Cohen, Frédéric Havet, William Lochet, Nicolas Nisse
article: Bordeaux Graph Wokshop 2016, Nov 2016, Bordeaux, France. pp.85-88
Accès au texte intégral et bibtex

titre: Evaluation of an End-to-End Delay Estimation in the Case of Multiple Flows in SDN Networks
auteur: Huu-Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article: 3rd International Workshop on Management of SDN and NFV Systems, ManSDN/NFV, Nov 2016, Montréal, Canada
Accès au texte intégral et bibtex

titre: On the Impact of Advance Reservations for Energy-Aware Provisioning of Bare-Metal Cloud Resources
auteur: Marcos Dias de Assuncao, Laurent Lefèvre, Francois Rossigneux
article: CNSM 2016, Oct 2016, Montreal, Canada
Accès au texte intégral et bibtex

titre: Energy Aware Dynamic Provisioning for Heterogeneous Data Centers
auteur: Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article: 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2016), Oct 2016, Los Angeles, United States. ⟨10.1109/SBAC-PAD.2016.34⟩
Accès au texte intégral et bibtex

titre: Secured Systems in Clouds with Model-Driven Orchestration
auteur: Eddy Caron, Arnaud Lefray, Jonathan Rouzaud-Cornabas
article: The 2nd IEEE Workshop on Security and Privacy in the Cloud (SPC 2016). In conjunction with the IEEE CNS conference. , IEEE, Oct 2016, Philadelphia, United States
Accès au bibtex

titre: Description, Implementation and Evaluation of an Affinity Clause for Task Directives
auteur: Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien
article: IWOMP 2016, Oct 2016, Nara, Japan. pp.61-73, ⟨10.1007/978-3-319-45550-1_5⟩
Accès au texte intégral et bibtex

titre: Modélisation du transfert technologique par système multi-agent : illustration à l'informatique verte
auteur: Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article: 24èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2016), Oct 2016, Saint Martin du Vivier, France. pp.223-232
Accès au texte intégral et bibtex

titre: Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions
auteur: Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud
article: Computer Security - ESORICS 2016, Sep 2016, Heraklion, Greece. pp.261-278, ⟨10.1007/978-3-319-45744-4_13⟩
Accès au bibtex

titre: Improving the Performance of Challenged Networks with Controlled Mobility
auteur: Laurent Reynaud, Isabelle Guérin-Lassous
article: 8th International Conference, ADHOCNETS , Sep 2016, Ottawa, Canada. pp.205 - 217, ⟨10.1007/978-3-319-51204-4_17⟩
Accès au texte intégral et bibtex

titre: Performance modeling of virtual switching systems
auteur: Guillaume Artero Gallardo, Bruno Baynat, Thomas Begin
article: IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, Sep 2016, London, United Kingdom. pp.125-134, ⟨10.1109/MASCOTS.2016.22⟩
Accès au texte intégral et bibtex

titre: TEEC: Improving power consumption estimation of software
auteur: Hayri Acar, Gülfem I Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article: EnviroInfo 2016, Sep 2016, Berlin, Germany. pp.335-341 / ISBN 978-3-8440-4687-8
Accès au texte intégral et bibtex

titre: When Amdahl Meets Young/Daly
auteur: Aurélien Cavelan, Jiafan Li, Yves Robert, Hongyang Sun
article: Cluster'2016, Sep 2016, Taipei, Taiwan, France
Accès au texte intégral et bibtex

titre: Dynamically Building Energy Proportional Data Centers with Heterogeneous Computing Resources
auteur: Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article: International Conference on Cluster Computing (CLUSTER 2016), IEEE, Sep 2016, Taipei, Taiwan. pp.1-4, ⟨10.1109/CLUSTER.2016.34⟩
Accès au texte intégral et bibtex

titre: Cell morphing: from array programs to array-free Horn clauses
auteur: David Monniaux, Laure Gonnord
article: 23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. pp.361-382, ⟨10.1007/978-3-662-53413-7_18⟩
Accès au texte intégral et bibtex

titre: Estimation of Parallel Complexity with Rewriting Techniques
auteur: Christophe Alias, Carsten Fuhs, Laure Gonnord
article: Workshop on Termination, Sep 2016, Obergurgl, Austria
Accès au texte intégral et bibtex

titre: Delay-based strategy for safety message dissemination in Vehicular Ad hoc NETworks: Slotted or continuous?
auteur: Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
article: IWCMC 2016 - International Conference on Wireless Communications and Mobile Computing, Sep 2016, Cyprus, Cyprus. pp.268 - 274, ⟨10.1109/IWCMC.2016.7577069⟩
Accès au texte intégral et bibtex

titre: Non-Zero Inner Product Encryption with Short Ciphertexts and Private Keys
auteur: Jie Chen, Benoît Libert, Somindu C. Ramanna
article: 10th Conference on Security and Cryptography for Networks (SCN 2016), Aug 2016, Amalfi, Italy
Accès au texte intégral et bibtex

titre: EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits
auteur: Xinyu Niu, Nicholas Ng, Shaojun Wang, Tomofumi Yuki, Nobuko Yoshida, Wayne Luk
article: FPL 2016 - 26th International Conference on Field Programmable Logic and Applications, Aug 2016, Lausanne, Switzerland. pp.1-4, ⟨10.1109/FPL.2016.7577359⟩
Accès au bibtex

titre: Free-cut elimination in linear logic and an application to a feasible arithmetic
auteur: Patrick Baillot, Anupam Das
article: Computer Science Logic 2016, Aug 2016, Marseille, France. pp. 40:1-40:18, ⟨10.4230/LIPIcs.CSL.2016.40⟩
Accès au texte intégral et bibtex

titre: Using data dependencies to improve task-based scheduling strategies on NUMA architectures
auteur: Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello
article: Euro-Par 2016, Aug 2016, Grenoble, France
Accès au texte intégral et bibtex

titre: Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
auteur: Louis-Claude Canon, Pierre-Cyrille Heam, Laurent Philippe
article: Euro-par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.133 - 145
Accès au texte intégral et bibtex

titre: Causality vs. interleavings in concurrent game semantics
auteur: Simon Castellan, Pierre Clairambault
article: The 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.1 - 3214, ⟨10.4230/LIPIcs.CONCUR.2016.32⟩
Accès au texte intégral et bibtex

titre: Cardinalities of Finite Relations in Coq with Applications
auteur: Paul Brunet, Damien Pous, Insa Stucke
article: Interative Theorem Proving, Aug 2016, Nancy, France. pp.466-474, ⟨10.1007/978-3-319-43144-4_29⟩
Accès au texte intégral et bibtex

titre: A Multi Agent System for Understanding the Impact of Technology Transfer Offices in Green-IT
auteur: Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article: 19th International Conference on Principles and practice of multi-agent systems (PRIMA 2016), Aug 2016, Phuket, Thailand. pp.323-332, ⟨10.1007/978-3-319-44832-9_20⟩
Accès au texte intégral et bibtex

titre: Every Binary Pattern of Length Greater Than 14 Is Abelian-2-Avoidable
auteur: Matthieu Rosenfeld
article: MFCS 2016, Aug 2016, Kraków, Poland. ⟨10.4230/LIPIcs.MFCS.2016.81⟩
Accès au bibtex

titre: High Performance Parallel Algorithms for the Tucker Decomposition of Sparse Tensors
auteur: Oguz Kaya, Bora Uçar
article: International Conference on Parallel Processing (ICPP), Aug 2016, 2016-08-19, United States
Accès au texte intégral et bibtex

titre: Resilient application co-scheduling with processor redistribution
auteur: Anne Benoit, Loïc Pottier, Yves Robert
article: International Conference on Parallel Processing (ICPP), Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex

titre: Computing the expected makespan of task graphs in the presence of silent errors
auteur: Henri Casanova, Julien Herrmann, Yves Robert
article: Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2), 2016, Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex

titre: Fully Secure Functional Encryption for Inner Products, from Standard Assumptions
auteur: Shweta Agrawal, Benoît Libert, Damien Stehlé
article: Crypto 2016, IACR, Aug 2016, Santa Barbara, United States. pp.333 - 362, ⟨10.1007/978-3-662-53015-3_12⟩
Accès au texte intégral et bibtex

titre: A different re-execution speed can help
auteur: Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article: 5th International Workshop on Power-aware Algorithms, Systems, and Architectures (PASA'16), held in conjunction with ICPP 2016, the 45th International Conference on Parallel Processing, Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex

titre: A formal exploration of Nominal Kleene Algebra
auteur: Paul Brunet, Damien Pous
article: MFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩
Accès au texte intégral et bibtex

titre: k-Abelian Equivalence and Rationality
auteur: Julien Cassaigne, Juhani Karhumaki, Svetlana Puzynina, Markus A. Whiteland
article: 20th International Conference on Developments in Language Theory, Jul 2016, Montréal, Canada. pp.77-88, ⟨10.1007/978-3-662-53132-7_7⟩
Accès au bibtex

titre: Avoidability of Formulas with Two Variables
auteur: Pascal Ochem, Matthieu Rosenfeld
article: 20th International Conference on Developments in Language Theory (DLT 2016), Laboratoire de combinatoire et d'informatique mathématique (LaCIM), Université du Québec à Montréal, Jul 2016, Montréal, Canada. pp.344-354, ⟨10.1007/978-3-662-53132-7_28⟩
Accès au texte intégral et bibtex

titre: Parallel Differential Evolution approach for Cloud workflow placements under simultaneous optimization of multiple objectives
auteur: Daniel Balouek-Thomert, Arya K. Bhattacharya, Eddy Caron, Karunakar Gadireddy, Laurent Lefèvre
article: Congress on Evolutionary Computation (IEEE CEC 2016), Jul 2016, Vancouver, Canada
Accès au texte intégral et bibtex

titre: Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
auteur: Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard
article: ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
Accès au texte intégral et bibtex

titre: Computing with quasiseparable matrices
auteur: Clément Pernet
article: International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩
Accès au texte intégral et bibtex

titre: Fast computation of shifted Popov forms of polynomial matrices via systems of modular polynomial equations
auteur: Vincent Neiger
article: 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930936⟩
Accès au texte intégral et bibtex

titre: Fast computation of minimal interpolation bases in Popov form for arbitrary shifts
auteur: Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard
article: 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930928⟩
Accès au texte intégral et bibtex

titre: An Analysis of the Feasibility of Energy Harvesting with Thermoelectric Generators on Petascale and Exascale Systems
auteur: Issam Raïs, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
article: Workshop Optimization of Energy Efficient HPC & Distributed Systems (OPTIM) in conjunction with HPCS, Jul 2016, Innsbruck, Austria
Accès au texte intégral et bibtex

titre: Kinetics of Social Contagion
auteur: Zhongyuan Ruan, Gerardo Iñiguez, Márton Karsai, János Kertész
article: StatPhys'26, Jul 2016, Lyon, France
Accès au bibtex

titre: Functional Commitment Schemes: From Polynomial Commitments to Pairing-Based Accumulators from Simple Assumptions
auteur: Benoît Libert, Somindu C. Ramanna, Moti Yung
article: 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), Jul 2016, Rome, Italy
Accès au texte intégral et bibtex

titre: Computing floating-point logarithms with fixed-point operations
auteur: Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller
article: 23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
Accès au texte intégral et bibtex

titre: CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
auteur: Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
article: 5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany
Accès au texte intégral et bibtex

titre: A new multiplication algorithm for extended precision using floating-point expansions
auteur: Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang
article: ARITH23, Jul 2016, Santa Clara, United States
Accès au texte intégral et bibtex

titre: Correctly Rounded Arbitrary-Precision Floating-Point Summation
auteur: Vincent Lefèvre
article: 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
Accès au texte intégral et bibtex

titre: Amélioration des stratégies d'ordonnancement sur architectures NUMA à l'aide des dépendances de données
auteur: Philippe Virouleau
article: Compas 2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex

titre: Parallel floating-point expansions for extended-precision GPU computations
auteur: Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article: The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
Accès au texte intégral et bibtex

titre: Comparaison de moteurs exécutifs pour la parallélisation de solveurs linéaires itératifs
auteur: Adrien Roussel
article: Conférence d’informatique en Parallélisme, Architecture et Système (Compas’2016), Jul 2016, Lorient, France
Accès au texte intégral et bibtex

titre: Coinduction All the Way Up
auteur: Damien Pous
article: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), Jul 2016, New York, United States. ⟨10.1145/2933575.2934564⟩
Accès au texte intégral et bibtex

titre: Prise en compte de tâches non-prioritaires dans l'ordonnancement batch
auteur: Tchimou N 'Takpé, Frédéric Suter
article: Conférence d’informatique en Parallélisme, Architecture et Système (Compas 2016), Jul 2016, Lorient, France
Accès au texte intégral et bibtex

titre: An Analysis of the Feasibility of Energy Harvesting with Thermoelectric Generators on Petascale and Exascale Systems
auteur: Issam Raïs, Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie
article: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2016), Jul 2016, Lorient, France
Accès au bibtex

titre: From positive and intuitionistic bounded arithmetic to monotone proof complexity
auteur: Anupam Das
article: 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.126-135, ⟨10.1145/2933575.2934570⟩
Accès au texte intégral et bibtex

titre: Asymptotics of lattice walks via analytic combinatorics in several variables
auteur: Stephen Melczer, Mark C. Wilson
article: 28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada. ⟨10.46298/dmtcs.6390⟩
Accès au texte intégral et bibtex

titre: Physics-Based Swarm Intelligence for Disaster Relief Communications
auteur: Laurent Reynaud, Isabelle Guérin-Lassous
article: AdHoc-Now 2016 - 15th International Conference on Ad Hoc Networks and Wireless , Jul 2016, Lille, France. ⟨10.1007/978-3-319-40509-4_7⟩
Accès au texte intégral et bibtex

titre: Efficient Algorithms for Mixed Creative Telescoping
auteur: Alin Bostan, Louis Dumont, Bruno Salvy
article: ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩
Accès au bibtex

titre: The Domino Problem for Self-similar Structures
auteur: Sebastián Barbieri, Mathieu Sablik
article: 12th Conference on Computability in Europe (CiE), Univ Paris 13; Univ Paris 7; Assoc Computabil Europe; Assoc Symbol Log; European Assoc Theoret Comp Sci, Jun 2016, Paris, France. pp.205-214, ⟨10.1007/978-3-319-40189-8_21⟩
Accès au bibtex

titre: Anti-Persistence on Persistent Storage: History-Independent Sparse Tables and Dictionaries
auteur: Michael Bender, Jonathan Berry, Rob Johnson, Thomas Kroeger, Samuel Mccauley, Cynthia Phillips, Bertrand Simon, Shikha Singh, David Zage
article: Principle of Database Systems (PODS 2016), Jun 2016, San Francisco, United States. ⟨10.1145/2902251.2902276⟩
Accès au texte intégral et bibtex

titre: Focusing in Orthologic
auteur: Olivier Laurent
article: Formal Structures for Computation and Deduction, Jun 2016, Porto, Portugal. pp.25, ⟨10.4230/LIPIcs.FSCD.2016.25⟩
Accès au bibtex

titre: A Lattice-Based Group Signature Scheme with Message-Dependent Opening
auteur: Benoît Libert, Fabrice Mouhartem, Khoa Nguyen
article: 14th International Conference on Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom
Accès au texte intégral et bibtex

titre: More Efficient Constructions for Inner-Product Encryption
auteur: Somindu C Ramanna
article: Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom. pp.231 - 248, ⟨10.1007/978-3-319-39555-5_13⟩
Accès au texte intégral et bibtex

titre: The Group of Reversible Turing Machines
auteur: Sebastián Barbieri, Jarkko Kari, Ville Salo
article: 22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Accès au texte intégral et bibtex

titre: Impact of University Admission on Freshmen' Egocentric Network
auteur: Sami Jouaber, Yannick Léo, Carlos Sarraute, Eric Fleury, Márton Karsai
article: 2nd European Conference on Social Networks (EUSN), Jun 2016, Paris, France
Accès au texte intégral et bibtex

titre: On Designing SDN Services for Energy-Aware Traffic Engineering
auteur: Marcos Dias de Assuncao, Radu Carpa, Olivier Glück, Laurent Lefèvre
article: Tridentcom2016 : 11th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, Jun 2016, Hangzhou, China
Accès au texte intégral et bibtex

titre: Socioeconomic correlations in communication networks
auteur: Yannick Leo, José Ignacio Alvarez-Hamelin, Carlos Sarraute, Eric Fleury, Márton Karsai
article: 2nd European Conference on Social Networks (EUSN), Jun 2016, Paris, France
Accès au texte intégral et bibtex

titre: Resource Optimization for Program Committee Members: A Subreview Article
auteur: Michael A Bender, Samuel Mccauley, Bertrand Simon, Shikha Singh, Frédéric Vivien
article: 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.20, ⟨10.4230/LIPIcs.FUN.2016.7⟩
Accès au texte intégral et bibtex

titre: What do we mean by interdisciplinary research?
auteur: Jean-Pierre Chevrot
article: Bridging gaps: Conceptual and epistemological approaches, Center for Multilingualism in Society across the Lifespan Jun 2016, Oslo, Norway
Accès au bibtex

titre: Interdisciplinarity: reasons to hope
auteur: Jean-Pierre Chevrot
article: Bridging gaps: Conceptual and epistemological approaches, Center for Multilingualism in Society across the Lifespan, University of Oslo, Jun 2016, Oslo, Norway
Accès au bibtex

titre: Socioeconomic Correlations and Stratification in Social Communication Networks
auteur: Yannick Léo, Eric Fleury, Carlos Sarraute, Márton Karsai
article: NetSci'16, May 2016, Seoul, South Korea
Accès au bibtex

titre: Practical “Signatures with Efficient Protocols” from Simple Assumptions
auteur: Benoît Libert, Fabrice Mouhartem, Thomas Peters, Moti Yung
article: AsiaCCS 2016, Xiaofeng Chen, May 2016, Xi'an, China. ⟨10.1145/2897845.2897898⟩
Accès au texte intégral et bibtex

titre: Two-Level Checkpointing and Verifications for Linear Task Graphs
auteur: Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article: The 17th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC 2016), May 2016, Chicago, United States. pp.10, ⟨10.1109/IPDPSW.2016.106⟩
Accès au texte intégral et bibtex

titre: Multi-Criteria Malleable Task Management for Hybrid-Cloud Platforms
auteur: Eddy Caron, Marcos Dias de Assuncao
article: 2nd International Conference on Cloud Computing Technologies and Applications (CloudTech'16),, May 2016, Marrakech, Morocco
Accès au texte intégral et bibtex

titre: Call Detail Records to Characterize Usages and Mobility Events of Phone Users
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex

titre: Centralized Association Optimization in the Wi-Fi Networks
auteur: Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article: ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex

titre: Traces mobiles afin de caractériser les usages et la mobilité des utilisateurs
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex

titre: Responsive Algorithms for Handling Load Surges and Switching Links On in Green Networks
auteur: Radu Carpa, Marcos Dias de Assuncao, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article: IEEE International Conference on Communications - IEEE ICC'16 - Green Communications Systems and Networks Symposium, May 2016, Kuala Lumpur, Malaysia
Accès au texte intégral et bibtex

titre: Minimizing Rental Cost for Multiple Recipe Applications in the Cloud
auteur: Fouad Hanna, Loris Marchal, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo, Hala Sabbah
article: IPDPS Workshops, May 2016, Chicago, United States. pp.28--37, ⟨10.1109/IPDPSW.2016.71⟩
Accès au texte intégral et bibtex

titre: Utiliser la densité des utilisateurs mobiles dans les grandes villes afin de délivrer des SMS
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: CoRes 2016, May 2016, Bayonne, France
Accès au texte intégral et bibtex

titre: Taking Benefit from the User Density in Large Cities for Delivering SMS
auteur: Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article: CoRes 2016 -- RENCONTRES FRANCOPHONES SUR LA CONCEPTION DE PROTOCOLES, L’ÉVALUATION DE PERFORMANCE ET L’EXPÉRIMENTATION DES RÉSEAUX DE COMMUNICATION, May 2016, Bayonne, France. ⟨10.1145/2810379.2810393⟩
Accès au texte intégral et bibtex

titre: Minimizing Rental Cost for Multiple Recipe Applications in the Cloud
auteur: Fouad Hanna, Loris Marchal, Jean Nicod, Laurent Philippe, Veronika Sonigo, Hala Sabbah
article: International Parallel and Distributed Processing Symposium, May 2016, Chicago, IL, United States
Accès au texte intégral et bibtex

titre: Coalgebraic Minimization of Automata by Initiality and Finality
auteur: Jurriaan Rot
article: Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII), May 2016, Pittsburgh, United States. pp.253--276, ⟨10.1016/j.entcs.2016.09.042⟩
Accès au bibtex

titre: Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds
auteur: Pedro Silva, Christian Pérez, Frédéric Desprez
article: CCGrid 2016 - 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Colombia. ⟨10.1109/CCGrid.2016.77⟩
Accès au texte intégral et bibtex

titre: Dialectal Characterization of Linguistics Variability on Twitter
auteur: Clément Thibert, Jean-Philippe Magué, Eric Fleury, Márton Karsai, Matthieu Quignard
article: Data Driven Approach to Network and Language, May 2016, Lyon, France
Accès au bibtex

titre: Approximating the end-to-end delay using local measurements: a preliminary study based on conditional expectation
auteur: Huu-Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article: IEEE 3rd International Symposium on Networks, Computers and Communications, ISNCC, May 2016, Hammamet, Tunisia
Accès au texte intégral et bibtex

titre: Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
auteur: Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
article: Eurocrypt 2016, International Association for Cryptologic Research, May 2016, Vienne, Austria. ⟨10.1007/978-3-662-49896-5_1⟩
Accès au texte intégral et bibtex

titre: Optimal Resilience Patterns to Cope with Fail-Stop and Silent Errors
auteur: Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article: IPDPS’2016, the 30th IEEE International Parallel and Distributed Processing Symposium, May 2016, Chicago, United States. ⟨10.1109/IPDPS.2016.39⟩
Accès au texte intégral et bibtex

titre: Towards a Passive Measurement-based Estimator for the Standard Deviation of the End-to-End Delay
auteur: Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article: IEEE/IFIP Network Operations and Management Symposium (NOMS), Apr 2016, Istanbul, Turkey
Accès au texte intégral et bibtex

titre: Beyond CPU: Considering Memory Power Consumption of Software
auteur: Hayri Acar, Gülfem Isiklar Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article: Smartgreens 2016, Apr 2016, Rome, Italy. pp.417-424
Accès au texte intégral et bibtex

titre: Modelling technology transfer in Green IT with Multi Agent System
auteur: Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article: The International Conference on Leadership, Innovation and Entrepreneurship (ICLIE 2016), Apr 2016, Dubai, United Arab Emirates. ⟨10.1007/978-3-319-43434-6_1⟩
Accès au bibtex

titre: The I/O Complexity of Computing Prime Tables
auteur: Michael Bender, Rezaul Chowdhury, Alex Conway, Martín Farach-Colton, Pramod Ganapathi, Rob Johnson, Samuel Mccauley, Bertrand Simon, Shikha Singh
article: Latin American Theoretical Informatics Symposium, Apr 2016, Ensenada, Mexico. pp.192-206, ⟨10.1007/978-3-662-49529-2_15⟩
Accès au texte intégral et bibtex

titre: Modeling the dynamic of networks with heterogenous social capital allocation
auteur: Enrico Ubaldi, Nicola Perra, Márton Karsai, Alessandro Vezzani, Raffaella Burioni, Alessandro Vespignani
article: Sunbelt 2016 (XXXVI Sunbelt Conference of the International Network for Social Network Analysis), Apr 2016, Newport beach, United States
Accès au bibtex

titre: Effectively Eliminating Auxiliaries
auteur: Stijn de Gouw, Jurriaan Rot
article: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Apr 2016, Eindhoven, Netherlands. pp.226-241, ⟨10.1007/978-3-319-30734-3_16⟩
Accès au bibtex

titre: Lawvere Categories as Composed PROPs
auteur: Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
article: 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Accès au texte intégral et bibtex

titre: Duality of Equations and Coequations via Contravariant Adjunctions
auteur: Julian Salamanca, Marcello Bonsangue, Jurriaan Rot
article: 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Accès au texte intégral et bibtex

titre: Structure and dynamics of online service adoption spreading
auteur: Márton Karsai, Gerardo Iñiguez, Riivo Kikas, Kimmo Kaski, János Kertész
article: Complenet'17, Mar 2016, Dijon, France
Accès au bibtex

titre: Socioeconomic correlations in communication networks
auteur: Yannick Léo, Eric Fleury, Carlos Sarraute, José Ignacio Alvarez-Hamelin, Márton Karsai
article: Complenet'17, Mar 2016, Dijon, France
Accès au bibtex

titre: Extended Lattice-Based Memory Allocation
auteur: Alain Darte, Alexandre Isoard, Tomofumi Yuki
article: 25th International Conference on Compiler Construction (CC'16), Mar 2016, Barcelona, Spain
Accès au bibtex

titre: Symbolic Range Analysis of Pointers
auteur: Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
article: International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Accès au texte intégral et bibtex

titre: Predicting the System Performance by Combining Calibrated Performance Models of its Components
auteur: Thomas Begin, Alexandre Brandwajn
article: 7th ACM/SPEC International Conference on Performance Engineering (ICPE 2016), Mar 2016, Delft, Netherlands. pp.95-100, ⟨10.1145/2851553.2858658⟩
Accès au texte intégral et bibtex

titre: Varieties of Cost Functions
auteur: Laure Daviaud, Denis Kuperberg, Jean-Eric Pin
article: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Feb 2016, Orléans, France. pp.1-30, ⟨10.4230/LIPIcs.STACS.2016.30⟩
Accès au texte intégral et bibtex

titre: Weak memory models using event structures
auteur: Simon Castellan
article: Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Accès au texte intégral et bibtex

titre: A Natural Counting of Lambda Terms
auteur: Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
article: SOFSEM 2016, Jan 2016, Harrachov, Czech Republic
Accès au bibtex

titre: Static Analysis of OpenStream Programs
auteur: Albert Cohen, Alain Darte, Paul Feautrier
article: 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Michelle Strout and Tomofumi Yuki, Jan 2016, Prague, Czech Republic
Accès au bibtex

titre: Liveness Analysis in Explicitly-Parallel Programs
auteur: Alain Darte, Alexandre Isoard, Tomofumi Yuki
article: 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Michelle Strout and Tomofumi Yuki, Jan 2016, Prague, Czech Republic
Accès au bibtex

titre: Towards Scalable and Efficient FPGA Stencil Accelerators
auteur: Gaël Deest, Nicolas Estibals, Tomofumi Yuki, Steven Derrien, Sanjay Rajopadhye
article: IMPACT'16 - 6th International Workshop on Polyhedral Compilation Techniques, held with HIPEAC'16, Jan 2016, Prague, Czech Republic
Accès au texte intégral et bibtex

titre: A Generalized Twinning Property for Minimisation of Cost Register Automata
auteur: Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot
article: Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.857--866, ⟨10.1145/2933575.2934549⟩
Accès au bibtex

titre: Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices
auteur: Shi Bai, Damien Stehlé, Wen Weiqiang
article: ICALP 2016, 2016, Roma, Italy. ⟨10.4230/LIPIcs.ICALP.2016.76⟩
Accès au bibtex

titre: Tuple lattice sieving,
auteur: Shi Bai, Thijs Laarhoven, Damien Stehlé
article: ANTS 2016, 2016, Kaiserslautern, Germany
Accès au bibtex

titre: A subfield lattice attack on overstretched NTRU assumptions: Cryptanalysis of some FHE and Graded Encoding Schemes.
auteur: Martin Albrecht, Shi Bai, Leo Ducas
article: CRYPTO 2016, 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_6⟩
Accès au bibtex

titre: Sanitization of FHE Ciphertexts
auteur: Leo Ducas, Damien Stehlé
article: EUROCRYPT, 2016, Wien, Austria
Accès au bibtex

titre: Faster LLL-type reduction of lattice bases
auteur: Damien Stehlé, Arnold Neumaier
article: ISSAC, 2016, Waterloo, Canada
Accès au bibtex

titre: Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
auteur: Stephen Melczer, Bruno Salvy
article: ISSAC 2016, 2016, Waterloo, Canada. pp.8, ⟨10.1145/2930889.2930913⟩
Accès au bibtex

Book sections

titre: LexBFS, Structure, and Algorithms
auteur: Nicolas Trotignon
article: Encyclopedia of Algorithms, Springer New York, pp.1103-1107, 2016
Accès au bibtex

titre: Écritures planaires: cartes, formules, codes et images
auteur: Éric Guichard
article: Avenati, Olaf; Chardel, Pierre-Antoine. Datalogie, Loco, pp.30-47, 2016, 978-2-919507-53-5
Accès au texte intégral et bibtex

Habilitation à diriger des recherches

titre: Automata for relation algebra and formal proofs
auteur: Damien Pous
article: Computer Science [cs]. ENS Lyon, 2016
Accès au texte intégral et bibtex

Special issue

titre: HeteroPar 2014, APCIE 2014, and TASUS 2014 Special Issue
auteur: Jésus Carretero, Raimondas Čiegis, Emmanuel Jeannot, Laurent Lefèvre, Gudula Rünger, Domenico Talia, Žilinskas Julius
article: Concurrency and Computation: Practice and Experience, pp.2, 2016
Accès au bibtex

Other publications

titre: Detecting Global Bridges in Networks
auteur: Matteo Morini, Alessandro Vespignani, Eric Fleury, Jean-Philippe Cointet, Mathieu Jacomy, Márton Karsai, Pablo Jensen, Pierre Mercklé, Tommaso Venturini
article: 2016
Accès au bibtex

Books

titre: Elementary functions, algorithms and implementation, 3rd Edition
auteur: Jean-Michel Muller
article: Birkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩
Accès au bibtex

Poster communications

titre: Gender strerotypes and parent-child interaction in 3-year olds: what can we learn from plays with gendered toys?
auteur: Julie Bardet, Jean-Pierre Chevrot, Stéphanie Barbu
article: Sixth Conference on Explorations in Ethnography, Language and Communication, Diversities in global societies, Sep 2016, Stockholm, Sweden. 2016
Accès au bibtex

titre: Community Structure in Networks
auteur: Dudavid Wei, Yongjun Liao, Márton Karsai, Eric Fleury, Jean-Marie Gorce
article: Complenet'17, Mar 2016, Dijon, France
Accès au bibtex

Proceedings

titre: 2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing
auteur: Assefaw H. Gebremedhin, Erik G. Boman, Bora Uçar
article: Assefaw Gebremedhin; Erik Boman; Bora Uçar. Seventh SIAM Workshop on Combinatorial Scientific Computing, Oct 2016, Albuquerque, United States. 2016, eISBN: 978-1-61197-469-0. ⟨10.1137/1.9781611974690⟩
Accès au bibtex

titre: Proceedings of IEEE 23rd Symposium on Computer Arithmetic
auteur: Paolo Montuschi, Michael Schulte, Javier Hormigo, Stuart Obermann, Nathalie Revol
article: 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), Jul 2016, Silicon Valley, IEEE, 2016
Accès au bibtex

Reports

titre: Combining Range and Inequality Information for Pointer Disambiguation
auteur: Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article: [Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Accès au texte intégral et bibtex

titre: Subdivisions in digraphs of large out-degree or large dichromatic number *
auteur: Pierre Aboulker, Nathann Cohen, Frédéric Havet, William Lochet, Phablo F S Moura, Stéphan Thomassé
article: [Research Report] INRIA Sophia Antipolis - I3S. 2016
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: [Research Report] RR-8965, INRIA Grenoble - Rhone-Alpes; ENS de Lyon. 2016, pp.28
Accès au texte intégral et bibtex

titre: Scheduling Series-Parallel Task Graphs to Minimize Peak Memory
auteur: Enver Kayaaslan, Thomas Lambert, Loris Marchal, Bora Uçar
article: [Research Report] RR-8975, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2016
Accès au texte intégral et bibtex

titre: On matrix symmetrization and sparse direct solvers
auteur: Raluca Portase, Bora Uçar
article: [Research Report] RR-8977, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-31
Accès au texte intégral et bibtex

titre: Scheduling for fault-tolerance: an introduction
auteur: Guillaume Aupy, Yves Robert
article: [Research Report] RR-8971, INRIA. 2016
Accès au texte intégral et bibtex

titre: The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL
auteur: Hélène Coullon, Julien Bigot, Christian Pérez
article: [Research Report] RR-8962, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.30
Accès au texte intégral et bibtex

titre: Bidiagonalization with Parallel Tiled Algorithms
auteur: Mathieu Faverge, Julien Langou, Yves Robert, Jack Dongarra
article: [Research Report] RR-8969, INRIA. 2016
Accès au texte intégral et bibtex

titre: Dynamic memory-aware task-tree scheduling
auteur: Guillaume Aupy, Clément Brasseur, Loris Marchal
article: [Research Report] RR-8966, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex

titre: Multi-level checkpointing and silent error detection for linear workflows
auteur: Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article: [Research Report] RR-8952, INRIA. 2016
Accès au texte intégral et bibtex

titre: Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study
auteur: Christian Pérez, Hélène Coullon, Jérôme Richard
article: [Contract] Inria. 2016, pp.21
Accès au bibtex

titre: Verifying Programs with Arrays and Lists
auteur: Julien Braine, Laure Gonnord, David Monniaux
article: [Internship report] ENS Lyon. 2016
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: [Research Report] RR-8930, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex

titre: High-Level Synthesis of Pipelined FSM from Loop Nests
auteur: Christophe Alias, Fabrice Rastello, Alexandru Plesco
article: [Research Report] 8900, INRIA. 2016, pp.18
Accès au texte intégral et bibtex

titre: A different re-execution speed can help
auteur: Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article: [Research Report] RR-8888, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex

titre: When Amdahl Meets Young/Daly
auteur: Aurélien Cavelan, Jiafan Li, Yves Robert, Hongyang Sun
article: [Research Report] RR-8871, ENS Lyon, CNRS & INRIA. 2016
Accès au texte intégral et bibtex

titre: Malleable task-graph scheduling with a practical speed-up model
auteur: Loris Marchal, Bertrand Simon, Oliver Sinnen, Frédéric Vivien
article: [Research Report] RR-8856, ENS de Lyon. 2016
Accès au texte intégral et bibtex

titre: A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds
auteur: Adrien Lebre, Jonathan Pastor, Frédéric Desprez
article: [Technical Report] RT-0480, INRIA. 2016, pp.1-24
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: [Research Report] RR-8851, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex

titre: Static Analysis of OpenStream Programs
auteur: Albert Cohen, Alain Darte, Paul Feautrier
article: [Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
Accès au texte intégral et bibtex

titre: Liveness Analysis in Explicitly-Parallel Programs
auteur: Alain Darte, Alexandre Isoard, Tomofumi Yuki
article: [Research Report] RR-8839, CNRS; Inria; ENS Lyon. 2016, pp.25
Accès au texte intégral et bibtex

Theses

titre: Deep dive into social network and economic data : a data driven approach for uncovering temporal ties, human mobility, and socioeconomic correlations
auteur: Yannick Leo
article: Networking and Internet Architecture [cs.NI]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN066⟩
Accès au texte intégral et bibtex

titre: Robust tools for weighted Chebyshev approximation and applications to digital filter design
auteur: Silviu-Ioan Filip
article: Signal and Image Processing. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN063⟩
Accès au texte intégral et bibtex

titre: Scheduling and Dynamic Provisioning for Energy Proportional Heterogeneous Infrastructures
auteur: Violaine Villebonnet
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN057⟩
Accès au texte intégral et bibtex

titre: Scheduling on Clouds considering energy consumption and performance trade-offs : from modelization to industrial applications
auteur: Daniel Balouek-Thomert
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN058⟩
Accès au texte intégral et bibtex

titre: Bases of relations in one or several variables: fast algorithms and applications
auteur: Vincent Neiger
article: Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩
Accès au texte intégral et bibtex

titre: Algebras of Relations : from algorithms to formal proofs
auteur: Paul Brunet
article: Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
Accès au texte intégral et bibtex

titre: Tools for the Design of Reliable and Efficient Functions Evaluation Libraries
auteur: Serge Torres
article: Computer Arithmetic. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN030⟩
Accès au texte intégral et bibtex

titre: Extending Polyhedral Techniques towards Parallel Specifications and Approximations
auteur: Alexandre Isoard
article: Other [cs.OH]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN011⟩
Accès au texte intégral et bibtex

titre: Detection of linear algebra operations in polyhedral programs
auteur: Guillaume Iooss
article: Other [cs.OH]. Université de Lyon; Colorado state university, 2016. English. ⟨NNT : 2016LYSEN019⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre: Burstiness and tie reinforcement in time varying social networks
auteur: Enrico Ubaldi, Alessandro Vezzani, Márton Karsai, Nicola Perra, Raffaella Burioni
article: 2016
Accès au bibtex

titre: Onset of anomalous diffusion from local motion rules
auteur: Sarah de Nigris, Timoteo Carletti, Renaud Lambiotte
article: 2016
Accès au texte intégral et bibtex

titre: Dependent Types for Extensive Games
auteur: Pierre Lescanne
article: 2016
Accès au texte intégral et bibtex

titre: A Library for Symbolic Floating-Point Arithmetic
auteur: Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet
article: 2016
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: 2016
Accès au texte intégral et bibtex

titre: GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction
auteur: Jinming Wen, Xiao-Wen Chang
article: 2016
Accès au bibtex

titre: Factorisation of RSA-220 with CADO-NFS
auteur: Shi Bai, Pierrick Gaudry, Alexander Kruppa, Emmanuel Thomé, Paul Zimmermann
article: 2016
Accès au texte intégral et bibtex

titre: A NATURAL COUNTING OF LAMBDA TERMS
auteur: Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
article: 2016
Accès au texte intégral et bibtex

titre: DyLNet – Language Dynamics, Linguistic Learning, and Sociability at Preschool: Benefits of Wireless Proximity Sensors in Collecting Big Data (https://dylnet.univ-grenoble-alpes.fr/)
auteur: Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Márton Karsai, Laurence Buson, Maryse Bianco, Isabelle Rousset, Céline Dugua, Loïc Liégeois, Stéphanie Barbu, Christophe Crespelle, Anthony Busson, Yannick Léo, Hélène Bouchet, Sicheng Dai
article: 2016
Accès au bibtex

titre: A Linearithmic Time Algorithm for a Shortest Vector Problem in Compute-and-Forward Design
auteur: Jinming Wen, Xiao-Wen Chang
article: 2016
Accès au bibtex

titre: Numerical semigroups II: pseudo-symmetric AA-Semigroups
auteur: Ignacio García-Marco, Jorge Ramirez Alfonsin, Oystein J. Rodseth
article: 2016
Accès au texte intégral et bibtex

titre: A Kleene theorem for Petri automata
auteur: Paul Brunet
article: 2016
Accès au texte intégral et bibtex