Laboratoire de l'Informatique du Parallélisme

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

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

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

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

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

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

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

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

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

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

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

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

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, ⟨10.1103/physrevlett.115.218702⟩

Accès au 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, ⟨10.1140/epjb/e2015-60481-x⟩

Accès au bibtex

titre

A Polynomial Turing-Kernel for Weighted Independent Set in Bull-Free Graphs

auteur

Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković

article

Algorithmica, 2015, 77 (3), pp.619 - 641. ⟨10.1007/s00453-015-0083-x⟩

Accès au texte intégral et 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

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

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

titre

The conservation theorem for differential nets

auteur

Michele Pagani, Paolo Tranquilli

article

Mathematical Structures in Computer Science, 2015, 27 (6), pp.939-992. ⟨10.1017/S0960129515000456⟩

Accès au texte intégral et 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

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

titre

On some generalizations of abelian power avoidability

auteur

Michael Rao

article

Theoretical Computer Science, 2015, 601, pp.39-46

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

Modelling Coeffects in the Relational Semantics of Linear Logic

auteur

Flavien Breuvart, Michele Pagani

article

24th EACSL Annual Conference on Computer Science Logic (CSL 2015), EACSL, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.567⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

STREETE : Une ingénierie de trafic pour des réseaux de cœur é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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

Special Issue of EPTCS (vol 179) for DCM 2014

auteur

Russ Harmer, Ugo Dal Lago

article

2015

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

Self-adaptive deployment for middleware on elastic platform

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

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

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

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

titre

Real Dynamic Networks : Characterisation and Diffusion Properties in Hospital Contexts

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

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

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

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

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

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

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à degli studi (Turin, Italie), 2015. English. ⟨NNT : 2015ENSL0981⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre

Cryptanalysis of Gu's ideal multilinear map

auteur

Alice Pellet-Mary, Damien Stehlé

article

2015

Accès au 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

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

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

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

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

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

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