Laboratoire de l'Informatique du Parallélisme

2014

Journal articles

titre

A low level component model easing performance portability of HPC applications

auteur

Julien Bigot, Zhengxiong Hou, Christian Pérez, Vincent Pichon

article

Computing, 2014, 96 (12), pp.1115-1130. ⟨10.1007/s00607-013-0368-3⟩

Accès au texte intégral et bibtex

titre

Complex contagion process in spreading of online innovation

auteur

Márton Karsai, Gerardo Iñiguez, Kimmo Kaski, János Kertész

article

Journal of the Royal Society Interface, 2014, 11, pp.20140694. ⟨10.1098/rsif.2014.0694⟩

Accès au bibtex

titre

Finite repetition threshold for large alphabets

auteur

Golnaz Badkobeh, Maxime Crochemore, Michael Rao

article

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (4), pp.419-430

Accès au bibtex

titre

Des ordinateurs capables de calculer plus juste

auteur

Jean-Michel Muller, Sylvie Boldo

article

La Recherche, 2014, pp.46-53

Accès au bibtex

titre

On the number of prime factors of an odd perfect number

auteur

Pascal Ochem, Michael Rao

article

Mathematics of Computation, 2014, 83 (289), pp.2435-2439. ⟨10.1090/S0025-5718-2013-02776-7⟩

Accès au bibtex

titre

First steps towards more numerical reproducibility

auteur

Fabienne Jézéquel, Philippe Langlois, Nathalie Revol

article

ESAIM: Proceedings and Surveys, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩

Accès au texte intégral et bibtex

titre

Singularity Analysis Via the Iterated Kernel Method

auteur

Stephen Melczer, Marni Mishna

article

Combinatorics, Probability and Computing, 2014, 23 (05), pp.861 - 888. ⟨10.1017/S0963548314000145⟩

Accès au bibtex

titre

(M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function

auteur

Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos Ercegovac

article

IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩

Accès au texte intégral et bibtex

titre

Reduced complexity in M/Ph/c/N queues

auteur

Alexandre Brandwajn, Thomas Begin

article

Performance Evaluation, 2014, pp.42 - 54. ⟨10.1016/j.peva.2014.06.001⟩

Accès au bibtex

titre

Another remark on the radical of an ODD perfect number

auteur

Pascal Ochem, Michaël Rao

article

The Fibonacci Quarterly, 2014, 52 (3), pp.215-217

Accès au bibtex

titre

The role of endogenous and exogenous mechanisms in the formation of R&D networks

auteur

Mario Vincenzo Tomasello, Nicola Perra, Claudio Juan Tessone, Márton Karsai, Frank Schweitzer

article

Scientific Reports, 2014, 4, pp.5679. ⟨10.1038/srep05679⟩

Accès au bibtex

titre

Three maps and three misunderstandings: A digital mapping of climate diplomacy

auteur

Tommaso Venturini, Nicolas Baya-Laffite, Jean-Philippe Cointet, Ian Gray, Vinciane Zabban, Kari de Pryck

article

Big Data & Society, 2014, 1 (2), pp.1-19. ⟨10.1177/2053951714543804⟩

Accès au texte intégral et bibtex

titre

Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms

auteur

Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter

article

Journal of Parallel and Distributed Computing, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩

Accès au texte intégral et bibtex

titre

The Case for Workflow-Aware Storage:An Opportunity Study

auteur

Lauro Beltrão Costa, H. Yang, Emalayan Vairavanathan, Abmar Barros, Ketan C. Maheshwari, Daniel S. Katz, Michael Wilde, Matei Ripeanu, Samer Al-Kiswany, Gilles Fedak

article

Journal of Grid Computing, 2014, pp.19. ⟨10.1007/s10723-014-9307-6⟩

Accès au bibtex

titre

Revisiting wavefront construction with collective agents: an approach to foraging

auteur

Olivier Simonin, François Charpillet, Eric Thierry

article

Swarm Intelligence, 2014, June 2014, 8 (2), pp.113-138. ⟨10.1007/s11721-014-0093-3⟩

Accès au bibtex

titre

Assessing Power Monitoring Approaches for Energy and Power Analysis of Computers

auteur

Mohammed El Mehdi Diouri, Manuel Francisco Dolz, Olivier Glück, Laurent Lefèvre, Pedro Alonso, Sandra Catalán, Rafael Mayo, Enrique Salvador Quintana-Ortí

article

Sustainable Computing : Informatics and Systems, 2014, 4 (2), pp.68-82. ⟨10.1016/j.suscom.2014.03.006⟩

Accès au texte intégral et bibtex

titre

Using group replication for resilience on exascale systems

auteur

Marin Bougeret, Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni

article

International Journal of High Performance Computing Applications, 2014, 28 (2), pp.210-224. ⟨10.1177/1094342013505348⟩

Accès au texte intégral et bibtex

titre

The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories

auteur

Pierre Clairambault, Peter Dybjer

article

Mathematical Structures in Computer Science, 2014, 24 (05), pp.e240501. ⟨10.1017/S0960129513000881⟩

Accès au texte intégral et bibtex

titre

Validating an agent-based model of the Zipf's law: a discrete Markov chain approach

auteur

Bruno Gaujal, Laszlo Gulyas, Yuri Mansuri, Eric Thierry

article

Journal of Economic Dynamics and Control, 2014, pp.38-49. ⟨10.1016/j.jedc.2014.02.002⟩

Accès au bibtex

titre

A Survey on Techniques for Improving the Energy Efficiency of Large-Scale Distributed Systems

auteur

Anne-Cécile Orgerie, Marcos Dias de Assuncao, Laurent Lefèvre

article

ACM Computing Surveys, 2014, 46 (4), pp.31. ⟨10.1145/2532637⟩

Accès au texte intégral et bibtex

titre

Thermodynamic graph-rewriting

auteur

Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer

article

Logical Methods in Computer Science, 2014, 11 (2), pp.13. ⟨10.2168/LMCS-11(2:13)2015⟩

Accès au texte intégral et bibtex

titre

Disjoint 3-Cycles in Tournaments: A Proof of The Bermond-Thomassen Conjecture for Tournaments

auteur

Jørgen Bang-Jensen, Stéphane Bessy, Stéphan Thomassé

article

Journal of Graph Theory, 2014, 75 (3), pp.284-302. ⟨10.1002/jgt.21740⟩

Accès au bibtex

titre

Performance and reliability trade-offs for the double checkpointing algorithm

auteur

Jack Dongarra, Thomas Herault, Yves Robert

article

International Journal of Networking and Computing, 2014, 4 (1), pp.18

Accès au bibtex

titre

Flooding games on graphs

auteur

Aurélie Lagoutte, Mathilde Noual, Eric Thierry

article

Discrete Applied Mathematics, 2014, LAGOS’11, Part 2, 164, pp.532-538. ⟨10.1016/j.dam.2013.09.024⟩

Accès au texte intégral et bibtex

titre

A study of shared-memory parallelism in a multifrontal solver

auteur

Jean-Yves L'Excellent, Wissam M. Sid-Lakhdar

article

Parallel Computing, 2014, 40 (3-4), pp.34-46. ⟨10.1016/j.parco.2014.02.003⟩

Accès au bibtex

titre

Interference and throughput in spectrum sensing cognitive radio networks using point processes

auteur

Anthony Busson, Bijan Jabbari, Alireza Babaei, Véronique Vèque

article

Journal of Communications and Networks, 2014, 16 (1), pp.67-80. ⟨10.1109/JCN.2014.000010⟩

Accès au bibtex

titre

Linear Balanceable and Subcubic Balanceable Graphs*

auteur

Pierre Aboulker, Marko Radovanović, Nicolas Trotignon, Théophile Trunck, Kristina Vušković

article

Journal of Graph Theory, 2014, 75 (2), pp.150 - 166. ⟨10.1002/jgt.21728⟩

Accès au bibtex

titre

Shared memory parallelism and low-rank approximation techniques applied to direct solvers in FEM simulation

auteur

Patrick Amestoy, Alfredo Buttari, Guillaume Joslin, Jean-Yves L'Excellent, Mohamed Sid-Lakhdar, Clément Weisbecker, Michele Forzan, Cristian Pozza, Rémy Perrin, Valène Pellissier

article

IEEE Transactions on Magnetics, 2014, vol. 50 (n° 2), pp. 1-4. ⟨10.1109/TMAG.2013.2284024⟩

Accès au texte intégral et bibtex

titre

Complexity of colouring problems restricted to unichord-free and { square,unichord }-free graphs

auteur

Raphael C.S. Machado, Celina M.H. de Figueiredo, Nicolas Trotignon

article

Discrete Applied Mathematics, 2014, 164, ⟨10.1016/j.dam.2012.02.016⟩

Accès au bibtex

titre

Attitudes, risk of infection and behaviours in the operating room (the ARIBO Project): a prospective, cross-sectional study

auteur

Gabriel Birgand, Christine Azevedo Coste, Gaëlle Toupet, Roger Pissard-Gibollet, Bruno Grandbastien, Eric Fleury, Jean-Christophe Lucet

article

BMJ Open, 2014, 4, pp.e004274. ⟨10.1136/bmjopen-2013-004274⟩

Accès au texte intégral et bibtex

titre

Non-D-finite excursions in the quarter plane

auteur

Alin Bostan, Kilian Raschel, Bruno Salvy

article

Journal of Combinatorial Theory, Series A, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩

Accès au texte intégral et bibtex

titre

Strong edge-colouring of sparse planar graphs

auteur

Julien Bensmail, Ararat Harutyunyan, Hervé Hocquard, Petru Valicov

article

Discrete Applied Mathematics, 2014, ⟨10.1016/j.dam.2014.07.006⟩

Accès au texte intégral et bibtex

titre

Controlling Contagion Processes in Time-Varying Networks

auteur

Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani

article

Physical Review Letters, 2014, 112 (118702), pp.13. ⟨10.1103/PhysRevLett.112.118702⟩

Accès au bibtex

titre

Controlling fairness and task granularity in distributed, online, non-clairvoyant workflow executions

auteur

Raphaël Ferreira da Silva, Tristan Glatard, Frédéric Desprez

article

Concurrency and Computation: Practice and Experience, 2014, 26 (14), pp.2347-2366. ⟨10.1002/cpe.3303⟩

Accès au bibtex

titre

Hidden cliques and the certification of the restricted isometry property

auteur

Pascal Koiran, Anastasios Zouzias

article

IEEE Transactions on Information Theory, 2014, 60 (8), pp.4999-5007

Accès au texte intégral et bibtex

titre

Clique versus Independent Set

auteur

Nicolas Bousquet, Aurélie Lagoutte, Stéphan Thomassé

article

European Journal of Combinatorics, 2014, 40, pp.73-92. ⟨10.1016/j.ejc.2014.02.003⟩

Accès au texte intégral et bibtex

titre

(Nearly-)tight bounds on the contiguity and linearity of cographs

auteur

Christophe Crespelle, Philippe Gambette

article

Theoretical Computer Science, 2014, 522, pp.1-12. ⟨10.1016/j.tcs.2013.11.036⟩

Accès au texte intégral et bibtex

titre

Detecting wheels

auteur

Emilie Diot, Sébastien Tavenas, Nicolas Trotignon

article

Applicable Analysis and Discrete Mathematics, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩

Accès au bibtex

titre

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm

auteur

Filippo Bonchi, Marcello Bonsangue, Hansen Helle Hvid, Prakash Panangaden, Jan Rutten, Alexandra Silva

article

ACM Transactions on Computational Logic, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩

Accès au bibtex

titre

The Complexity of the Simultaneous Cluster Problem

auteur

Zhentao Li, Manikandan Narayanan, Adrian Vetta

article

Journal of Graph Algorithms and Applications, 2014, 18 (1), pp.1-34

Accès au bibtex

titre

Semantically Secure Lattice Codes for the Gaussian Wiretap Channel

auteur

Cong Ling, Laura Luzzi, Jean-Claude Belfiore, Damien Stehlé

article

IEEE Transactions on Information Theory, 2014, 60 (10), pp.6399-6416. ⟨10.1109/TIT.2014.2343226⟩

Accès au bibtex

titre

Time varying networks and the weakness of strong ties

auteur

Márton Karsai, Nicola Perra, Alessandro Vespignani

article

Scientific Reports, 2014, 4, pp.4001. ⟨10.1038/srep04001⟩

Accès au bibtex

titre

Tree algebra of sofic tree languages

auteur

Nathalie Aubrun, Marie-Pierre Béal

article

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (4), pp.431-451

Accès au texte intégral et bibtex

titre

Satisfying more than half of a system of linear equations over GF(2): A multivariate approach

auteur

Robert Crowston, Michael Fellows, Gregory Gutin, Mark Jones, Eun Jung Kim, Frances Rosamond, Imre Z. Rusza, Stéphan Thomassé, Anders Yeo

article

Journal of Computer and System Sciences, 2014, 80 (4), ⟨10.1016/j.jcss.2013.10.002⟩

Accès au texte intégral et bibtex

titre

Multidimensional effective S-adic subshift are sofic

auteur

Mathieu Sablik, Nathalie Aubrun

article

Uniform Distribution Theory, 2014, 9 (2)

Accès au bibtex

titre

Parameterized domination in circle graphs

auteur

Christophe Paul, Nicolas Bousquet, Daniel Gonçalves, George Mertzios, Ignasi Sau, Stéphan Thomassé

article

Theory of Computing Systems, 2014, 54 (1), pp.45-72. ⟨10.1007/s00224-013-9478-8⟩

Accès au bibtex

titre

Hitting and harvesting pumpkins

auteur

Gwénaël Joret, Christophe Paul, Ignasi Sau, Saket Saurabh, Stéphan Thomassé

article

SIAM Journal on Discrete Mathematics, 2014, 28 (3), pp.1363-1390. ⟨10.1137/120883736⟩

Accès au bibtex

titre

A Symmetry Preserving Algorithm for Matrix Scaling

auteur

Philip A. Knight, Daniel Ruiz, Bora Uçar

article

SIAM Journal on Matrix Analysis and Applications, 2014, 35 (3), pp.25. ⟨10.1137/110825753⟩

Accès au texte intégral et bibtex

titre

Improved backward error bounds for LU and Cholesky factorizations

auteur

Siegfried M. Rump, Claude-Pierre Jeannerod

article

SIAM Journal on Matrix Analysis and Applications, 2014, 35 (2), pp.684-698. ⟨10.1137/130927231⟩

Accès au texte intégral et bibtex

titre

Regular simplices and periodic billiard orbits

auteur

Nicolas Bedaride, Michael Rao

article

Proceedings of the American Mathematical Society, 2014, ⟨10.1090/S0002-9939-2014-12076-4⟩

Accès au texte intégral et bibtex

titre

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms

auteur

Nathalie Revol, Philippe Théveny

article

IEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩

Accès au texte intégral et bibtex

titre

Abstract Acceleration in Linear Relation Analysis

auteur

Laure Gonnord, Peter Schrammel

article

Science of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩

Accès au texte intégral et bibtex

Conference papers

titre

Reducing elimination tree height for parallel LU factorization of sparse unsymmetric matrices

auteur

Enver Kayaaslan, Bora Uçar

article

HiPC 2014, Dec 2014, Goa, India. pp.1--10

Accès au texte intégral et bibtex

titre

Segment Routing based Traffic Engineering for Energy Efficient Backbone Networks

auteur

Radu Carpa, Olivier Glück, Laurent Lefevre

article

ANTS2014 : IEEE International Conference on Advanced Networks and Telecommunications Systems, Dec 2014, New Delhi, India

Accès au texte intégral et bibtex

titre

Outage Analysis of integrated Mesh LTE Femtocell Networks

auteur

Anthony Busson, Lynda Zitoune, Véronique Vèque, Bijan Jabbari

article

IEEE GLOBECOM 2014, Dec 2014, Austin, United States

Accès au texte intégral et bibtex

titre

Concise Multi-challenge CCA-Secure Encryption and Signatures with Almost Tight Security

auteur

Benoît Libert, Marc Joye, Moti Yung, Thomas Peters

article

Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. pp.1 - 21, ⟨10.1007/978-3-662-45608-8_1⟩

Accès au texte intégral et bibtex

titre

Towards Generalizing "Big Little" for Energy Proportional HPC and Cloud Infrastructures

auteur

Violaine Villebonnet, Georges da Costa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf

article

4th IEEE International Conference on Big Data and Cloud Computing (BdCloud 2014), Dec 2014, Sydney, Australia. pp.1-8, ⟨10.1109/BDCloud.2014.99⟩

Accès au texte intégral et bibtex

titre

A Generic and Extensible Framework for Monitoring Energy Consumption of OpenStack Clouds

auteur

Francois Rossigneux, Jean-Patrick Gelas, Laurent Lefevre, Marcos Dias de Assuncao

article

The 4th IEEE International Conference on Sustainable Computing and Communications (Sustaincom 2014), Dec 2014, Sydney, Australia

Accès au texte intégral et bibtex

titre

Validation of Memory Accesses Through Symbolic Analyses

auteur

Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord

article

ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, ⟨10.1145/2660193.2660205⟩

Accès au texte intégral et bibtex

titre

Studying the energy consumption of data transfers in Clouds: the Ecofen approach

auteur

Bogdan Florin Cornea, Anne-Cécile Orgerie, Laurent Lefèvre

article

CloudNet: IEEE International Conference on Cloud Networking, Oct 2014, Luxembourg, Luxembourg

Accès au texte intégral et bibtex

titre

Emergence of regularities on decreasing sandpile models

auteur

Kévin Perrot, Éric Rémila

article

15th Mons Theoretical Computer Science Days, Sep 2014, Nancy, France

Accès au bibtex

titre

Data-driven spreading for the detection of weak ties

auteur

Qian Zhang, Márton Karsai, Alessandro Vespignani

article

European Conference on Complex Systems, IMT-Lucca, Sep 2014, Lucca, Italy

Accès au bibtex

titre

Practical validation of several fault attacks against the Miller algorithm

auteur

Ronan Lashermes, Marie Paindavoine, Nadia El Mrabet, Jacques Jean-Alain Fournier, Louis Goubin

article

Fault Diagnosis and Tolerance in Cryptography (FDTC), 2014 Workshop on, Sep 2014, Busan, South Korea. ⟨10.1109/FDTC.2014.21⟩

Accès au texte intégral et bibtex

titre

Accurate and efficient implementation of affine arithmetic using floating-point arithmetic

auteur

Jordan Ninin, Nathalie Revol

article

16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany

Accès au bibtex

titre

Modeling of IEEE 802.11 Multi-hop Wireless Chains with Hidden Nodes

auteur

Thiago Abreu, Bruno Baynat, Thomas Begin, Isabelle Guérin-Lassous, Nghi Nguyen

article

17th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (2014), Sep 2014, Montréal, Canada. pp.159-162, ⟨10.1145/2641798.2641826⟩

Accès au texte intégral et bibtex

titre

Polyhedral Optimizations? Not Even Scared!

auteur

Alain Darte

article

Jornadas Sarteco, Arturo González Escribano; Diego R. Llanos Ferraris, Sep 2014, Valladolid, Spain

Accès au bibtex

titre

A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice

auteur

Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia

article

ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩

Accès au texte intégral et bibtex

titre

On Program Equivalence with Reductions

auteur

Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye

article

21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany

Accès au texte intégral et bibtex

titre

UDP PING: a dedicated tool for improving measurements of the Internet topology

auteur

Fabien Tarissan, Elie Rotenberg, Matthieu Latapy, Christophe Crespelle

article

MASCOTS'14 : IEEE 22nd International Symposium on Modeling Analysis and Simulation of Computer and Telecomunication Systems, Sep 2014, Paris, France. pp.506 - 509, ⟨10.1109/MASCOTS.2014.74⟩

Accès au texte intégral et bibtex

titre

Towards Privacy for MapReduce on Hybrid Clouds Using Information Dispersal Algorithm

auteur

Asma Ben Cheikh, Heithem Abbes, Gilles Fedak

article

Data Management in Cloud, Grid and P2P Systems (GLOBE'2015), Sep 2014, Munich, Germany. ⟨10.1007/978-3-319-10067-8_4⟩

Accès au bibtex

titre

Bisimulations up-to: beyond first-order transition systems

auteur

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi

article

CONCUR, Sep 2014, Rome, Italy. ⟨10.1007/978-3-662-44584-6_8⟩

Accès au texte intégral et bibtex

titre

A Categorical Semantics of Signal Flow Graphs

auteur

Filippo Bonchi, Pawel Sobociński, Fabio Zanasi

article

CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy

Accès au texte intégral et bibtex

titre

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

auteur

Patrick Baillot, Erika de Benedetti, Simona Ronchi Della Rocca

article

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩

Accès au texte intégral et bibtex

titre

Impacts of labour first and second stages on Hurst parameter based intrapartum fetal Heart Rate analysis

auteur

Jiri Spilka, Patrice Abry, Paulo Gonçalves, Muriel Doret

article

CinC 2014 : IEEE International Conference on Computing in Cardiology, Sep 2014, Cambridge (MA), US, United States. pp.777 - 780

Accès au bibtex

titre

Locality-aware Cooperation for VM Scheduling in Distributed Clouds

auteur

Jonathan Pastor, Marin Bertier, Frédéric Desprez, Adrien Lebre, Flavien Quesnel, Cédric Tedeschi

article

Euro-Par 2014, Aug 2014, Porto, Portugal

Accès au bibtex

titre

Parallel computation of echelon forms

auteur

Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan

article

EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩

Accès au texte intégral et bibtex

titre

A Note on the Minimum Distance of Quantum LDPC Codes

auteur

Nicolas Delfosse, Zhentao Li, Stéphan Thomassé

article

MFCS 2014, Aug 2014, Budapest, Hungary. pp.239-250

Accès au bibtex

titre

Dynamic Scheduling of MapReduce Shuffle under Bandwidth Constraints

auteur

Sylvain Gault, Christian Pérez

article

Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.117-128, ⟨10.1007/978-3-319-14325-5_11⟩

Accès au bibtex

titre

Parallel Data Processing in Dynamic Hybrid Computing Environment Using MapReduce

auteur

Bing Tang, Haiwu He, Gilles Fedak

article

International Conference on Algorithms and Architectures for Parallel Processing, Aug 2014, Dalian, China. ⟨10.1007/978-3-319-11194-0_1⟩

Accès au bibtex

titre

Elements of Design for Containers and Solutions in the LinBox Library

auteur

Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders

article

ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩

Accès au texte intégral et bibtex

titre

A New 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

AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩

Accès au bibtex

titre

Nearest-Neighbor based Wavelet Entropy Rate Measures for Nearest-Neighbor based Wavelet Entropy Rate Measures for Intrapartum Fetal Heart Rate Variability

auteur

Jiri Spilka, Stéphane Roux, Nicolas B. Garnier, Patrice Abry, Paulo Gonçalves, Muriel Doret

article

36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Aug 2014, Chicago (Illinois), US, United States. pp.2813 - 2816, ⟨10.1109/EMBC.2014.6944208⟩

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

EuroPar - 20th International European Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.11, ⟨10.1007/978-3-319-09873-9_51⟩

Accès au texte intégral et bibtex

titre

LLL reducing with the most significant bits

auteur

Goel Sarushi, Ivan Morel, Damien Stehlé, Gilles Villard

article

39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 23-25, 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608645⟩

Accès au texte intégral et bibtex

titre

Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance

auteur

Erich L. Kaltofen, Clément Pernet

article

ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩

Accès au bibtex

titre

Characterizing asynchronous broadcast trees for multifrontal factorizations (SIAM - CSC 2014)

auteur

Patrick Amestoy, Jean-Yves L'Excellent, Mohamed Sid-Lakhdar

article

6th SIAM Workshop on Combinatorial Scientific Computing (CSC 2014), SIAM: Society for Industrial and Applied Mathematics; LIP : Laboratoire de l'Informatique du Parallélisme (CNRS, ENS Lyon, INRIA, Université Claude Bernard Lyon 1), Jul 2014, Lyon, France

Accès au bibtex

titre

Real-World Loops are Easy to Predict: A Case Study

auteur

Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord

article

Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria

Accès au texte intégral et bibtex

titre

Born and Raised Distributively: Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures with Short Shares

auteur

Benoît Libert, Marc Joye, Moti Yung

article

ACM Symposium on Principles of Distributed Computing (PODC 2014), Jul 2014, Paris, France

Accès au texte intégral et bibtex

titre

Weak MSO: Automata and Expressiveness Modulo Bisimilarity

auteur

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

article

CSL-LICS 2014, Jul 2014, vienne, Austria. pp.478-487

Accès au bibtex

titre

Symmetry in Concurrent Games

auteur

Simon Castellan, Pierre Clairambault, Glynn Winskel

article

Logic in Computer Science, Jul 2014, Vienna, Austria. 10 p

Accès au texte intégral et bibtex

titre

On Context Semantics and Interaction Nets

auteur

Matthieu Perrinel

article

CSL-LICS, Jul 2014, Austria. pp.10, ⟨10.1145/2603088.2603155⟩

Accès au texte intégral et bibtex

titre

Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic

auteur

Nathalie Revol

article

ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10

Accès au texte intégral et bibtex

titre

An Advanced Security-Aware Cloud Architecture

auteur

Laurent Bobelin, Aline Bousquet, Jérémy Briffaut, Eddy Caron, Jean-François Couturier, Arnaud Lefray, Jonathan Rouzaud-Cornabas, Christian Toinard

article

HPCS 2014 - The 2014 International Conference on High Performance Computing & Simulation, Jul 2014, Bologne, Italy

Accès au bibtex

titre

Coinduction up to in a fibrational setting

auteur

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

article

CSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩

Accès au texte intégral et bibtex

titre

Modeling 1D distributed-memory dense kernels for an asynchronous multifrontal sparse solver

auteur

Patrick Amestoy, Jean-Yves L'Excellent, François-Henry Rouet, Wissam M. Sid-Lakhdar

article

High Performance Computing for Computational Science, {VECPAR} 2014 - 11th International Conference, Revised Selected Papers, Jun 2014, Eugene, Oregon, United States. pp.156-169

Accès au bibtex

titre

Recognition of dynamic circle graphs

auteur

Christophe Crespelle, Emeric Gioan, Christophe Paul

article

ICGT: International Colloquium on Graph Theory and combinatorics, Jun 2014, Grenoble, France

Accès au bibtex

titre

Improving Users' Isolation in IaaS: Virtual Machine Placement with Security Constraints

auteur

Eddy Caron, Jonathan Rouzaud-Cornabas

article

7th IEEE International Conference on Cloud Computing (IEEE Cloud 2014), Jun 2014, Anchorage, United States. pp.8, ⟨10.1109/CLOUD.2014.19⟩

Accès au texte intégral et bibtex

titre

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

auteur

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

article

WG 2014, Jun 2014, Orleans, France. pp.408-419

Accès au bibtex

titre

Controlling Contagion Processes in Activity Driven Networks

auteur

Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani

article

Complex Networks and Dynamics - ICCSA’14, Jun 2014, Le Havre, France

Accès au bibtex

titre

Analysis of Dynamic Scheduling Strategies for Matrix Multiplication on Heterogeneous Platforms

auteur

Olivier Beaumont, Loris Marchal

article

ACM Symposium on High-Performance Parallel and Distributed Computing, Jun 2014, Vancouver, Canada. ⟨10.1145/2600212.2600223⟩

Accès au texte intégral et bibtex

titre

Stochastic Geometry Modeling and Analysis of the Error Probability of Two–Tier Cellular Networks

auteur

Wei Lu, Marco Di Renzo, Anthony Busson

article

EuCNC 2014, Jun 2014, Bologna, Italy

Accès au bibtex

titre

Anticipation of ETX Metric to manage Mobility in Ad Hoc Wireless Networks

auteur

Sabrina Naimi, Anthony Busson, Véronique Vèque, Larbi Ben Hadj Slama, Ridha Bouallegue

article

Ad Hoc Now, Jun 2014, Benidorm, Spain. pp.29-42, ⟨10.1007/978-3-319-07425-2_3⟩

Accès au texte intégral et bibtex

titre

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration

auteur

Mioara Joldes, Jean-Michel Muller, Valentina Popescu

article

25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8

Accès au texte intégral et bibtex

titre

Counting Terms in the Binary Lambda Calculus

auteur

Katarzyna Grygiel, Pierre Lescanne

article

25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13

Accès au texte intégral et bibtex

titre

Traitement du Signal sur Graphe : Interprétation en termes de Filtre de l'Apprentissage Semi-Supervisé sur Graphe

auteur

Benjamin Girault, Eric Fleury, Paulo Gonçalves

article

ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4

Accès au texte intégral et bibtex

titre

Encoding Synchronous Interactions Using Labelled Petri Nets

auteur

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale

article

16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩

Accès au texte intégral et bibtex

titre

Measuring the degree distribution of routers in the core internet

auteur

Matthieu Latapy, Elie Rotenberg, Christophe Crespelle, Fabien Tarissan

article

13th IFIP International Conference on Networking, Jun 2014, Trondheim, Norway. pp.1-9, ⟨10.1109/IFIPNetworking.2014.6857096⟩

Accès au texte intégral et bibtex

titre

Transmission centrality and the detection of week ties

auteur

Qian Zhang, Márton Karsai, Alessandro Vespignani

article

NetSci - TNetSphys, Jun 2014, Berkeley, United States

Accès au bibtex

titre

Proxy Re-Encryption Scheme Supporting a Selection of Delegatees

auteur

Julien Devigne, Eleonora Guerrini, Fabien Laguillaumie

article

AFRICACRYPT: Cryptology in Africa, May 2014, Marrakech, Morocco. pp.13-30, ⟨10.1007/978-3-319-06734-6_2⟩

Accès au bibtex

titre

Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers

auteur

Fanny Dufossé, Kamer Kaya, Bora Uçar

article

28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩

Accès au texte intégral et bibtex

titre

Designing LU-QR hybrid solvers for performance and stability

auteur

Mathieu Faverge, Julien Herrmann, Julien Langou, Bradley Lowery, Yves Robert, Jack Dongarra

article

IEEE International Parallel & Distributed Processing Symposium (IPDPS 2014), May 2014, Phoenix, United States

Accès au texte intégral et bibtex

titre

Assessing the Impact of ABFT and Checkpoint Composite Strategies

auteur

George Bosilca, Aurelien Bouteiller, Thomas Herault, Yves Robert, Jack Dongarra

article

16th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2014), May 2014, Phoenix, United States. pp.10, ⟨10.1109/IPDPSW.2014.79⟩

Accès au texte intégral et bibtex

titre

Cost-Optimal Execution of Boolean Query Trees with Shared Streams

auteur

Henri Casanova, Lipyeow Lim, Yves Robert, Frédéric Vivien, Dounia Zaidouni

article

28th IEEE International Parallel & Distributed Processing Symposium, May 2014, Phoenix, United States. ⟨10.1109/IPDPS.2014.13⟩

Accès au texte intégral et bibtex

titre

How to bring the power of Cloud and Distributed Infrastructure to Scilab?

auteur

Eddy Caron, Benjamin Depardon, Adela Neacsu

article

SCILABTECH. 6th International Scilab Users Conference., May 2014, Paris, France

Accès au bibtex

titre

GGHLite: More Efficient Multilinear Maps from Ideal Lattices

auteur

Adeline Langlois, Damien Stehlé, Ron Steinfeld

article

EUROCRYPT 2014, May 2014, Copenhague, Denmark

Accès au texte intégral et bibtex

titre

Non-Malleability from Malleability: Simulation-Sound Quasi-Adaptive NIZK Proofs and CCA2-Secure Encryption from Homomorphic Signatures

auteur

Benoît Libert, Thomas Peters, Marc Joye, Moti Yung

article

Eurocrypt 2014, May 2014, Copenhagen, Denmark

Accès au texte intégral et bibtex

titre

Semi-Supervised Learning for Graph to Signal Mapping: a Graph Signal Wiener Filter Interpretation

auteur

Benjamin Girault, Paulo Gonçalves, Eric Fleury, Arashpreet Singh Mor

article

2014 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014, Florence, Italy. pp.1115-1119, ⟨10.1109/ICASSP.2014.6853770⟩

Accès au texte intégral et bibtex

titre

Kleene Algebra with Converse

auteur

Paul Brunet, Damien Pous

article

RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118

Accès au texte intégral et bibtex

titre

Measuring routing tables in the internet

auteur

Elie Rotenberg, Christophe Crespelle, Matthieu Latapy

article

The Sixth IEEE International Workshop on Network Science for Communication Networks, Apr 2014, Toronto, Canada. pp.795-800, ⟨10.1109/INFCOMW.2014.6849332⟩

Accès au texte intégral et bibtex

titre

Active Data : Un modèle pour représenter et programmer le cycle de vie des données distribuées

auteur

Anthony Simonet

article

ComPAS'2014, Apr 2014, Neuchâtel, Suisse

Accès au texte intégral et bibtex

titre

Gestion adaptative de l'énergie pour les infrastructures de type grappe ou nuage

auteur

Daniel Balouek-Thomert, Eddy Caron, Laurent Lefèvre

article

Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2014), Apr 2014, Neuchâtel, Suisse

Accès au texte intégral et bibtex

titre

Interacting Bialgebras are Frobenius

auteur

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

article

FoSSaCS 2014, Apr 2014, Grenoble, France. pp.351-365

Accès au bibtex

titre

Improving X10 Program Performances by Clock Removal

auteur

Paul Feautrier, Eric Violard, Alain Ketterlin

article

23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France

Accès au texte intégral et bibtex

titre

How to Kill Epsilons with a Dagger

auteur

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

article

12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩

Accès au texte intégral et bibtex

titre

Emergence of wave patterns on Kadanoff Sandpiles

auteur

Kévin Perrot, Éric Rémila

article

11th Latin American Theoretical INformatics Symposium (LATIN), Mar 2014, Montevideo, Uruguay. A paraître

Accès au bibtex

titre

Lattice-based Group Signature Scheme with Verifier-local Revocation

auteur

Adeline Langlois, San Ling, Khoa Nguyen, Huaxiong Wang

article

Public-Key Cryptography - PKC2014, Mar 2014, Buenos Aires, Argentina. pp.345-361, ⟨10.1007/978-3-642-54631-0⟩

Accès au texte intégral et bibtex

titre

Mobility management in ad hoc networks using routing metrics

auteur

Sabrina Naimi, Anthony Busson, Véronique Vèque, Ridha Bouallegue, Larbi Ben Hadj Slama

article

Communications and Networking (ComNet), 2014 International Conference on, Mar 2014, Hammamet, Tunisia. pp.1-6, ⟨10.1109/ComNet.2014.6840923⟩

Accès au bibtex

titre

On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers

auteur

Anael Grandjean, Bora Uçar

article

22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2014), Feb 2014, Turin, Italy. pp.9 - 16, ⟨10.1109/PDP.2014.10⟩

Accès au texte intégral et bibtex

titre

Parametric Tiling with Inter-Tile Data Reuse

auteur

Alain Darte, Alexandre Isoard

article

4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Jan 2014, Vienna, Austria

Accès au bibtex

titre

CART: Constant Aspect Ratio Tiling

auteur

Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou

article

4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria

Accès au texte intégral et bibtex

titre

Applying quantitative semantics to higher-order quantum computing

auteur

Michele Pagani, Peter Selinger, Benoît Valiron

article

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGPLAN-SIGACT, Jan 2014, San Diego (California), United States. pp.647-658, ⟨10.1145/2578855.2535879⟩

Accès au texte intégral et bibtex

titre

Formal verification in Coq of program properties involving the global state effect

auteur

Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous

article

JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17

Accès au texte intégral et bibtex

titre

De la KAM avec un Processus d'Ordre Supérieur

auteur

Damien Pous, Alan Schmitt

article

JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12

Accès au texte intégral et bibtex

titre

Determining the Optimal Redistribution for a Given Data Partition

auteur

Thomas Hérault, Julien Herrmann, Loris Marchal, Yves Robert

article

13th International Symposium on Parallel and Distributed Computing (ISPDC), 2014, Marseille, France. ⟨10.1109/ISPDC.2014.16⟩

Accès au bibtex

titre

Implementation of affine arithmetic using floating-point arithmetic: how to handle roundoff errors

auteur

Jordan Ninin, Nathalie Revol

article

The Summer Workshop on Interval Methods, 2014, Uppsala, Sweden

Accès au bibtex

titre

Parameterized Construction of Program Representations for Sparse Dataflow Analyses

auteur

André Tavares, Fabrice Rastello, Benoit Boissinot, Fernando Pereira

article

CC 2014 - 23rd International Conference on Compiler Construction, 2014, Grenoble, France

Accès au bibtex

titre

Hardness of k-LWE and Applications in Traitor Tracing

auteur

San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld

article

CRYPTO, 2014, Santa Barbara, CA, United States

Accès au bibtex

titre

Dynamic Contact Network Analysis in Hospital Wards

auteur

Lucie Martinet, Christophe Crespelle, Eric Fleury

article

5th Workshop on Complex Networks - CompleNet 2014, 2014, Bologne, Italy

Accès au bibtex

Book sections

titre

Beyond The Clouds, How Should Next Generation Utility Computing Infrastructures Be Designed?

auteur

Marin Bertier, Frédéric Desprez, Gilles Fedak, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Flavien Quesnel, Jonathan Rouzaud-Cornabas, Cédric Tedeschi

article

Mahmood, Zaigham. Cloud Computing: Challenges, Limitations and R&D Solutions, Springer, 2014, ISBN 978-3-319-10529-1

Accès au texte intégral et bibtex

titre

Energy aware approach for HPC systems

auteur

Basmadjian Robert, Georges da Costa, Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Olieksiak Ariel, Jean-Marc Pierson

article

Emmanuel Jeannot; Julius Zilinskas. High-Performance Computing on Complex Environments, Chapter 1, Wiley-IEEE Press, pp.341-363, 2014, 978-1118712054. ⟨10.1002/9781118711897.ch18⟩

Accès au texte intégral et bibtex

titre

Fair Resource Sharing for Dynamic Scheduling of Workflows on Heterogeneous Systems

auteur

Hamid Arabnejad, Jorge Barbosa, Frédéric Suter

article

Emmanuel Jeannot and Julius Zilinskas. High-Performance Computing on Complex Environments, Wiley, 2014, Parallel and Distributed Computing series

Accès au texte intégral et bibtex

titre

Scheduling for Large-Scale Systems

auteur

Anne Benoit, Loris Marchal, Yves Robert, Bora Uçar, Frédéric Vivien

article

Allen Tucker; Teofilo Gonzalez; Heikki Topi; Jorge Diaz-Herrera. The Computing Handbook - Two-Volume Set, 1, Chapman and Hall/CRC Press, pp.3816, 2014, 9781439898444

Accès au bibtex

titre

Chiffrement avancé à partir du problème Learning With Errors

auteur

Fabien Laguillaumie, Adeline Langlois, Damien Stehlé

article

Sylvain PEYRONNET. Informatique Mathématique : une photographie en 2014, Presses universitaires de Perpignan, 2014, 9782354122287

Accès au texte intégral et bibtex

titre

Standardized multi-protocol data management for grid and cloud GridRPC frameworks

auteur

Yves Caniou, Hadrien Croubois, Gaël Le Mahec

article

Data Management in Cloud, Grid and P2P Systems, 2014, 978-3-319-10067-8

Accès au texte intégral et bibtex

titre

Topological Complexity of Context-Free omega-Languages: A Survey

auteur

Olivier Finkel

article

Nachum Dershowitz and Ephraim Nissan. Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, 8001, Springer, pp.50--77, 2014, Lecture Notes in Computer Science, 978-3-642-45320-5

Accès au texte intégral et bibtex

titre

Evaluating Elementary Functions

auteur

Florent de Dinechin, Jean-Michel Muller

article

Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014

Accès au bibtex

titre

Smart Resources Allocation to improve Cloud Security

auteur

Eddy Caron, Frédéric Desprez, Jonathan Rouzaud-Cornabas

article

Nepal, Surya and Pathan, Mukaddim. Security, Privacy and Trust in Cloud Systems, Part 1, Springer Berlin Heidelberg, pp.103-143, 2014, 978-3-642-38585-8. ⟨10.1007/978-3-642-38586-5_4⟩

Accès au bibtex

titre

Mandatory access protection within cloud systems

auteur

Mathieu Blanc, Aline Bousquet, Jérémy Briffaut, Laurent Clévy, Damien Gros, Arnaud Lefray, Jonathan Rouzaud-Cornabas, Christian Toinard, Benjamin Venelle

article

Springer Berlin Heidelberg. Security, Privacy and Trust in Cloud Systems, Springer Berlin Heidelberg, pp 145-173, 2014, ⟨10.1007/978-3-642-38586-5_5⟩

Accès au bibtex

Habilitation à diriger des recherches

titre

Bridging a Gap Between Research and Production: Contributions to Scheduling and Simulation

auteur

Frédéric Suter

article

Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de Lyon, 2014

Accès au texte intégral et bibtex

titre

High Performance and Reliable Algebraic Computing

auteur

Clément Pernet

article

Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014

Accès au texte intégral et bibtex

Master thesis

titre

Implementation and Evaluation of 3D FFT Parallel Algorithms Based on Software Component Model

auteur

Jérôme Richard

article

Calcul parallèle, distribué et partagé [cs.DC]. 2014

Accès au texte intégral et bibtex

Other publications

titre

SIAM’s CSC Workshop Series Marks 10th Year

auteur

Bora Uçar, Albert-Jan N. Yzelman

article

2014

Accès au bibtex

Books

titre

Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification

auteur

Amparo Gil, Jean-Michel Muller, Javier Segura

article

Elsevier, 90 part A, pp.1, 2014

Accès au bibtex

titre

Book of Abstracts of the Sixth SIAM Workshop on Combinatorial Scientific Computing

auteur

Bora Uçar

article

Bora Uçar. SIAM, pp.82, 2014

Accès au texte intégral et bibtex

Patents

titre

Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés

auteur

Christophe Alias, Alexandru Plesco

article

France, N° de brevet: FR1453308. 2014

Accès au bibtex

Poster communications

titre

Bridgeness: a novel centrality measure to detect global bridges

auteur

Pablo Jensen, Matteo Morini, Tommaso Venturini, Mathieu Jacomy, Jean-Philippe Cointet, Pierre Mercklé, Márton Karsai, Eric Fleury

article

ECCS 2014 – European Conference on Complex Systems, Sep 2014, Lucca, Italy. , 2014

Accès au texte intégral et bibtex

titre

Data-reuse Optimizations for Pipelined Tiling with Parametric Tile Sizes

auteur

Alexandre Isoard

article

23rd International Conference on Parallel Architectures and Compilation Techniques (PACT'14), Aug 2014, Edmonton, Canada

Accès au texte intégral et bibtex

Documents associated with scientific events

titre

Author Retrospective for Array Expansion, Array Shrinking, or There and Back Again

auteur

Paul Feautrier

article

Utpal Banerjee. ACM International Conference on Supercomputing (ICS) 25th Anniversary Volume, 2014, Munich, Germany. ACM, pp.1

Accès au bibtex

Reports

titre

Intelligent escalation and the principle of relativity

auteur

Pierre Lescanne

article

[Research Report] LIP - ENS Lyon. 2014

Accès au texte intégral et bibtex

titre

Cost-Optimal Execution of Boolean DNF Trees with Shared Streams

auteur

Henri Casanova, Lipyeow Lim, Yves Robert, Frédéric Vivien, Dounia Zaidouni

article

[Research Report] RR-8616, INRIA. 2014

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

[Research Report] RR-8609, ENS Lyon; LIP; INRIA; CNRS; Université Lyon 1. 2014

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

[Research Report] RR-8519, LIP; INRIA. 2014, pp.25

Accès au texte intégral et bibtex

titre

Reducing the complexity of the performance analysis of a multi- server facilities

auteur

Tulin Atmaca, Thomas Begin, Alexandre Brandwajn, Hind Castel-Taleb

article

[Research Report] RR-8617, Institut Telecom, Telecom SudParis, Evry, France; Université Lyon 1 / LIP (UMR INRIA, ENS Lyon CNRS, UCBL), Lyon France; University of California Santa Cruz, Baskin School of Engineering, USA; INRIA. 2014

Accès au texte intégral et bibtex

titre

Scheduling Trees of Malleable Tasks for Sparse Linear Algebra

auteur

Abdou Guermouche, Loris Marchal, Bertrand Simon, Frédéric Vivien

article

[Research Report] 8616, ENS Lyon. 2014

Accès au texte intégral et bibtex

titre

BIGhybrid - A Toolkit for Simulating MapReduce on Hybrid Infrastructures

auteur

Julio Cesar Santos dos Anjos, Gilles Fedak, Claudio Geyer

article

2014

Accès au texte intégral et bibtex

titre

Scheduling malleable task trees

auteur

Loris Marchal, Frédéric Vivien, Bertrand Simon

article

[Research Report] RR-8587, INRIA. 2014

Accès au texte intégral et bibtex

titre

Assessing general-purpose algorithms to cope with fail-stop and silent errors

auteur

Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun

article

[Research Report] RR-8599, INRIA. 2014, pp.42

Accès au texte intégral et bibtex

titre

Approximation algorithms for energy, reliability and makespan optimization problems

auteur

Guillaume Aupy, Anne Benoit

article

[Research Report] RR-8107, INRIA. 2014, pp.32

Accès au texte intégral et bibtex

titre

A tau-conjecture for Newton polygons

auteur

Pascal Koiran, Natacha Portier, Sébastien Tavenas, Stéphan Thomassé

article

2014, pp.14

Accès au texte intégral et bibtex

titre

Optimal Multistage Algorithm for Adjoint Computation

auteur

Guillaume Aupy, Julien Herrmann, Paul Hovland, Yves Robert

article

[Research Report] RR-8721, LIP - ENS Lyon; Argonne National Laboratory; INRIA; Vanderbilt University. 2014

Accès au texte intégral et bibtex

titre

D3.1.1 - Upperware Prototype

auteur

Amin Bsila, Nicolàs Ferry, Geir Horn, Tom Kirkham, Maciej Malawski, Nikos Parlavantzas, Christian Pérez, Jonathan Rouzaud-Cornabas, Daniel Romero, Alessandro Rossini, Arnor Solberg, Hui Song

article

[Research Report] 2014

Accès au bibtex

titre

Determining the optimal redistribution

auteur

Thomas Hérault, Julien Herrmann, Loris Marchal, Yves Robert

article

[Research Report] RR-8499, INRIA. 2014

Accès au texte intégral et bibtex

titre

Performance analysis and models for collocated VMs running on multi-core physical machines

auteur

Laurent Pouilloux, Jonathan Rouzaud-Cornabas

article

[Research Report] RR-8473, INRIA. 2014, pp.30

Accès au texte intégral et bibtex

titre

Memory-aware list scheduling for hybrid platforms

auteur

Julien Herrmann, Loris Marchal, Yves Robert

article

[Research Report] RR-8461, INRIA. 2014, pp.30

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

[Research Report] RR-8466, INRIA. 2014, pp.38

Accès au texte intégral et bibtex

titre

Power-aware replica placement in tree networks with multiple servers per client

auteur

Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert

article

[Research Report] RR-8474, INRIA. 2014

Accès au texte intégral et bibtex

titre

Image Transfer and Storage Cost Aware Brokering Strat. for Multiple Clouds

auteur

Frédéric Desprez, Jose-Luis Lucas-Simarro, Rafael Moreno Vozmediano, Jonathan Rouzaud-Cornabas

article

[Research Report] RR-8445, INRIA. 2014

Accès au texte intégral et bibtex

titre

Improving users' isolation in IaaS: Virtual Machine Placement with Security Constraints

auteur

Eddy Caron, Jonathan Rouzaud-Cornabas

article

[Research Report] RR-8444, INRIA. 2014

Accès au texte intégral et bibtex

titre

Fill-in reduction in sparse matrix factorizations using hypergraphs

auteur

Oguz Kaya, Enver Kayaaslan, Bora Uçar, Iain S. Duff

article

[Research Report] RR-8448, INRIA. 2014

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

[Research Report] RR-8606, INRIA. 2014, pp.37

Accès au texte intégral et bibtex

titre

Decidability of Identity-free Relational Kleene Lattices

auteur

Paul Brunet, Damien Pous

article

[Research Report] ENS de Lyon. 2014

Accès au texte intégral et bibtex

titre

Dynamic Scheduling of MapReduce Shuffle under Bandwidth Constraints

auteur

Sylvain Gault, Frédéric Desprez

article

[Research Report] 8574, Inria. 2014, pp.38

Accès au texte intégral et bibtex

titre

Data Management API within the GridRPC

auteur

Yves Caniou, Eddy Caron, Gaël Le Mahec, Hidemoto Nakada

article

[Research Report] inria. 2014

Accès au bibtex

Theses

titre

Combining checkpointing and other resilience mechanisms for exascale systems

auteur

Dounia Bentria

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0971⟩

Accès au texte intégral et bibtex

titre

Scaling the solution of large sparse linear systems using multifrontal methods on hybrid shared-distributed memory architectures

auteur

Mohamed Wissam Sid Lakhdar

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0958⟩

Accès au texte intégral et bibtex

titre

Game semantics and realizability for classical logic

auteur

Valentin Blot

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0945⟩

Accès au texte intégral et bibtex

titre

Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors

auteur

Philippe Theveny

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0941⟩

Accès au texte intégral et bibtex

titre

Lattice - Based Cryptography - Security Foundations and Constructions

auteur

Adeline Roux-Langlois

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0940⟩

Accès au texte intégral et bibtex

titre

Tame Berge trigraphes

auteur

Théophile Trunck

article

Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0929⟩

Accès au texte intégral et bibtex

titre

Resilient and energy-efficient scheduling algorithms at scale

auteur

Guillaume Aupy

article

Data Structures and Algorithms [cs.DS]. École Normale Supérieure de Lyon, 2014. English. ⟨NNT : 2014ENSL0928⟩

Accès au texte intégral et bibtex

titre

Upper and lower bounds for arithmetic circuits

auteur

Sébastien Tavenas

article

Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0921⟩

Accès au texte intégral et bibtex

titre

On the Semantics of Disjunctive Logic Programs

auteur

Athanasios Tsouanas

article

Logic in Computer Science [cs.LO]. Ecole Nationale Supérieure de Lyon, 2014. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management

auteur

Shubhabrata Roy

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0905⟩

Accès au texte intégral et bibtex

titre

On Forcing and Classical Realizability

auteur

Lionel Rieg

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0915⟩

Accès au texte intégral et bibtex

titre

Contributions to computer arithmetic and applications to embedded systems

auteur

Nicolas Brunie

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩

Accès au texte intégral et bibtex

titre

Performance Evaluation and Prediction of Parallel Applications

auteur

Georgios Markomanolis

article

Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0880⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre

Resource control and intersection types: an intrinsic connection

auteur

S Ghilezan, J Ivetic, P Lescanne, S Likavec

article

2014

Accès au texte intégral et bibtex

titre

Boltzmann samplers for random generation of lambda terms

auteur

Pierre Lescanne

article

2014

Accès au texte intégral et bibtex

titre

A behavioural theory for a π-calculus with preorders

auteur

Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu

article

2014

Accès au texte intégral et bibtex