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

2015

Journal articles

titre
VC-dimension and Erdős–Pósa property
auteur
Nicolas Bousquet, Stéphan Thomassé
article
Discrete Mathematics, 2015, 338, pp.2302-2317. ⟨10.1016/j.disc.2015.05.026⟩
Accès au bibtex
BibTex
titre
Sex Differences in Language Across Early Childhood: Family Socioeconomic Status does not Impact Boys and Girls Equally
auteur
Stéphanie Barbu, Aurélie Nardy, Jean-Pierre Chevrot, Bahia Guellaï, Ludivine Glas, Jacques Juhel, Alban Lemasson
article
Frontiers in Psychology, 2015, 6, pp.1874. ⟨10.3389/fpsyg.2015.01874⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01244841/file/Barbu%20et%20al.%20%20%282015%29.pdf BibTex
titre
Translation on Graphs: An Isometric Shift Operator
auteur
Benjamin Girault, Paulo Gonçalves, Eric Fleury
article
IEEE Signal Processing Letters, 2015, 22 (12), pp.2416 - 2420. ⟨10.1109/LSP.2015.2488279⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01221562/file/final.pdf BibTex
titre
An architecture and algorithm for context-aware resource allocation for Digital Teaching Platforms
auteur
Fernando Koch, Marcos Dias de Assuncao, Carlos Cardonha, Marco A.S. Netto, Tiago T. Primo
article
Ibm Journal of Research and Development, 2015, 59 (6), pp.1-9
Accès au bibtex
BibTex
titre
FIT IoT-LAB: A Large Scale Open Experimental IoT Testbed – A valuable tool for IoT deployment in Smart Factories
auteur
Cédric Adjih, Emmanuel Baccelli, Eric Fleury, Gaetan Harter, Nathalie Mitton, Thomas Noel, Roger Pissard-Gibollet, Frederic Saint-Marcel, Guillaume Schreiner, Julien Vandaele, Thomas Watteyne
article
IEEE Communications Society Multimedia Communications Technical Committee E-Letter, 2015, ⟨10.1109/WF-IoT.2015.7389098⟩
Accès au bibtex
BibTex
titre
Enhanced Coalgebraic Bisimulation
auteur
Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
article
Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129515000523⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01288960/file/ecb.pdf BibTex
titre
Active Data: A Programming Model to Manage Data Life Cycle Across Heterogeneous Systems and Infrastructures
auteur
Anthony Simonet, Gilles Fedak, Matei Ripeanu
article
Future Generation Computer Systems, 2015, 55, pp.17. ⟨10.1016/j.future.2015.05.015⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01241491/file/AD_FGCS_2015.pdf BibTex
titre
Decoupling with Random Quantum Circuits
auteur
Winton Brown, Omar Fawzi
article
Communications in Mathematical Physics, 2015, 340 (3), pp.867-900
Accès au bibtex
BibTex
titre
Quantum Conditional Mutual Information and Approximate Markov Chains
auteur
Omar Fawzi, Renato Renner
article
Communications in Mathematical Physics, 2015, 340 (2), pp.575-611
Accès au bibtex
BibTex
titre
Excluding clocks
auteur
Pierre Aboulker, Zhentao Li, Stéphan Thomassé
article
Electronic Notes in Discrete Mathematics, 2015, 50, pp.103-108
Accès au bibtex
BibTex
titre
Improving the energy efficiency of software-defined backbone networks
auteur
Radu Carpa, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article
Photonic Network Communications, 2015, 30 (3), pp.337-347. ⟨10.1007/s11107-015-0552-9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01246376/file/PNET2015.pdf BibTex
titre
Using SPQR-trees to speed up algorithms based on 2-cutset decompositions
auteur
C.M.H. de Figueiredo, H.B. de Macêdo Filho, Z. Li, R.C.S. Machado, N. Trotignon
article
Electronic Notes in Discrete Mathematics, 2015, 50, pp.169-174
Accès au bibtex
BibTex
titre
Kinetics of Social Contagion
auteur
Zhongyuan Ruan, Gerardo Iñiguez, Márton Karsai, János Kertész
article
Physical Review Letters, 2015, 115, 218702
Accès au bibtex
https://arxiv.org/pdf/1506.00251 BibTex
titre
From calls to communities: a model for time varying social networks
auteur
Guillaume Laurent, Jari Saramäki, Márton Karsai
article
The European Physical Journal B: Condensed Matter and Complex Systems, 2015, 88, 301
Accès au bibtex
https://arxiv.org/pdf/1506.00393 BibTex
titre
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
auteur
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
article
Theoretical Computer Science, 2015, 604, pp. 102-126. ⟨10.1016/j.tcs.2015.03.024⟩
Accès au bibtex
https://arxiv.org/pdf/1402.4062 BibTex
titre
Mixing LU and QR factorization algorithms to design high-performance dense linear algebra solvers
auteur
Mathieu Faverge, Julien Herrmann, Julien Langou, Bradley Lowery, Yves Robert, Jack Dongarra
article
Journal of Parallel and Distributed Computing, 2015, IPDPS 2014 Selected Papers on Numerical and Combinatorial Algorithms, 85, pp.15. ⟨10.1016/j.jpdc.2015.06.007⟩
Accès au bibtex
BibTex
titre
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
auteur
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
article
Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00945033/file/x-puissance-n-revision.pdf BibTex
titre
Detecting global bridges in networks
auteur
Pablo Jensen, Matteo Morini, Márton Karsai, Tommaso Venturini, Alessandro Vespignani, Mathieu Jacomy, Jean-Philippe Cointet, Pierre Mercklé, Eric Fleury
article
Journal of Complex Networks, 2015, 4 (3), pp.319-329. ⟨10.1093/comnet/cnv022⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01206166/file/Jensen_MS.pdf BibTex
titre
The Scaling of Human Contacts in Reaction-Diffusion Processes on Heterogeneous Metapopulation Networks
auteur
Michele Tizzoni, Kaiyuan Sun, Diego Benusiglio, Márton Karsai, Nicola Perra
article
Scientific Reports, 2015, 5 (15111)
Accès au bibtex
https://arxiv.org/pdf/1411.7310 BibTex
titre
Wheel-free planar graphs
auteur
Pierre Aboulker, Maria Chudnovsky, Paul Seymour, Nicolas Trotignon
article
European Journal of Combinatorics, 2015, 49, ⟨10.1016/j.ejc.2015.02.027⟩
Accès au bibtex
https://arxiv.org/pdf/1309.7120 BibTex
titre
On the impact of process replication on executions of large-scale parallel applications with coordinated checkpointing
auteur
Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
Future Generation Computer Systems, 2015, 51, pp.13. ⟨10.1016/j.future.2015.04.003⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199752/file/FGCS.pdf BibTex
titre
On some generalizations of abelian power avoidability
auteur
Michael Rao
article
Theoretical Computer Science, 2015, 601, pp.39-46
Accès au bibtex
BibTex
titre
Collective attention in the age of (mis)information
auteur
Delia Mocanu, Luca Rossi, Qian Zhang, Márton Karsai, Walter Quattrociocchi
article
Computers in Human Behavior, 2015, 51, ⟨10.1016/j.chb.2015.01.024⟩
Accès au bibtex
https://arxiv.org/pdf/1403.3344 BibTex
titre
SEAD: A simple and efficient adaptive data dissemination protocol in vehicular ad-hoc networks
auteur
Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
article
Wireless Networks, 2015, pp.11. ⟨10.1007/s11276-015-1050-9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242289/file/winet.pdf BibTex
titre
SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems
auteur
Laurent Pouilloux, Takahiro Hirofuchi, Adrien Lebre
article
IEEE Transactions on Cloud Computing, 2015, ⟨10.1109/TCC.2015.2481422⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01197274/file/main.pdf BibTex
titre
Energy Efficiency for Ultrascale Systems: Challenges and Trends from Nesus Project
auteur
Michel Bagein, Jorge Barbosa, Vicente Blanco, Ivona Brandic, Samuel Cremer, Sebastien Fremal, Helen Karatza, Laurent Lefèvre, Toni Mastelic, Ariel Oleksiak, Anne-Cecile Orgerie, Georgios L. Stavrinides, Sebastien Varrette
article
Supercomputing Frontiers and Innovations , 2015, 2 (2), pp.105-131. ⟨10.14529/jsfi150206⟩
Accès au bibtex
BibTex
titre
On the complexity of the F5 Gröbner basis algorithm
auteur
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
article
Journal of Symbolic Computation, 2015, 70, pp.49--70. ⟨10.1016/j.jsc.2014.09.025⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01064519/file/analyseF5.pdf BibTex
titre
Toward More Scalable Off-Line Simulations of MPI Applications
auteur
Henri Casanova, Anshul Gupta, Frédéric Suter
article
Parallel Processing Letters, 2015, 25 (3), ⟨10.1142/S0129626415410029⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01232787/file/scalatrace-ti_hal.pdf BibTex
titre
Big, Medium, Little: Reaching Energy Proportionality with Heterogeneous Computing Scheduler
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article
Parallel Processing Letters, 2015, 25 (3), pp.0. ⟨10.1142/S0129626415410066⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01206525/file/villebonnet_15328.pdf BibTex
titre
Fractal Analysis and Hurst Parameter for Intrapartum Fetal Heart Rate Variability Analysis: A Versatile Alternative to Frequency Bands and LF/HF Ratio
auteur
Muriel Doret, Jiří Spilka, Václav Chudáček, Paulo Gonçalves, Patrice Abry
article
PLoS ONE, 2015, 0136661, ⟨10.1371/journal.pone.0136661⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01245438/file/Doret.PlosOne.0136661.2015.pdf BibTex
titre
La déferlante des données
auteur
Francoise Berthoud, Eric Drezet, Laurent Lefèvre, Anne-Cécile Orgerie
article
Interstices, 2015
Accès au bibtex
BibTex
titre
Le syndrome de l'obésiciel: des applications énergivores
auteur
Francoise Berthoud, Eric Drezet, Laurent Lefèvre, Anne-Cécile Orgerie
article
Interstices, 2015
Accès au bibtex
BibTex
titre
Designing Controversies and Their Publics
auteur
Tommaso Venturini, Donato Ricci, Michele Mauri, Lucy Kimbell, Axel Meunier
article
Design Issues, 2015, 31 (3), pp.74-87. ⟨10.1162/DESI_a_00340⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01672300/file/Venturini%20et%20al.%20-%202015%20-%20Designing%20Controversies%20and%20Their%20Publics.pdf BibTex
titre
Parallel scheduling of task trees with limited memory
auteur
Lionel Eyraud-Dubois, Loris Marchal, Oliver Sinnen, Frédéric Vivien
article
ACM Transactions on Parallel Computing, 2015, 2 (2), pp.36. ⟨10.1145/2779052⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01160118/file/journal-revision-TOPC.pdf BibTex
titre
L'épidémie du smartphone : prolifération et dissémination des composants électroniques
auteur
Francoise Berthoud, Eric Drezet, Laurent Lefèvre, Anne-Cécile Orgerie
article
Interstices, 2015
Accès au bibtex
BibTex
titre
Sciences du numérique et développement durable : des liens complexes
auteur
Francoise Berthoud, Eric Drezet, Laurent Lefèvre, Anne-Cécile Orgerie
article
Interstices, 2015
Accès au bibtex
BibTex
titre
Linear time algorithms for weighted offensive and powerful alliances in trees
auteur
Sylvain Legay, Ararat Harutyunyan
article
Theoretical Computer Science, 2015, 582, pp.17-26. ⟨10.1016/j.tcs.2015.03.017⟩
Accès au bibtex
BibTex
titre
HybridMR: a New Approach for Hybrid MapReduce Combining Desktop Grid and Cloud Infrastructures
auteur
Bing Tang, Haiwu He, Gilles Fedak
article
Concurrency and Computation: Practice and Experience, 2015, 27 (16), pp.16. ⟨10.1002/cpe.3515⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01239299/file/mapreduce_cpe_15.pdf BibTex
titre
A Wronskian approach to the real τ-conjecture
auteur
Pascal Koiran, Natacha Portier, Sébastien Tavenas
article
Journal of Symbolic Computation, 2015, 68, pp.195-214
Accès au bibtex
BibTex
titre
Vertex elimination orderings for hereditary graph classes
auteur
Pierre Aboulker, Pierre Charbit, Nicolas Trotignon, Kristina Vušković
article
Discrete Mathematics, 2015, 338 (5), ⟨10.1016/j.disc.2014.12.014⟩
Accès au bibtex
https://arxiv.org/pdf/1205.2535 BibTex
titre
Interindividual Contacts and Carriage of Methicillin-Resistant Staphylococcus aureus: A Nested Case-Control Study
auteur
Thomas Obadia, Lulla Opatowski, Laura Temime, Jean-Louis Herrmann, Eric Fleury, Pierre-Yves Boëlle, Didier Guillemot
article
Infection Control and Hospital Epidemiology, 2015, pp.1-8. ⟨10.1017/ice.2015.89⟩
Accès au bibtex
BibTex
titre
Concurrency cannot be observed, asynchronously
auteur
Filippo Bonchi, Fabio Gadducci, Paolo Baldan, Valentina Monreale
article
Mathematical Structures in Computer Science, 2015, ⟨10.1017/S0960129513000108⟩
Accès au bibtex
BibTex
titre
PetaFlow: a global computing-networking-visualisation unit with social impact
auteur
Alexandre Ancel, Ingo Assenmacher, Ken Ichi Baba, Julien Cisonni, Yo Fujiso, Paulo Gonçalves, Matthieu Imbert, Koji Koyamada, Pierre Neyron, Nozaki Kazunori, Ohsaki Hiroyuki, Anne-Cécile Orgerie, Xavier Pelorson, Bruno Raffin, Naohisa Sakamoto, Eisaku Sakane, Shigeo Wada, Shinji Shimojo, Annemie van Hirtum
article
International Research Journal of Computer Science, 2015, 2 (4)
Accès au bibtex
BibTex
titre
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy.
auteur
Patrick Baillot
article
Information and Computation, 2015, 241, pp.3-31
Accès au bibtex
BibTex
titre
FIT IoT-LAB: The Largest IoT Open Experimental Testbed
auteur
Eric Fleury, Nathalie Mitton, Thomas Noel, Cédric Adjih
article
ERCIM News, 2015, 101, pp.4
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01138038/file/fit-iot-ercim.pdf BibTex
titre
Non-clairvoyant reduction algorithms for heterogeneous platforms
auteur
Anne Benoit, Louis-Claude Canon, Loris Marchal
article
Concurrency and Computation: Practice and Experience, 2015, 27 (6), pp.1612-1624. ⟨10.1002/cpe.3347⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01090232/file/ccpe.pdf BibTex
titre
Simulation of MPI applications with time-independent traces
auteur
Henri Casanova, Frédéric Desprez, George S. Markomanolis, Frédéric Suter
article
Concurrency and Computation: Practice and Experience, 2015, 27 (5), pp.24. ⟨10.1002/cpe.3278⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01232776/file/ccpe_hal.pdf BibTex
titre
Composing resilience techniques: ABFT, periodic and incremental checkpointing
auteur
George Bosilca, Aurélien Bouteiller, Thomas Herault, Yves Robert, Jack Dongarra
article
International Journal of Networking and Computing, 2015, 5 (1), pp.2-25
Accès au bibtex
BibTex
titre
Power-aware replica placement in tree networks with multiple servers per client
auteur
Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert
article
Sustainable Computing : Informatics and Systems, 2015, 5, pp.41-53. ⟨10.1016/j.suscom.2014.08.013⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01059364/file/main.pdf BibTex
titre
Avoiding 2-binomial squares and cubes
auteur
Michael Rao, Michel Rigo, Pavel Salimov
article
Theoretical Computer Science, 2015, 572, pp.83-91
Accès au bibtex
BibTex
titre
Mapping Applications on Volatile Resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
International Journal of High Performance Computing Applications, 2015, 29 (1), pp.19. ⟨10.1177/1094342013518806⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00923948/file/journal-revised.pdf BibTex
titre
Entanglement Sampling and Applications
auteur
Frederic Dupuis, Omar Fawzi, Stephanie Wehner
article
IEEE Transactions on Information Theory, 2015, 61 (2), pp.1093-1112
Accès au bibtex
BibTex
titre
Improved bounds for reduction to depth 4 and depth 3
auteur
Sébastien Tavenas
article
Information and Computation, 2015, 240, pp.2-11
Accès au bibtex
BibTex
titre
A tau-Conjecture for Newton Polygons
auteur
Pascal Koiran, Natacha Portier, Sébastien Tavenas, Stéphan Thomassé
article
Foundations of Computational Mathematics, 2015, 15 (1), pp.185-197
Accès au bibtex
BibTex
titre
Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
auteur
Anh Tuan Giang, Anthony Busson, Alain Lambert, Dominique Gruyer
article
IEEE Transactions on Vehicular Technology, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01217564/file/tvt2016.pdf BibTex
titre
Memory-aware tree traversals with pre-assigned tasks
auteur
Julien Herrmann, Loris Marchal, Yves Robert
article
Journal of Parallel and Distributed Computing, 2015, 75, pp.53--56
Accès au bibtex
BibTex
titre
Studying Optimal Spilling in the Light of SSA
auteur
Quentin Colombet, Florian Brandner, Alain Darte
article
ACM Transactions on Architecture and Code Optimization, 2015, 11-4 (47), pp.26. ⟨10.1145/2685392⟩
Accès au bibtex
BibTex
titre
Large-scale parallelism for constraint-based local search: the costas array case study
auteur
Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
article
Constraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01084270/file/constraints14.pdf BibTex
titre
On the error of Computing ab + cd using Cornea, Harrison and Tang's method
auteur
Jean-Michel Muller
article
ACM Transactions on Mathematical Software, 2015, 41 (2), pp.8
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00862910/file/AnalysisCornea.pdf BibTex
titre
On Shuffling of Infinite Square-Free Words
auteur
Mike Müller, Svetlana Puzynina, Michael Rao
article
The Electronic Journal of Combinatorics, 2015, 22, pp.1-55
Accès au bibtex
BibTex
titre
BIGhybrid: A Simulator for MapReduce Applications in Hybrid Distributed Infrastructures Validated with the Grid5000 Experimental Platform
auteur
Julio C. S. Anjos, Gilles Fedak, Claudio Geyer
article
Concurrency and Computation: Practice and Experience, 2015, ⟨10.1002/cpe.665⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01239382/file/Bighybrid.pdf BibTex
titre
Bounding Linear Head Reduction and Visible Interaction Through Skeletons
auteur
Pierre Clairambault
article
Logical Methods in Computer Science, 2015, 11 (2), pp.6. ⟨10.2168/LMCS-11(2:6)2015⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01286473/file/1503.04034v2.pdf BibTex
titre
Termination of the Iterated Strong-Factor Operator on Multipartite Graphs
auteur
Christophe Crespelle, Thi Ha Duong Phan, Hung Tran-The
article
Theoretical Computer Science, 2015, 571, pp.67-77. ⟨10.1016/j.tcs.2015.01.009⟩
Accès au bibtex
BibTex
titre
Coloring perfect graphs with no balanced skew-partitions
auteur
Maria Chudnovsky, Nicolas Trotignon, Théophile Trunck, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, 2015, 115, pp.26-65. ⟨10.1016/j.jctb.2015.04.007⟩
Accès au bibtex
https://arxiv.org/pdf/1308.6444 BibTex
titre
Worst-case to average-case reductions for module lattices
auteur
Adeline Langlois, Damien Stehlé
article
Designs, Codes and Cryptography, 2015, pp.35. ⟨10.1007/s10623-014-9938-4⟩
Accès au bibtex
BibTex
titre
Parallel computation of entries in A-1
auteur
Patrick Amestoy, Iain S. Duff, Jean-Yves L'Excellent, François-Henry Rouet
article
SIAM Journal on Scientific Computing, 2015, 37 (2), pp.C268-C284. ⟨10.1137/120902616⟩
Accès au bibtex
BibTex
titre
Thermodynamic graph-rewriting
auteur
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer, Hernán Melgratti
article
Logical Methods in Computer Science, 2015, 11 (2), ⟨10.2168/LMCS-11(2:13)2015⟩
Accès au bibtex
https://arxiv.org/pdf/1503.06022 BibTex
titre
Fill in the Gap: A New Alliance for Social and Natural Sciences
auteur
Tommaso Venturini, Pablo Jensen, Bruno Latour
article
Journal of Artificial Societies and Social Simulation, 2015, 18 (2), pp.18 - 29. ⟨10.18564/jasss.2729⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01672301/file/Venturini%2C%20Jensen%2C%20Latour%20-%202015%20-%20Fill%20in%20the%20Gap%20A%20New%20Alliance%20for%20Social%20and%20Natural%20Sciences.pdf BibTex
titre
Méthodes digitales: Approches quali/quanti des données numériques - Curation and Presentation of the Special Issue
auteur
Tommaso Venturini, Dominique Cardon, Jean-Philippe Cointet
article
Réseaux : communication, technologie, société, 2015, 188 (6), ⟨10.3917/res.188.0009⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01672302/file/Venturini%2C%20Cardon%2C%20Cointet%20-%202015%20-%20Me%CC%81thodes%20digitales%20Approches%20qualiquanti%20des%20donne%CC%81es%20nume%CC%81riques%20-%20Curation%20and%20Presentation%20of%20th.pdf BibTex
titre
Computing the Directed Cartesian-Product Decomposition of a Directed Graph from its Undirected Decomposition in Linear Time
auteur
Christophe Crespelle, Eric Thierry
article
Discrete Mathematics, 2015, 338 (12), pp.2393-2407. ⟨10.1016/j.disc.2015.06.001⟩
Accès au bibtex
BibTex
titre
Comments on the hierarchically structured bin packing problem
auteur
Thomas Lambert, Loris Marchal, Bora Uçar
article
Information Processing Letters, 2015, 115 (2), pp.306--309. ⟨10.1016/j.ipl.2014.10.001⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01071414/file/article.pdf BibTex
titre
A strong Tauberian theorem for characteristic functions
auteur
R Riedi, Paulo Gonçalves
article
Applied and Computational Harmonic Analysis, 2015, 39, pp.6. ⟨10.1016/j.acha.2015.03.007⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01245436/file/RiediGoncalves-ACHA2015.pdf BibTex
titre
Improving Multifrontal Methods by Means of Block Low-Rank Representations
auteur
Patrick Amestoy, Cleve Ashcraft, Olivier Boiteau, Alfredo Buttari, Jean-Yves L'Excellent, Clément Weisbecker
article
SIAM Journal on Scientific Computing, 2015, 37 (3), pp.A1451-A1474. ⟨10.1137/120903476⟩
Accès au bibtex
BibTex
titre
Weak CCP bisimilarity with strong procedures
auteur
Luis Pino, Andres Aristizabal, Filippo Bonchi, Frank Valencia
article
Science of Computer Programming, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00976768/file/scp13-final.pdf BibTex
titre
Reducing Communication Overhead of the Subset Difference Scheme
auteur
Sanjay Bhattacherjee, Palash Sarkar
article
IEEE Transactions on Computers, 2015, 65 (8), pp.2575-2587. ⟨10.1109/TC.2015.2485231⟩
Accès au bibtex
BibTex
titre
Optimising resource costs of cloud computing for education
auteur
Fernando Koch, Marcos Dias de Assuncao, Carlos Cardonha, Marco Netto
article
Future Generation Computer Systems, 2015, pp.1-7. ⟨10.1016/j.future.2015.03.013⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199188/file/FGCS_preprint.pdf BibTex
titre
Impact of User Patience on Auto-Scaling Resource Capacity for Cloud Services
auteur
Marcos Dias de Assuncao, Carlos Cardonha, Marco Netto, Renato Cunha
article
Future Generation Computer Systems, 2015, pp.1-10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199207/file/paper.pdf BibTex
titre
Hypergraph partitioning for multiple communication cost metrics: Model and methods
auteur
Mehmet Deveci, Kamer Kaya, Bora Uçar, Umit V. Catalyurek
article
Journal of Parallel and Distributed Computing, 2015, 77, pp.69--83. ⟨10.1016/j.jpdc.2014.12.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159676/file/deveci_jpdc.pdf BibTex
titre
Using a Sparse Promoting Method in Linear Programming Approximations to Schedule Parallel Jobs.
auteur
Stéphane Chrétien, Jean-Marc Nicod, Laurent Philippe, Veronika Sonigo, Lamiel Toch
article
Concurrency and Computation: Practice and Experience, 2015, 27 (14), pp.3561 - 3586
Accès au bibtex
BibTex
titre
Two approximation algorithms for bipartite matching on multicore architectures
auteur
Fanny Dufossé, Kamer Kaya, Bora Uçar
article
Journal of Parallel and Distributed Computing, 2015, 85, pp.62-78. ⟨10.1016/j.jpdc.2015.06.009⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242516/file/randMatch.pdf BibTex
titre
Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming
auteur
Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia
article
Science of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01098502/file/SCP14-HAL.pdf BibTex
titre
The Erdős–Hajnal conjecture for paths and antipaths
auteur
Nicolas Bousquet, Aurélie Lagoutte, Stéphan Thomassé
article
Journal of Combinatorial Theory, Series B, 2015, 113, pp.261-264. ⟨10.1016/j.jctb.2015.01.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01134469/file/pathantipath_elsarticle_revisee.pdf BibTex
titre
On the intersection of a sparse curve and a low-degree curve: A polynomial version of the lost theorem
auteur
Pascal Koiran, Natacha Portier, Sébastien Tavenas
article
Discrete and Computational Geometry, 2015, pp.16
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00871315/file/dense_sparse.corrections.pdf BibTex
titre
Counting and generating terms in the binary lambda calculus
auteur
Katarzyna Grygiel, Pierre Lescanne
article
Journal of Functional Programming, 2015, 25, ⟨10.1017/S0956796815000271⟩
Accès au bibtex
BibTex
titre
Hacking nondeterminism with induction and coinduction.
auteur
Filippo Bonchi, Damien Pous
article
Communications of the ACM, 2015, 58 (2), pp.87-95. ⟨10.1145/2713167⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01284907/file/hkc-acm.pdf BibTex
titre
On the termination of some biclique operators on multipartite graphs
auteur
Christophe Crespelle, Matthieu Latapy, Thi Ha Duong Phan
article
Discrete Applied Mathematics, 2015, 195, pp.59-73. ⟨10.1016/j.dam.2015.02.006⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01200865/file/Multipartie.pdf BibTex
titre
Formally verified certificate checkers for hardest-to-round computation
auteur
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
article
Journal of Automated Reasoning, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00919498/file/Hensel-JAR.pdf BibTex
titre
Detailed Contact Data and the Dissemination of Staphylococcus aureus in Hospitals
auteur
Thomas Obadia, Romain Silhol, Lulla Opatowski, Laura Temime, Judith Legrand, Anne C.M. Thiébaut, Jean-Louis Herrmann, Eric Fleury, Didier Guillemot, Pierre-Yves Boelle
article
PLoS Computational Biology, 2015, 11 (3), pp.e1004170. ⟨10.1371/journal.pcbi.1004170⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01134050/file/journal.pcbi.1004170.pdf BibTex
titre
Faster Algorithms for Multivariate Interpolation with Multiplicities and Simultaneous Polynomial Approximations
auteur
Muhammad Foizul Islam Chowdhury, Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard
article
IEEE Transactions on Information Theory, 2015, pp.2370-2387. ⟨10.1109/TIT.2015.2416068⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00941435/file/MultivariateInterpolation-PolyApprox_v2.pdf BibTex
titre
Identifying codes in hereditary classes of graphs and VC-dimension
auteur
Nicolas Bousquet, Aurélie Lagoutte, Zhentao Li, Aline Parreau, Stéphan Thomassé
article
SIAM Journal on Discrete Mathematics, 2015, 29 (4), pp.2047-2064. ⟨10.1137/14097879X⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01038012/file/Identifying_codes_and_VC-dimension_final_siam.pdf BibTex

Conference papers

titre
The risk of divergence
auteur
Pierre Lescanne
article
3rd International Workshop on Strategic Reasoning, Dec 2015, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-01246889/file/risk_divergence.pdf BibTex
titre
D 3 -MapReduce: Towards MapReduce for Distributed and Dynamic Data Sets
auteur
Haiwu He, Anthony Simonet, Julio Anjos, José-Francisco Saray, Gilles Fedak, Bing Tang, Lu Lu, Xuanhua Shi, Hai Jin, Mircea Moca, Gheorghe Cosmin Silaghi, Asma Ben Cheikh, Heithem Abbes
article
International Conference on Big Data Intelligence and Computing (DataCom 2015), Dec 2015, Chengdu, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242046/file/DataCom_2015.pdf BibTex
titre
Towards an Environment for doing Data Science that runs in Browsers
auteur
Leila Abidi, Christophe Cérin, Gilles Fedak, Haiwu He
article
International Conference on Big Data Intelligence and Computing (DataCom 2015), Dec 2015, Chengdu, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01245751/file/DataCom2015.pdf BibTex
titre
On the Problem of Computing the Probability of Regular Sets of Trees
auteur
Henryk Michalewski, Matteo Mio
article
Proc. of FSTTCS 2015, Dec 2015, Bangalore, India. pp.489 - 502, ⟨10.4230/LIPIcs.FSTTCS.2015.489⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02140487/file/23.pdf BibTex
titre
Availability and Network-Aware MapReduce Task Scheduling over the Internet
auteur
Bing Tang, Qi Xie, Haiwu He, Gilles Fedak
article
Algorithms and Architectures for Parallel Processing, Dec 2015, Zhangjiajie, China. ⟨10.1007/978-3-319-27119-4_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01256183/file/ICA3PP_2015_submission_274.pdf BibTex
titre
Which Verification for Soft Error Detection?
auteur
Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Saurabh K. Raina, Yves Robert, Hongyang Sun
article
High Performance Computing 2015, Dec 2015, Bangalore, India
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01252382/file/hipc.pdf BibTex
titre
FIT IoT-LAB: A Large Scale Open Experimental IoT Testbed
auteur
Cédric Adjih, Emmanuel Baccelli, Eric Fleury, Gaetan Harter, Nathalie Mitton, Thomas Noel, Roger Pissard-Gibollet, Frédéric Saint-Marcel, Guillaume Schreiner, Julien Vandaele, Thomas Watteyne
article
IEEE World Forum on Internet of Things (IEEE WF-IoT), Dec 2015, Milan, Italy
Accès au bibtex
BibTex
titre
Numérique : 1. Environnement : 0. Avec EcoInfo, changeons nos pratiques
auteur
Françoise Berthoud, Laurent Lefèvre, Marianne Parry
article
JRES 2015 : 11 èmes journées réseaux de l'enseignement et de la rechercher, Dec 2015, Montpellier, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01240175/file/paper12_article_rev1982_20151109_095644.pdf BibTex
titre
Enforcing Security and Assurance Properties in Cloud Environment
auteur
Aline Bousquet, Jérémy Briffaut, Eddy Caron, Eva María Dominguez, Javier Franco, Arnaud Lefray, Oscar López, Saioa Ros, Jonathan Rouzaud-Cornabas, Christian Toinard, Mikel Uriarte
article
8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015), University of Cyprus, Dec 2015, Limassol, Cyprus
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01240557/file/UCC_2015.pdf BibTex
titre
Sociolinguistique et sciences cognitives: l’individu, le collectif et le réseau
auteur
Jean-Pierre Chevrot, Aurélie Nardy, Eric Fleury, Màrton Karsai, Jean-Philippe Magué
article
Journées FLORaL-PFC 2015 : la base de données Phonologie du Français Contemporain dans le champ phonologique, Dec 2015, Paris, France
Accès au bibtex
BibTex
titre
Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications
auteur
Benoît Libert, Thomas Peters, Marc Joye, Moti Yung
article
Advances in Cryptology - Asiacrypt 2015, IACR, Nov 2015, Auckland, New Zealand
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01225363/file/sim-sound-tightness-eprint-version.pdf BibTex
titre
Implementing Candidate Graded Encoding Schemes from Ideal Lattices
auteur
Martin R. Albrecht, Catalin Cocis, Fabien Laguillaumie, Adeline Langlois
article
Asiacrypt 2015, Nov 2015, Auckland, New Zealand. ⟨10.1007/978-3-662-48800-3_31⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01237355/file/928.pdf BibTex
titre
Temporal evolution of communities based on scientometrics data
auteur
Matteo Morini, Pablo Jensen, Patrick Flandrin
article
Sciences des données et humanités numeriques, Projet ARESOS (Reconstruction, Analyse et Accès aux Données dans les Grands Réseaux Socio‐Sémantiques), ISC-PIF, Nov 2015, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01282805/file/waveletshistory.pdf BibTex
titre
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.
auteur
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
article
Logic for Programming, Artificial Intelligence, and Reasoning - 20thInternational Conference, LPAR-20, Nov 2015, Suva, Fiji. pp.203-218
Accès au bibtex
BibTex
titre
Scheduling Independent Tasks with Voltage Overscaling
auteur
Aurélien Cavelan, Yves Robert, Hongyang Sun, Frédéric Vivien
article
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. pp.10, ⟨10.1109/PRDC.2015.40⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199742/file/abft_PRDC.pdf BibTex
titre
From DSL to HPC Component-Based Runtime: A Multi-Stencil DSL Case Study
auteur
Julien Bigot, Hélène Coullon, Christian Pérez
article
WOLFHPC 2015 (Fifth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing), Nov 2015, co-located with SC'15, Austin, Texas, United States. pp.10, ⟨10.1145/2830018.2830020⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01215992/file/article.pdf BibTex
titre
FIT IoT-LAB First Class IoT Open Experimental Testbed
auteur
Eric Fleury, Cédric Adjih, Emmanuel Baccelli, Gaetan Harter, Nathalie Mitton, Thomas Noel, Roger Pissard-Gibollet, Frédéric Saint-Marcel, Guillaume Schreiner, Julien Vandaele, Thomas Watteyne
article
26th Asian School of Computer Science, Nov 2015, Bangkok, Thailand
Accès au bibtex
BibTex
titre
STS-k: A Multilevel Sparse Triangular Solution Scheme for NUMA Multicores
auteur
Humayun Kabir, Joshua Booth, Guillaume Aupy, Anne Benoit, Yves Robert, Padma Raghavan
article
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, {SC} 2015, Austin, TX, USA, November 15-20, 2015, Nov 2015, Austin, United States. pp.11, ⟨10.1145/2807591.2807667⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01251937/file/scHAL.pdf BibTex
titre
Two-level checkpointing and partial verifications for linear task graphs
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
6th International Workshop in Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS15), Nov 2015, Austin, TX, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01252400/file/pmbs.pdf BibTex
titre
Scalable sparse tensor decompositions in distributed memory systems
auteur
Oguz Kaya, Bora Uçar
article
International Conference for High Performance Computing, Networking, Storage and Analysis (SC15), Nov 2015, Austin, TX, United States. ⟨10.1145/2807591.2807624⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01148202/file/als_distmem.pdf BibTex
titre
Hilbert-Post completeness for the state and the exception effects
auteur
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud, Damien Pous
article
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01121924/file/HP-Completeness.pdf BibTex
titre
Taking Benefit from the User Density in Large Cities for Delivering SMS Experimentations in Mexico City
auteur
Yannick Léo, Carlos Sarraute, Anthony Busson, Eric Fleury
article
12th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks (PE-WASUN '15 ), Nov 2015, Cancun, Mexico. ⟨10.1145/2810379.2810393⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01273667/file/sigproc-sp.pdf BibTex
titre
Exploiting structure in floating-point arithmetic
auteur
Claude-Pierre Jeannerod
article
Mathematical Aspects of Computer and Information Sciences (MACIS), Nov 2015, Berlin, Germany. ⟨10.1007/978-3-319-32859-1_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01247059/file/jeannerod15.pdf BibTex
titre
Community mining with graph filters for correlation matrices
auteur
Pierre Borgnat, Paulo Gonçalves, Nicolas Tremblay, Nathanaël Willaime-Angonin
article
Asilomar Conference on Signals, Systems, and Computers, Nov 2015, Monterey (CA), United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01245926/file/Asilomar15_corr_comm.pdf BibTex
titre
A knowledge representation meta-model for rule-based modelling of signalling networks
auteur
Adrien Basso-Blandin, Walter Fontana, Russ Harmer
article
DCM, Oct 2015, Cali, Colombia. ⟨10.4204/EPTCS.204.5⟩
Accès au bibtex
https://arxiv.org/pdf/1603.01488 BibTex
titre
Modélisation d'un intergiciel de grille pour le déploiement auto-adaptatif
auteur
Eddy Caron, Maurice Djibril Faye, Jonathan Rouzaud-Cornabas, Ousmane Thiaré
article
Colloque National sur la Recherche en Informatique et ses Applications (CNRIA2015) 28–31 Octobre 2015 à l’Ecole Polytechnique de Thiès (EPT), Thiès, Sénégal, Association Sénégalaise des Chercheurs en InformatIque (ASCII),, Oct 2015, THIES, Senegal
Accès au texte intégral et bibtex
https://hal.science/hal-03973717/file/CNRIA%2015%20THIES.pdf BibTex
titre
SMART: An Application Framework for Real Time Big Data Analysis on Heterogeneous Cloud Environments
auteur
Julio C. S. dos Anjos, Marcos Dias de Assuncao, Jean Bez, Claudio Geyer, Edison Pignaton de Freitas, Alexandre Carissimi, João Paulo C.L. Costa, Gilles Fedak, Felix Freitag, Volker Markl, Paul Fergus, Rubem Pereira
article
15th IEEE Int. Conf. on Computer and Information Technology (CIT), IEEE, Oct 2015, Liverpool, United Kingdom. pp.199-206, ⟨10.1109/CIT/IUCC/DASC/PICOM.2015.29⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199200/file/CITPaper-CameraReady.pdf BibTex
titre
Autonomic Management using Self-Stabilization for Hierarchical and Distributed Middleware
auteur
Eddy Caron, Maurice-Djibril Faye, Ousmane Thiare
article
The 2015 International Symposium on Advances in Autonomic and Secure Computing and Communications (ASCC-2015). In conjunction with DASC-15., Oct 2015, Liverpool, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01239792/file/dasc2015%20%281%29.pdf BibTex
titre
Modélisation d'un intergiciel de grille pour le déploiement auto-adaptatif
auteur
Eddy Caron, Maurice-Djibril Faye, Ousmane Thiare
article
CNRIA (Colloque National sur la Recherche en Informatique et ses Applications) , L’Association Sénégalaise des Chercheurs en InformatIque (ASCII), Oct 2015, Thiès, Sénégal
Accès au bibtex
BibTex
titre
Automatic Source-to-Source Error Compensation of Floating-Point Programs
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01158399/file/LMT15a-ieee.pdf BibTex
titre
A unifying model for representing time-varying graphs
auteur
Klaus Wehmuth, Artur Ziviani, Eric Fleury
article
IEEE International Conference on Data Science and Advanced Analytics. DSAA'2015, Oct 2015, Paris, France. ⟨10.1109/DSAA.2015.7344810⟩
Accès au bibtex
https://arxiv.org/pdf/1402.3488 BibTex
titre
3D frequency-domain seismic modeling with a Parallel BLR multifrontal direct solver
auteur
Patrick Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary, Ludovic Métivier, Alain Miniussi, Stéphane Operto, Jean Virieux, Clement Weisbecker
article
SEG Annual meeting, Oct 2015, New Orleans, United States. pp.3606-3611
Accès au bibtex
BibTex
titre
Efficient 3D frequency-domain full-waveform inversion of ocean-bottom cable data with sparse block low-rank direct solver: a real data case study 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, Alessandra Ribodetti, Jean Virieux, Clement Weisbecker
article
SEG Annual meeting, Oct 2015, New Orleans, United States. pp.1303-1308, ⟨10.1190/segam2015-5713962.1⟩
Accès au bibtex
BibTex
titre
E-Biothon: an experimental platform for BioInformatics
auteur
Michel Daydé, Benjamin Depardon, Alain Franc, Jean-François Gibrat, Romaric Guillier, Yasaman Karami, Christian Pérez, Frédéric Suter, Marie Chabbert, Bruck Taddese, Sylvie Thérond
article
International Conference on Computer Science and Information Technologies, Sep 2015, Yerevan, Armenia. ⟨10.1109/CSITechnol.2015.7358239⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01207320/file/eBiothon.pdf BibTex
titre
Drawing graphs with vertices and edges in convex position
auteur
Ignacio García-Marco, Kolja Knauer
article
Graph Drawing 2015, Sep 2015, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01457773/file/paper_rev.pdf BibTex
titre
E-Fast & CloudPower: Towards High Performance Technical Analysis for Small Investors
auteur
Mircea Moca, Darie Moldovan, Oleg Lodygensky, Gilles Fedak
article
Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2015), Sep 2015, Cluj-Napoca, Romania
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01256217/file/paper.pdf BibTex
titre
Kwapi: A Unified Monitoring Framework for Energy Consumption and Network Traffic
auteur
Florentin Clouet, Simon Delamare, Jean-Patrick Gelas, Laurent Lefèvre, Lucas Nussbaum, Clément Parisot, Laurent Pouilloux, François Rossigneux
article
4th GENI / FIRE Collaboration Workshop, Sep 2015, Washington, DC, United States
Accès au bibtex
BibTex
titre
The evolution of Japanese business networks in ASEAN countries since the 1960s
auteur
Jean­-Pascal Bassino, Pablo Jensen, Matteo Morini
article
2015 Historical Network Research Conference, Sep 2015, Lisbon, Portugal
Accès au bibtex
BibTex
titre
Canonical Representatives of Morphic Permutations
auteur
Sergey V. Avgustinovich, Anna E. Frid, Svetlana Puzynina
article
WORDS 2015, Sep 2015, Kiel, Germany. pp.59-72, ⟨10.1007/978-3-319-23660-5_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01221426/file/words2015_01.pdf BibTex
titre
Signaux stationnaires sur graphe : étude d'un cas réel
auteur
Benjamin Girault, Paulo Gonçalves, Eric Fleury
article
Gretsi, Sep 2015, Lyon, France. pp.4
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01164379/file/gretsi-2015%20%281%29.pdf BibTex
titre
A Redundancy based Protocol for Safety Message Dissemination in Vehicular Ad Hoc Networks
auteur
Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
article
The 82 nd IEEE Vehicular Technology Conference, IEEE, Sep 2015, Boston, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242275/file/VTC-Article-5pages.pdf BibTex
titre
Lax Bialgebras and Up-To Techniques for Weak Bisimulations
auteur
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
article
26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.240⟩
Accès au bibtex
BibTex
titre
Stationary Graph Signals using an Isometric Graph Translation
auteur
Benjamin Girault
article
23rd European Signal Processing Conference (EUSIPCO), Aug 2015, Nice, France. pp.1531-1535, ⟨10.1109/EUSIPCO.2015.7362637⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01155902/file/eusipco15.pdf BibTex
titre
Induced minors and well-quasi-ordering
auteur
Jarosław Błasiok, Marcin Kamiński, Jean-Florent Raymond, Théophile Trunck
article
EuroComb: European Conference on Combinatorics, Graph Theory and Applications, Aug 2015, Bergen, Norway. pp.197-201, ⟨10.1016/j.endm.2015.06.029⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01349277/file/endm1907.pdf BibTex
titre
Towards Application Variability Handling with Component Models: 3D-FFT Use Case Study
auteur
Vincent Lanore, Christian Pérez, Jérôme Richard
article
UnConventional High Performance Computing 2015, Jens Breitbart, Technische Universität München, DE; Josef Weidendorfer, Technische Universität München, DE, Aug 2015, Vienne, Austria. pp.12, ⟨10.1007/978-3-319-27308-2_61⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01192732/file/llncs.pdf BibTex
titre
Short Group Signatures via Structure-Preserving Signatures: Standard Model Security from Simple Assumptions
auteur
Benoît Libert, Thomas Peters, Moti Yung
article
Advances in Cryptology - Crypto 2015, Aug 2015, Santa Barbara, United States. ⟨10.1007/978-3-662-48000-7_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01225353/file/short-gsis-full-version.pdf BibTex
titre
Efficient deadlock-free asynchronous approaches for a distributed-memory sparse direct solver (ICIAM 2015)
auteur
Mohamed Wissam Sid Lakhdar, Jean-Yves L'Excellent, Patrick Amestoy
article
8th International Congress on Industrial and Applied Mathematics (ICIAM 2015), International Council for Industrial and Applied Mathematics (ICIAM); National Natural Science Foundation of China; Chinese Academy of Sciences; China Association for Science and Technology; Ministry of Science and Technology of the People's Republic of China, Aug 2015, Beijing, China
Accès au bibtex
BibTex
titre
Ergodic Infinite Permutations of Minimal Complexity
auteur
Sergey V. Avgustinovich, Anna E. Frid, Svetlana Puzynina
article
DLT 2015, Jul 2015, Liverpool, United Kingdom. pp.71-84, ⟨10.1007/978-3-319-21500-6_5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01221433/file/afp_20_03.pdf https://hal.science/hal-01221433/file/6.pdf https://hal.science/hal-01221433/file/st3.pdf BibTex
titre
Towards a Green and Sustainable Software
auteur
Hayri Acar, Gülfem Isiklar Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article
Concurrent Engineering 2015, Jul 2015, Delf, Netherlands. pp.471-480
Accès au texte intégral et bibtex
https://hal.science/hal-01192692/file/ISPE_CE_2015_final.pdf BibTex
titre
A Simple Model of Coevolution for Macroscopic and Microscopic Levels
auteur
Matteo Morini, Pablo Jensen
article
SwarmFest 2015, Swarm Developement Group (SDG), Jul 2015, Columbia, SC, United States
Accès au bibtex
BibTex
titre
Computing the Rank Profile Matrix
auteur
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
article
ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01107722/file/elu_report.pdf BibTex
titre
Petri automata for Kleene allegories
auteur
Paul Brunet, Damien Pous
article
Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.68-79, ⟨10.1109/LICS.2015.17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01073936/file/paka.pdf BibTex
titre
Baire Category Quantifier in Monadic Second Order Logic
auteur
Henryk Michalewski, Matteo Mio
article
Proc. of ICALP 2015, Jul 2015, Kyoto, Japan. pp.362-374
Accès au bibtex
BibTex
titre
The Parallel Intensionally Fully Abstract Games Model of PCF
auteur
Simon Castellan, Pierre Clairambault, Glynn Winskel
article
Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.31⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01286477/file/lics15.pdf BibTex
titre
Formulas for Continued Fractions. An Automated Guess and Prove Approach
auteur
Sébastien Maulat, Bruno Salvy
article
ISSAC'15, Jul 2015, Bath, United Kingdom. ⟨10.1145/2755996.2756660⟩
Accès au bibtex
https://arxiv.org/pdf/1507.04203 BibTex
titre
A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape
auteur
Sophie Burrill, Stephen Melczer, Marni Mishna
article
27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.369-380, ⟨10.46298/dmtcs.2530⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01337810/file/Poster5.pdf BibTex
titre
Algebraic Diagonals and Walks
auteur
Alin Bostan, Louis Dumont, Bruno Salvy
article
ISSAC'15 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.77-84, ⟨10.1145/2755996.2756663⟩
Accès au bibtex
https://arxiv.org/pdf/1510.04080 BibTex
titre
Undecidability of Equality in the Free Locally Cartesian Closed Category
auteur
Simon Castellan, Pierre Clairambault, Peter Dybjer
article
TLCA 2015 13th International Conference on Typed Lambda Calculi and Applications, Jul 2015, Varsovie, Poland. ⟨10.4230/LIPIcs.TLCA.2015.138⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01286479/file/tlca2015.pdf BibTex
titre
Fibrations of Tree Automata
auteur
Colin Riba
article
TLCA 2015, Jul 2015, Varsovie, Poland. pp.302--316, ⟨10.4230/LIPIcs.TLCA.2015.302⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01261182/file/fib.pdf BibTex
titre
Simplifier le verrouillage d'assemblages de composants haute performance à pile d'appel
auteur
Vincent Lanore
article
Compas 2015, Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01193081/file/papier.pdf BibTex
titre
Vers un modèle de composants supportant l’ordonnancement de tâches pour le calcul de haute performance
auteur
Jérôme Richard
article
Compas 2015, Romain Rouvoy; Michaël Hauspie; Julien Iguchy-Cartigny; Philippe Marquet; Lionel Seinturier; Thomas Vantroys; Christine Yvoz, Jun 2015, Lille, France. pp.10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01192661/file/paper.pdf BibTex
titre
Généralisation du concept "big.LITTLE" pour aller vers des infrastructures cloud énergétiquement proportionnelles
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf
article
Conférence d’informatique en Parallélisme, Architecture et Système (Compas 2015), ., Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199917/file/articleCompas.pdf BibTex
titre
STREETE : Une ingénierie de trafic pour des réseaux de coeur énergétiquement efficaces
auteur
Radu Carpa, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article
Conference Compas'2015, Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01205429/file/compas2015.pdf BibTex
titre
Microarchitecture-Aware Virtual Machine Placement under Information Leakage Constraints
auteur
Arnaud Lefray, Eddy Caron, Jonathan Rouzaud-Cornabas, Christian Toinard
article
8th IEEE International Conference on Cloud Computing (IEEE Cloud 2015), http://www.thecloudcomputing.org/2015/, Jun 2015, New-York, United States. pp.588 - 595 ⟨10.1109/CLOUD.2015.84⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01240573/file/cloud-2015.pdf BibTex
titre
A Unified Monitoring Framework for Energy Consumption and Network Traffic
auteur
Florentin Clouet, Simon Delamare, Jean-Patrick Gelas, Laurent Lefèvre, Lucas Nussbaum, Clément Parisot, Laurent Pouilloux, François Rossigneux
article
TRIDENTCOM - International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, Jun 2015, Vancouver, Canada. pp.10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01167915/file/kwapi.pdf BibTex
titre
Voltage Overscaling Algorithms for Energy-Efficient Workflow Computations With Timing Errors
auteur
Aurélien Cavelan, Yves Robert, Hongyang Sun, Frédéric Vivien
article
FTXS '15: 5th Workshop on Fault Tolerance for HPC at eXtreme Scale, Jun 2015, Portland, United States. pp.8, ⟨10.1145/2751504.2751508⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01199250/file/FTXS4HAL.pdf BibTex
titre
Synthesis of ranking functions using extremal counterexamples
auteur
Laure Gonnord, David Monniaux, Gabriel Radanne
article
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01144622/file/PLDI15_termite_authorVersion.pdf BibTex
titre
Revisiting Loop Transformations with X10 Clocks
auteur
Tomofumi Yuki
article
Proceedings of the ACM SIGPLAN Workshop on X10, Jun 2015, Portland, OR, United States. ⟨10.1145/2771774.2771778⟩
Accès au bibtex
BibTex
titre
Socioeconomic correlations in communication networks
auteur
Yannick Leo, Eric Fleury, Carlos Sarraute, José Ignacio Alvarez-Hamelin, Màrton Karsai
article
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SOCIAL SCIENCE (IC2S2 2015), Jun 2015, Helsinki, Finland
Accès au bibtex
BibTex
titre
Nu@ge: Towards a solidary and responsible cloud computing service
auteur
Daniel Balouek-Thomert, Eddy Caron, Pascal Gallard, Laurent Lefèvre
article
CloudTech'2015, Jun 2015, Marrakesh, Morocco. ⟨10.1109/CloudTech.2015.7337006⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196898/file/cloudtech2015.pdf BibTex
titre
Mobilité Contrôlée pour la poursuite de frelons
auteur
Laurent Reynaud, Isabelle Guérin Lassous, Jacques-Olivier Calvar
article
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Accès au texte intégral et bibtex
https://hal.science/hal-01147939/file/Mobilit%C3%A9%20Contr%C3%B4l%C3%A9e%20pour%20la%20Poursuite%20de%20Frelons%20-%20camera%20ready.pdf BibTex
titre
Caractérisation dialectale de variabilité linguistique sur Twitter
auteur
Jean-Philippe Magué, Eric Fleury, Màrton Karsai, Matthieu Quignard
article
LANGUAGE, COGNITION AND SOCIETY (AFLiCo 6), May 2015, Grenoble, France
Accès au bibtex
BibTex
titre
Synergy of Volunteer Measurements and Volunteer Computing for Effective Data Collecting, Processing, Simulating and Analyzing on a Worldwide Scale
auteur
Nikita Gordienko, Oleg Lodygensky, Gilles Fedak, Yuri Gordienko
article
38th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2015); Distributed Computing, Visualization and Biomedical Engineering (DC VIS), May 2015, Opatija, Croatia
Accès au bibtex
https://arxiv.org/pdf/1504.00806 BibTex
titre
Scheduling Computational Workflows on Failure-Prone Platforms
auteur
Guillaume Aupy, Anne Benoit, Henri Casanova, Yves Robert
article
17th Workshop on Advances in Parallel and Distributed Computational Models, May 2015, Hyderabad, India. ⟨10.1109/IPDPSW.2015.33⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01251939/file/apdcm.pdf BibTex
titre
Load-Balanced Local Time Stepping for Large-Scale Wave Propagation
auteur
Max Rietmann, Daniel Peter, Olaf Schenk, Bora Uçar, Marcus J. Grote
article
29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. pp.925--935
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159687/file/rietmann_lts.pdf BibTex
titre
Fast and high quality topology-aware task mapping
auteur
Mehmet Deveci, Kamer Kaya, Bora Uçar, Umit V. Catalyurek
article
29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159677/file/deveci_ipdps.pdf BibTex
titre
Semi-two-dimensional partitioning for parallel sparse matrix-vector multiplication
auteur
Enver Kayaaslan, Bora Uçar, Cevdet Aykanat
article
PCO2015 (IPDPSW), May 2015, Hyderabad, India. pp.1125--1134
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159692/file/kayaaslan.pdf BibTex
titre
Scheduling the I/O of HPC Applications Under Congestion
auteur
Ana Gainaru, Guillaume Aupy, Anne Benoit, Franck Cappello, Yves Robert, Marc Snir
article
IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015, May 2015, Hyderabad, India. ⟨10.1109/IPDPS.2015.116⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01251938/file/online.pdf BibTex
titre
Combining backward and forward recovery to cope with silent errors in iterative solvers
auteur
Massimiliano Fasi, Yves Robert, Bora Uçar
article
PDSEC2015, May 2015, Hyderabad, India. pp.980--989
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159679/file/fasi.pdf BibTex
titre
Bridging the Gap between Performance and Bounds of Cholesky Factorization on Heterogeneous Platforms
auteur
Emmanuel Agullo, Olivier Beaumont, Lionel Eyraud-Dubois, Julien Herrmann, Suraj Kumar, Loris Marchal, Samuel Thibault
article
Heterogeneity in Computing Workshop 2015, May 2015, Hyderabad, India. ⟨10.1109/IPDPSW.2015.35⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01120507/file/Camera_ready.pdf BibTex
titre
Energy-Aware Server Provisioning by Introducing Middleware-Level Dynamic Green Scheduling
auteur
Daniel Balouek-Thomert, Eddy Caron, Laurent Lefèvre
article
HPPAC'2015, May 2015, Hyderabad, India. ⟨10.1109/IPDPSW.2015.121⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196908/file/hppac2015.pdf BibTex
titre
Intersection types fit well with resource control
auteur
Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Silvia Likavec
article
21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia
Accès au bibtex
BibTex
titre
A Reconfigurable Component Model for HPC
auteur
Vincent Lanore, Christian Pérez
article
CBSE 2015, May 2015, Montréal, Canada. pp.10
Accès au bibtex
BibTex
titre
Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API
auteur
Adrien Lebre, Arnaud Legrand, Frédéric Suter, Pierre Veyre
article
CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, May 2015, Shenzhen, China. pp.251-260, ⟨10.1109/CCGrid.2015.134⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01197128/file/sg_storage_ccgrid15.pdf BibTex
titre
Fully Homomophic Encryption over the Integers Revisited
auteur
Jung Hee Cheon, Damien Stehlé
article
EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2015, Sofia, Bulgaria. pp.513-536, ⟨10.1007/978-3-662-46800-5_20⟩
Accès au bibtex
BibTex
titre
A Behavioural Theory for a π-calculus with Preorders
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
article
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01246094/file/978-3-319-24644-4_10_Chapter.pdf BibTex
titre
Linearly Homomorphic Encryption from DDH
auteur
Guilhem Castagnos, Fabien Laguillaumie
article
The Cryptographer's Track at the RSA Conference 2015, Apr 2015, San Francisco, United States. ⟨10.1007/978-3-319-16715-2_26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01213284/file/CTRSA15_ddhhomo_extended.pdf BibTex
titre
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
auteur
Alain Darte, Alexandre Isoard
article
24th International Conference on Compiler Construction (CC'15), part of ETAPS'15, Apr 2015, London, United Kingdom
Accès au bibtex
BibTex
titre
Game Semantics and Normalization by Evaluation
auteur
Pierre Clairambault, Peter Dybjer
article
18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46678-0_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01286469/file/fossacs2015.pdf BibTex
titre
Sms transmission using phone users density in big cities
auteur
Floran Berthaud, Yannick Léo, Carlos Sarraute, Anthony Busson, Eric Fleury
article
Fourth conference on the Analysis of Mobile Phone Datasets (NetMob 2015), Apr 2015, MIT Media Lab, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01134379/file/netmob15_submission_66%20%282%29%20%281%29.pdf BibTex
titre
Socioeconomic correlations in communication networks
auteur
Yannick Leo, Eric Fleury, Carlos Sarraute, José Ignacio Alvarez-Hamelin, Márton Karsai
article
Fourth conference on the Analysis of Mobile Phone Datasets (NetMob 2015), Apr 2015, MIT Media Lab, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01134295/file/NetMob_abstract_v3.pdf BibTex
titre
Secure Efficient History-Hiding Append-Only Signatures in the Standard Model
auteur
Benoît Libert, Marc Joye, Moti Yung, Thomas Peters
article
Public Key Cryptography 2015 (PKC 2015), Mar 2015, Washington DC, United States. ⟨10.1007/978-3-662-46447-2_20⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01225344/file/superset-sig-final.pdf BibTex
titre
Using Active Data to Provide Smart Data Surveillance to E-Science Users
auteur
Anthony Simonet, Kyle Chard, Gilles Fedak, Ian Foster
article
23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.76⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01256207/file/active-data.euromicropdp.2015.pdf BibTex
titre
Application-Agnostic Framework for Improving the Energy Efficiency of Multiple HPC Subsystems
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf, Georges da Costa
article
23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.18⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01094431/file/PDP2015_Chetsa_Lefevre_Pierson_Stolf_Costa.pdf BibTex
titre
The Power of Polynomials
auteur
Paul Feautrier
article
5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Jan 2015, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01094787/file/powerPol-v2.pdf BibTex
titre
Full Abstraction for Signal Flow Graphs
auteur
Filippo Bonchi, Fabio Zanasi, Pawel Sobocinski
article
Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩
Accès au bibtex
BibTex
titre
Coinductive techniques, from automata to coalgebra
auteur
Damien Pous
article
Programming Languages Mentoring Workshop, Jan 2015, Mumbai, India. ⟨10.1145/2792434.2792440⟩
Accès au bibtex
BibTex
titre
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
auteur
Damien Pous
article
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India
Accès au texte intégral et bibtex
https://hal.science/hal-01021497/file/symbolic_kat.pdf BibTex
titre
Decidability of Identity-free Relational Kleene Lattices
auteur
Paul Brunet, Damien Pous
article
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01099137/file/jfla15_submission_30.pdf BibTex
titre
La stratégie de la fourchette
auteur
Simon Castellan
article
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01099125/file/jfla15_submission_4.pdf BibTex
titre
Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distance
auteur
Shi Bai, Adeline Langlois, Tancrede Lepoint, Damien Stehlé, Ron Steinfeld
article
ASIACRYPT, 2015, Auckland, New Zealand
Accès au bibtex
BibTex
titre
Cryptanalysis of the Multilinear Map over the Integers
auteur
Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé
article
EUROCRYPT, 2015, Sofia, Bulgaria
Accès au bibtex
BibTex
titre
Scheduling Trees of Malleable Tasks for Sparse Linear Algebra
auteur
Abdou Guermouche, Loris Marchal, Bertrand Simon, Frédéric Vivien
article
International European Conference on Parallel and Distributed Computing (Euro-Par 2015), 2015, Vienna, Austria. pp.479-490, ⟨10.1007/978-3-662-48096-0_37⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01160104/file/europar.pdf 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
14th International Symposium on Algorithms and Data Structures – WADS 2015, 2015, Victoria, Canada. pp.212-223
Accès au bibtex
BibTex
titre
Lower Bounds for Sums of Powers of Low Degree Univariates
auteur
Neeraj Kayal, Pascal Koiran, Timothée Pecatte, Chandan Saha
article
International Colloquium on Automata, Logic and Programming (ICALP), 2015, Kyoto, France. pp.810-821
Accès au bibtex
BibTex
titre
Assessing the impact of partial verifications against silent data corruptions
auteur
Aurélien Cavelan, Saurabh Kumar Raina, Yves Robert, Hongyang Sun
article
ICPP'2015, The Int. Conference on Parallel Processing, ICPP, 2015, Beijing, China. pp.440-449 ⟨10.1109/ICPP.2015.53⟩
Accès au bibtex
BibTex
titre
Non-Altering Time Scales for Aggregation of Dynamic Networks into Series of Graphs
auteur
Yannick Léo, Christophe Crespelle, Eric Fleury
article
11th International Conference on emerging Networking EXperiments and Technologies – CoNEXT 2015, 2015, Heidelberg, Germany
Accès au bibtex
BibTex
titre
An $O(n^2)$-time algorithm for the minimal permutation completion problem
auteur
Christophe Crespelle, Anthony Perez, Ioan Todinca
article
41st International Workshop on Graph-Theoretic Concepts in Computer Science - WG 2015, 2015, Munich, Germany
Accès au bibtex
BibTex
titre
Efficient Process Replication for MPI Applications: Sharing Work Between Replicas
auteur
Thomas Ropars, Arnaud Lefray, Dohyun Kim, André Schiper
article
29th IEEE International Parallel & Distributed Processing Symposium (IPDPS2015), 2015, Hyderabad, India
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01121959/file/ipdps2015.pdf BibTex
titre
Log-Concavity and Lower Bounds for Arithmetic Circuits
auteur
Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas
article
Mathematical Foundations of Computer Science (MFCS), 2015, Milan, Italy. pp.361-371
Accès au bibtex
BibTex

Book sections

titre
Transformation numérique et transformation énergétique
auteur
Francoise Berthoud, Amélie Bohas, Laurent Lefèvre, Marianne Parry
article
Quelles solutions pour le changement climatique ?, CNRS Editions, 2015
Accès au bibtex
BibTex
titre
Using replication for resilience on exascale systems
auteur
Henri Casanova, Dounia Zaidouni, Frédéric Vivien
article
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.50, 2015, 978-3-319-20943-2
Accès au bibtex
BibTex
titre
Energy-aware checkpointing strategies
auteur
Guillaume Aupy, Anne Benoit, Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre
article
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.279-317, 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01205153/file/FTHPC2015_Aupy_Benoit_Diouri_Gluck_Lefevre.pdf BibTex
titre
Fault Tolerance Techniques for High-Performance Computing
auteur
Jack Dongarra, Thomas Hérault, Yves Robert
article
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.83, 2015, 978-3-319-20943-2
Accès au bibtex
BibTex
titre
Green Wired Networks
auteur
Alfonso Gazo Cervero, Michele Chincoli, Lars Dittmann, Andreas Fischer, Alberto E. Garcia, Jaime Galán-Jiménez, Laurent Lefèvre, Hermann de Meer, Thierry Monteil, Paolo Monti, Anne-Cecile Orgerie, Louis-Francois Pau, Chris Phillips, Sergio Ricciardi, Remi Sharrock, Patricia Stolf, Tuan Trinh, Luca Valcarenghi
article
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.41-80, 2015, 9781118864630. ⟨10.1002/9781118981122.ch3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196819/file/chpt-3g.pdf BibTex
titre
Green Data Centers
auteur
Robert Basmadjian, Pascal Bouvry, Georges da Costa, László Gyarmati, Dzmitry Kliazovich, Sébastien Lafond, Laurent Lefèvre, Hermann de Meer, Jean-Marc Pierson, Rastin Pries, Jordi Torres, Tuan Anh Trinh, Samee Ullah Khan
article
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.159-196, 2015, ⟨10.1002/9781118981122.ch6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196827/file/IC804_Chapter6.pdf BibTex
titre
Energy-Aware Algorithms for Task Graph Scheduling, Replica Placement and Checkpoint Strategies
auteur
Guillaume Aupy, Anne Benoit, Paul Renaud-Goud, Yves Robert
article
Khan, U. Samee and Zomaya, Y. Albert. Handbook on Data Centers, Springer New York, pp.37--80, 2015, 978-1-4939-2092-1. ⟨10.1007/978-1-4939-2092-1_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01357849/file/chapter.pdf BibTex
titre
Towards sustainability for large scale computing systems: Environmental, Economic and Standardization aspects
auteur
Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article
Pierson, Jean-Marc. Large-Scale Distributed Systems and Energy Efficiency: A holistic view, 10, John Wiley and Sons, pp.287--308, 2015, 978-1-118-86463-0. ⟨10.1002/9781118981122.ch10⟩
Accès au bibtex
BibTex
titre
Self-Management of Operational Issues for Grid Computing: The Case of the Virtual Imaging Platform
auteur
Raphaël Ferreira da Silva, Tristan Glatard, Frédéric Desprez
article
Emerging Research in Cloud Distributed Computing Systems, Chapitre 6, pp.187-221, 2015, ⟨10.4018/978-1-4666-8213-9.ch006⟩
Accès au bibtex
BibTex
titre
Providing Green Services in HPC Data Centers: A Methodology based on Energy Estimation
auteur
Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article
Khan, Samee U. and Zomaya, Albert. Handbook on Data Centers, Springer, 2015, 978-1-4939-2091-4
Accès au bibtex
BibTex
titre
Energy efficiency and high-performance computing
auteur
Pascal Bouvry, Ghislain Landry Tsafack Chetsa, Georges da Costa, Emmanuel Jeannot, Laurent Lefèvre, Jean-Marc Pierson, Frederic Pinel, Patricia Stolf, Sebastien Varrette
article
Large-scale Distributed Systems and Energy efficiency, Wiley, 2015, 978-1-118-86463-0. ⟨10.1002/9781118981122.ch7⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs
auteur
Benoît Libert
article
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015
Accès au texte intégral et bibtex
https://inria.hal.science/tel-02151157/file/HDR_BL.pdf BibTex
titre
Contributions to Desktop Grid Computing
auteur
Gilles Fedak
article
Calcul parallèle, distribué et partagé [cs.DC]. Ecole Normale Supérieure de Lyon, 2015
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01158462/file/hdr.pdf BibTex

Special issue

titre
ESAIM: Proceedings and Surveys Volume 51 (October 2015) Modélisation Aléatoire et Statistique - Journées MAS 2014
auteur
Aurélien Garivier
article
Aurélien Garivier. Journées MAS 2014, Aug 2014, Toulouse, France. ESAIM: Proceedings and Surveys, 51, pp.I-III, 2015
Accès au bibtex
BibTex

Other publications

titre
Systèmes de recommandation et algorithmes de bandits: Notebook Ipython
auteur
Jonathan Louëdec, Max Chevalier, Aurélien Garivier, Josiane Mothe
article
2015
Accès au bibtex
BibTex

Books

titre
Proceedings of IEEE 22nd Symposium on Computer Arithmetic
auteur
Jean-Michel Muller, Arnaud Tisserand, Julio Villalba Moreno
article
Muller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩
Accès au bibtex
BibTex
titre
Fault-Tolerance Techniques for High-Performance Computing
auteur
Thomas Hérault, Yves Robert
article
Springer, pp.320, 2015, 978-3-319-20943-2. ⟨10.1007/978-3-319-20943-2⟩
Accès au bibtex
BibTex
titre
Special Issue of EPTCS (vol 179) for DCM 2014
auteur
Russ Harmer, Ugo Dal Lago
article
2015
Accès au bibtex
BibTex
titre
Tenth International Workshop on Fixed Points in Computer Science (FICS 2015), Berlin, Allemagne, 11/09/2015 - 12/09/2015
auteur
Ralph Matthes, Matteo Mio
article
Matthes, Ralph; Mio, Matteo. Electronic Proceedings in Theoretical Computer Science, 191, 2015, ⟨10.4204/EPTCS.191⟩
Accès au bibtex
https://arxiv.org/pdf/1509.02826 BibTex

Poster communications

titre
A Green approach to save energy consumed by software
auteur
Hayri Acar, Gülfem Isiklar Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article
ICT4S, Sep 2015, Copenhague, Denmark. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01197452/file/Poster_ict4s_final.pdf BibTex
titre
ICT is part of climate change ! Can we reduce its impact and apply good practices and tools to other society domains ?
auteur
Francoise Berthoud, Laurent Lefèvre, Cédric Gossart
article
"Our Common Future Under Climate Change" International Conference, Jul 2015, Paris, France. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01250030/file/Poster_CFCC2015_A0_Laurent_Lefevre.pdf BibTex
titre
Dialectal characterization of linguistics variability on Twitter
auteur
Jean-Philippe Magué, Eric Fleury, Màrton Karsai, Matthieu Quignard
article
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SOCIAL SCIENCE (ICCSS 2015), Jun 2015, Helsinki, Finland
Accès au bibtex
BibTex
titre
Social, geographical and linguistic structure of the French speaking Twitter community
auteur
Jean-Philippe Magué, Eric Fleury, Màrton Karsai, Matthieu Quignard
article
International Conference on Network Science (NetSci2015), Jun 2015, Zaragoza, Spain
Accès au bibtex
BibTex
titre
Dialectal characterization of linguistics variability on Twitter
auteur
Jean-Philippe Magué, Eric Fleury, Màrton Karsai, Matthieu Quignard
article
1st International Conference on Twitter for Research, Apr 2015, Lyon, France
Accès au bibtex
BibTex

Reports

titre
Coping with Recall and Precision of Soft Error Detectors
auteur
Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Saurabh K. Raina, Yves Robert, Hongyang Sun
article
[Research Report] RR-8832, ENS Lyon, CNRS & INRIA. 2015, pp.30
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01246639/file/RR-8832_extended.pdf BibTex
titre
Coping with silent errors in HPC applications
auteur
Guillaume Aupy, Anne Benoit, Massimiliano Fasi, Yves Robert, Hongyang Sun, Bora Uçar
article
[Research Report] RR-8825, CNRS, ENS Lyon & INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242369/file/RR-8825.pdf BibTex
titre
A Backward/Forward Recovery Approach for the Preconditioned Conjugate Gradient Algorithm
auteur
Massimiliano Fasi, Julien Langou, Yves Robert, Bora Uçar
article
[Research Report] RR-8826, ENS Lyon, CNRS & INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242327/file/RR-8826.pdf BibTex
titre
Periodicity is Optimal for Offline and Online Multi-Stage Adjoint Computations
auteur
Guillaume Aupy, Julien Herrmann
article
[Research Report] RR-8822, INRIA Grenoble - Rhône-Alpes. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01244584/file/RR-8822.pdf BibTex
titre
Extended Lattice-Based Memory Allocation
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
[Research Report] RR-8840, CNRS; ENS Lyon; Inria. 2015, pp.31
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01251868/file/RR-8840.pdf BibTex
titre
Do we still need new Alias Analyses?
auteur
Maroua Maalej, Laure Gonnord
article
[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01228581/file/RR-8812.pdf BibTex
titre
Mono-parametric Tiling is a Polyhedral Transformation
auteur
Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
article
[Research Report] RR-8802, INRIA Grenoble - Rhône-Alpes; CNRS. 2015, pp.40
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01219452/file/RR-8802.pdf BibTex
titre
Optimal resilience patterns to cope with fail-stop and silent errors
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
[Research Report] RR-8786, LIP - ENS Lyon. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01215857/file/RR-8786.pdf BibTex
titre
Resilient application co-scheduling with processor redistribution
auteur
Anne Benoit, Loïc Pottier, Yves Robert
article
[Research Report] RR-8795, Inria. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01219258/file/RR-8795.pdf BibTex
titre
Two-level checkpointing and verifications for linear task graphs
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
[Research Report] RR-8794, ENS Lyon; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01216850/file/RR-8794.pdf BibTex
titre
High-performance parallel algorithms for the Tucker decomposition of higher order sparse tensors
auteur
Oguz Kaya, Bora Uçar
article
[Research Report] RR-8801, Inria - Research Centre Grenoble – Rhône-Alpes. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01219316/file/RR-8801.pdf BibTex
titre
The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities
auteur
Adrien Lebre, Jonathan Pastor, . The Discovery Consortium
article
[Research Report] RR-8779, Inria. 2015, pp.14
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01203648/file/RR-8779.pdf BibTex
titre
STS-k: A Multilevel Sparse Triangular Solution Scheme for NUMA Multicores
auteur
Humayun Kabir, Joshua Booth, Guillaume Aupy, Anne Benoit, Yves Robert, Padma Raghavan
article
[Research Report] RR-8763, Penn State University; ENS Lyon; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01183904/file/rr-8763.pdf BibTex
titre
Scheduling Independent Tasks with Voltage Overscaling
auteur
Aurélien Cavelan, Yves Robert, Hongyang Sun, Frédéric Vivien
article
[Research Report] RR-8753, INRIA Grenoble - Rhône-Alpes; ENS Lyon; University of Tennessee Knoxville; CNRS - Lyon (69); Université Lyon 1; INRIA. 2015, pp.17
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01170941/file/RR-8753.pdf BibTex
titre
A Calculus Enabling Reuse and Composition of Component Assembly Specialization Processes
auteur
Vincent Lanore, Christian Pérez
article
[Research Report] RR-8761, Inria. 2015, pp.21
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01179483/file/RR-8761.pdf BibTex
titre
Data-aware Process Networks
auteur
Christophe Alias, Alexandru Plesco
article
[Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01158726/file/RR-8735.pdf BibTex
titre
Which Verification for Soft Error Detection?
auteur
Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Saurabh K. Raina, Yves Robert, Hongyang Sun
article
[Research Report] RR-8741, INRIA Grenoble; ENS Lyon; Jaypee Institute of Information Technology, India; Argonne National Laboratory; University of Tennessee Knoxville, USA; INRIA. 2015, pp.20
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01164445/file/RR-8741.pdf BibTex
titre
Assessing the Impact of Partial Verifications Against Silent Data Corruptions
auteur
Aurélien Cavelan, Saurabh K. Raina, Yves Robert, Hongyang Sun
article
[Research Report] RR-8711, INRIA Grenoble - Rhône-Alpes; ENS Lyon; Université Lyon 1; Jaypee Institute of Information Technology, India; CNRS - Lyon (69); University of Tennessee Knoxville, USA; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01143832/file/RR-8711.pdf BibTex
titre
Translation and Stationarity for Graph Signals
auteur
Benjamin Girault, Paulo Gonçalves, Eric Fleury
article
[Research Report] RR-8719, École Normale Supérieure de Lyon; Inria Rhône-Alpes; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01144991/file/RR-8719.pdf BibTex
titre
A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters
auteur
Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, Bruno Salvy
article
[Research Report] LAAS-CNRS. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01131384/file/CollisionProbability.pdf BibTex
titre
Voltage Overscaling Algorithms for Energy-Efficient Workflow Computations With Timing Errors
auteur
Aurélien Cavelan, Yves Robert, Hongyang Sun, Frédéric Vivien
article
[Research Report] RR-8682, INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01121065/file/RR-8682.pdf BibTex
titre
A Reconfigurable Component Model for HPC
auteur
Vincent Lanore, Christian Pérez
article
[Research Report] RR-8674, Inria. 2015, pp.17
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01120117/file/RR-8674.pdf BibTex
titre
Combining algorithm-based fault tolerance and checkpointing for iterative solvers
auteur
Massimiliano Fasi, Yves Robert, Bora Uçar
article
[Research Report] RR-8675, INRIA Grenoble - Rhône-Alpes; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01111707/file/RR-8675.pdf BibTex
titre
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
auteur
Alain Darte, Alexandre Isoard
article
[Research Report] RR-8671, LIP - ENS Lyon; CNRS; Inria; UCBL. 2015, pp.28
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01103460/file/RR-8671.pdf BibTex

Theses

titre
On Scalable Reconfigurable Component Models for High-Performance Computing
auteur
Vincent Lanore
article
Software Engineering [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1051⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01257842/file/LANORE_Vincent_2015ENSL1051_These.pdf BibTex
titre
Signal Processing on Graphs - Contributions to an Emerging Field
auteur
Benjamin Girault
article
Signal and Image Processing. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1046⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01256044/file/GIRAULT_Benjamin_2015ENSL1046_These.pdf BibTex
titre
Memory-aware Algorithms and Scheduling Techniques for Matrix Computattions
auteur
Julien Herrmann
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1043⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01241485/file/HERRMANN_Julien_2015ENSL1043_These.pdf BibTex
titre
Déploiement auto-adaptatif d'intergiciel sur plate-forme élastique
auteur
Maurice-Djibril Faye
article
Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de lyon - ENS LYON; Université de Saint-Louis (Sénégal), 2015. Français. ⟨NNT : 2015ENSL1036⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01280722/file/FAYE_Maurice_Djibril_2015ENSL1036_These.pdf BibTex
titre
Security for Virtualized Distributed Systems : from Modelization to Deployment
auteur
Arnaud Lefray
article
Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1032⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01229874/file/LEFRAY_Arnaud_2015ENSL1032_These.pdf BibTex
titre
Interacting Hopf Algebras- the Theory of Linear Systems
auteur
Fabio Zanasi
article
Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01218015/file/ZANASI_Fabio_2015ENSL1020_These.pdf BibTex
titre
Interactions between Cliques and Stable Sets in a Graph
auteur
Aurélie Lagoutte
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1012⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01208076/file/LAGOUTTE_Aurelie_2015ENSL1012_These.pdf BibTex
titre
Réseaux dynamiques de terrain : caractérisation et propriétés de diffusion en milieu hospitalier
auteur
Lucie Martinet
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. Français. ⟨NNT : 2015ENSL1010⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01208023/file/MARTINET_Lucie_2015ENSL1010_These.pdf BibTex
titre
Active Data - Enabling Smart Data Life Cycle Management for Large Distributed Scientific Data Sets
auteur
Anthony Simonet
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1004⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01218016/file/SIMONET_Anthony_2015ENSL1004_These.pdf BibTex
titre
Investigating the expressivity of linear logic subsystems characterizing polynomial time
auteur
Matthieu Perrinel
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1001⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01204992/file/PERRINEL_Matthieu_2015_These.pdf BibTex
titre
Higher-order languages : dualities and bisimulation enhancements
auteur
Jean-Marie Madiot
article
Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon - ENS LYON; Università degli studi (Bologne, Italie), 2015. English. ⟨NNT : 2015ENSL0988⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01141067/file/MADIOT_Jean_Marie_2015_These.pdf BibTex
titre
Improving MapReduce Performance on Clusters
auteur
Sylvain Gault
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL0985⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01146365/file/GAULT_Sylvain_2015_These.pdf BibTex
titre
Modeling and performance analysis of IEEE 802.11-based chain networks
auteur
Thiago Wanderley Matos de Abreu
article
Networking and Internet Architecture [cs.NI]. Université Claude Bernard - Lyon I, 2015. English. ⟨NNT : 2015LYO10030⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01265056/file/TH2015WanderleyMatosDeAbreuThiago.pdf BibTex
titre
Linear logic, type assignment systems and implicit computational complexity
auteur
Erika de Benedetti
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON; Università di Torino (Turin, Italie), 2015. English. ⟨NNT : 2015ENSL0981⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01123737/file/2015ENSL0981.pdf BibTex

Preprints, Working Papers, ...

titre
Cryptanalysis of Gu's ideal multilinear map
auteur
Alice Pellet-Mary, Damien Stehlé
article
2015
Accès au bibtex
BibTex
titre
Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
auteur
Katarzyna Grygiel, Pierre Lescanne
article
2015
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-01229794/file/Grygiel_Lescanne_ArXiv.pdf BibTex
titre
Parallel and Distributed Stream Processing: Systems Classification and Specific Issues
auteur
Roland Kotto-Kombi, Nicolas Lumineau, Philippe Lamarre, Yves Caniou
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01215287/file/surveyDistributedStreamProcessing.pdf BibTex
titre
Attention on Weak Ties in Social and Communication Networks
auteur
Lilian Weng, Márton Karsai, Nicola Perra, Filippo Menczer, Alessandro Flammini
article
2015
Accès au bibtex
https://arxiv.org/pdf/1505.02399 BibTex
titre
Asymptotic theory for the dynamic of networks with heterogenous social capital allocation
auteur
Enrico Ubaldi, Nicola Perra, Márton Karsai, Alessandro Vezzani, Raffaella Burioni, Alessandro Vespignani
article
2015
Accès au bibtex
https://arxiv.org/pdf/1509.04563 BibTex
titre
Conditional quantile sequential estimation for stochastic codes
auteur
Tatiana Labopin-Richard, Fabrice Gamboa, Aurélien Garivier, Jerome Stenger
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01187329/file/GaGaLaSt.pdf BibTex
titre
Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs
auteur
Laurent Thévenoux, Matthieu Martel, Philippe Langlois
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01157509/file/LMT15b-abstract.pdf BibTex
titre
Log-concavity and lower bounds for arithmetic circuits
auteur
Ignacio García-Marco, Pascal Koiran, Sébastien Tavenas
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01135558/file/LogconcavVPVNP%2017%20mars.pdf BibTex