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

2010

Journal articles

titre
Design and Evaluation of a Session-Aware Admission Control Framework for Improving Service Providers' Profitability
auteur
Narjess Ayari, Laurent Lefèvre, Denis Barbaron
article
Journal of Internet Engineering, 2010, 4 (1), pp.260-268
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00793633/file/JIE2010.pdf BibTex
titre
On Cluster Resource Allocation for Multiple Parallel Task Graphs
auteur
Henri Casanova, Frédéric Desprez, Frédéric Suter
article
Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1193-1203. ⟨10.1016/j.jpdc.2010.08.017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00539777/file/cas_des_sut.pdf BibTex
titre
Rigorous Perturbation Bounds of Some Matrix Factorizations
auteur
Xiao-Wen Chang, Damien Stehlé
article
SIAM Journal on Matrix Analysis and Applications, 2010, 31 (5), pp.2841--2859
Accès au bibtex
BibTex
titre
Tetrathiafulvalene End-Functionalized Poly( N -isopropylacrylamide): A New Class of Amphiphilic Polymer for the Creation of Multistimuli Responsive Micelles
auteur
Julien Bigot, Bernadette Charleux, Graeme Cooke, François Delattre, David Fournier, Joël Lyskawa, Léna Sambe, François Stoffelbach, Patrice Woisel
article
Journal of the American Chemical Society, 2010, 132 (31), pp.10796-10801. ⟨10.1021/ja1027452⟩
Accès au bibtex
BibTex
titre
On the confluence of lambda-calculus with conditional rewriting
auteur
Frédéric Blanqui, Claude Kirchner, Colin Riba
article
Theoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00509054/file/main.pdf BibTex
titre
Attraction Basins as Gauges of Environmental Robustness in Biological Complex Systems
auteur
Jacques Demongeot, Eric Goles, Michel Morvan, Mathilde Noual, Sylvain Sené
article
PLoS ONE, 2010, 5 (8), pp.e11793. ⟨10.1371/journal.pone.0011793⟩
Accès au bibtex
BibTex
titre
Communicating between the kernel and user-space in Linux using Netlink sockets
auteur
Pablo Neira, L. Gasca, Laurent Lefèvre
article
Software: Practice and Experience, 2010, 40 (9), pp.797-810. ⟨10.1002/spe.981⟩
Accès au bibtex
BibTex
titre
Interpreting a finitary pi-calculus in differential interaction nets
auteur
Thomas Ehrhard, Olivier Laurent
article
Information and Computation, 2010, 208 (6), pp.606--633. ⟨10.1016/j.ic.2009.06.005⟩
Accès au bibtex
BibTex
titre
Resource allocation algorithms for virtualized service hosting platforms
auteur
Mark Stillwell, David Schanzenbach, Frédéric Vivien, Henri Casanova
article
Journal of Parallel and Distributed Computing, 2010, 70 (9), pp.962-974. ⟨10.1016/j.jpdc.2010.05.006⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00527066/file/paper.pdf BibTex
titre
High-level Approach to Modeling of Observed System Behavior
auteur
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd Wolfinger, Serge Fdida
article
Performance Evaluation, 2010, 67 (5), pp.386-405. ⟨10.1016/j.peva.2009.11.002⟩
Accès au bibtex
BibTex
titre
Editorial: Simulators and Experimental Testbeds Design and Development for Wireless Networks
auteur
Faouzi Bader, Guillaume Chelius, Christian Ibars, Mohamed Ibnkahla, Nikos Passas, Arnd-Ragnar Rhiemeier
article
EURASIP Journal on Wireless Communications and Networking, 2010, 2010, ⟨10.1155/2010/603970⟩
Accès au bibtex
BibTex
titre
Improved Design of High-Performance Parallel Decimal Multipliers
auteur
Alvaro Vazquez, Elisardo Antelo, Paolo Montuschi
article
IEEE Transactions on Computers, 2010, 59 (5), pp.679-693
Accès au bibtex
BibTex
titre
Bringing fast floating-point arithmetic into embedded integer processors
auteur
Christian Bertin, Claude-Pierre Jeannerod, Christophe Monat
article
HiPEAC Info, 2010, 22, pp.11-12
Accès au bibtex
BibTex
titre
Un marathonien pas comme les autres
auteur
Guillaume Chelius, Joanna Jongwane
article
Interstices, 2010
Accès au bibtex
BibTex
titre
Designing and Evaluating an Energy Efficient Cloud
auteur
Laurent Lefèvre, Anne-Cécile Orgerie
article
Journal of Supercomputing, 2010, 51 (3), pp.352-373. ⟨10.1007/s11227-010-0414-2⟩
Accès au bibtex
BibTex
titre
Investigating self-similarity and heavy-tailed distributions on a large scale experimental facility
auteur
Loiseau Patrick, Paulo Gonçalves, Guillaume Dewaele, Pierre Borgnat, Patrice Abry, Pascale Primet Vicat-Blanc
article
IEEE/ACM Transactions on Networking, 2010, 99, pp.1. ⟨10.1109/TNET.2010.2042726⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00475902/file/10_Investigating_SS_and_HT.pdf BibTex
titre
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
auteur
Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article
Parallel Processing Letters, 2010, 20 (1), pp.15-30. ⟨10.1142/S012962641000003X⟩
Accès au bibtex
BibTex
titre
Extending Software Component Models with the Master-Worker Paradigm
auteur
Hinde Lilia Bouziane, Christian Pérez, Thierry Priol
article
Parallel Computing, 2010, 36 (2-3), pp.86--103. ⟨10.1016/j.parco.2009.12.012⟩
Accès au bibtex
BibTex
titre
Synthesis and Properties of Tetrathiafulvalene End-Functionalized Polymers Prepared via RAFT Polymerization
auteur
Julien Bigot, Bernadette Charleux, Graeme Cooke, François Delattre, David Fournier, Joel Lyskawa, François Stoffelbach, Patrice Woisel
article
Macromolecules, 2010, 43 (1), pp.82-90. ⟨10.1021/ma901809a⟩
Accès au bibtex
BibTex
titre
Linear logic by levels and bounded time complexity
auteur
Patrick Baillot, Damiano Mazza
article
Theoretical Computer Science, 2010, 411 (2), pp. 470--503. ⟨10.1016/j.tcs.2009.09.015⟩
Accès au bibtex
https://arxiv.org/pdf/0801.1253 BibTex
titre
On the analysis of ''simple'' 2D stochastic cellular automata
auteur
Damien Regnault, Nicolas Schabanel, Eric Thierry
article
Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 2 (2), pp.263-294. ⟨10.46298/dmtcs.518⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00990468/file/1337-5093-1-PB.pdf BibTex
titre
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
auteur
Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Accès au bibtex
BibTex
titre
An Efficient Method for Evaluating Complex Polynomials
auteur
Milos Ercegovac, Jean-Michel Muller
article
Journal of Signal Processing Systems, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00446889/file/ErcegovacMuller2010.pdf BibTex
titre
Rooted-tree Solutions for Tree Games
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
European Journal of Operational Research, 2010, 203, pp.404-408
Accès au bibtex
BibTex
titre
Complexity results for throughput and latency optimization of replicated and data-parallel workflows
auteur
Anne Benoit, Yves Robert
article
Algorithmica, 2010, 57 (4), pp.689-724. ⟨10.1007/s00453-008-9229-4⟩
Accès au bibtex
BibTex
titre
Well-Quasi-Order of Relabel Functions
auteur
Jean Daligault, Michael Rao, Stéphan Thomassé
article
Order, 2010, 27, pp.301-315. ⟨10.1007/s11083-010-9174-0⟩
Accès au bibtex
BibTex
titre
Average long-lived binary consensus: Quantifying the stabilizing role played by memory
auteur
Florent Becker, Ivan Rapaport, Sergio Rajsbaum, Éric Rémila
article
Theoretical Computer Science, 2010, 411 (14-15), pp.1558-1566. ⟨10.1016/j.tcs.2010.01.005⟩
Accès au bibtex
BibTex
titre
Simulators and Experimental Testbeds Design and Development for Wireless Networks
auteur
Faouzi Bader, Guillame Chelius, Christian Ibars, Mohamed Ibnkahla, Nikos Passas, Arnd-Ragnar Rhiemeier
article
EURASIP Journal on Wireless Communications and Networking, 2010, 2010 (1), pp.603970
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00784442/file/1687-1499-2010-603970.pdf BibTex
titre
A Self-Stabilizing K-clustering algorithm for weighted graphs
auteur
Eddy Caron, Ajoy K. Datta, Benjamin Depardon, Lawrence L. Larmore
article
Journal of Parallel and Distributed Computing, 2010, 70 (11), pp.1159-1173
Accès au bibtex
BibTex
titre
On Two-Dimensional Sparse Matrix Partitioning: Models, Methods, and a Recipe
auteur
Umit V. Catalyurek, Cevdet Aykanat, Bora Uçar
article
SIAM Journal on Scientific Computing, 2010, 32 (2), pp.656--683. ⟨10.1137/080737770⟩
Accès au bibtex
BibTex
titre
PLC sensor IPv6 networking interoperabe with WSN
auteur
Cedric Chauvenet, Pierre-Emmanuel Goudet, Mathieu Pouillot, Bernard Tourancheau, Denis Genon-Catalot
article
International Journal of Business Data Communications and Networking, 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563227/file/PLC_sensor_IPv6_networking_interoperabe_with_WSN.pdf BibTex
titre
Analyse numérique et réduction de réseaux
auteur
Ivan Morel, Damien Stehlé, Gilles Villard
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00327678/file/afrr-hal.pdf BibTex
titre
Why and How to Use Arbitrary Precision
auteur
Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
article
Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
Accès au bibtex
BibTex
titre
A Matrix Partitioning Interface to PaToH in MATLAB
auteur
Bora Uçar, Umit V. Catalyurek, Cevdet Aykanat
article
Parallel Computing, 2010, 36 (5--6), pp.254--272. ⟨10.1016/j.parco.2009.12.008⟩
Accès au bibtex
BibTex
titre
Fully Dynamic Algorithm for Modular Decomposition and Recognition of Permutation Graphs
auteur
Christophe Crespelle, Christophe Paul
article
Algorithmica, 2010, 58 (2), pp.405-432. ⟨10.1007/s00453-008-9273-0⟩
Accès au bibtex
BibTex
titre
Reducing the I/O Volume in an Out-of-core Sparse Multifrontal Solver
auteur
Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article
SIAM Journal on Scientific Computing, 2010, 31 (6), pp.4774-4794. ⟨10.1137/080720061⟩
Accès au bibtex
BibTex
titre
A new approach to the lattice Boltzmann method for graphics processing units
auteur
Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux
article
Computers & Mathematics with Applications, 2010, ⟨10.1016/j.camwa.2010.01.054⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00568674/file/obrecht10a-HAL.pdf BibTex
titre
On the Block Triangular Form of Symmetric Matrices
auteur
Iain S. Duff, Bora Uçar
article
SIAM Review, 2010, 52 (3), pp.455--470. ⟨10.1137/080720036⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00536955/file/duuc.pdf BibTex
titre
A nonlinear model for satellite images time series: analysis and prediction of land cover dynamics
auteur
Hugo Carrão, Paulo Gonçalves, Mário Caetano
article
IEEE Transactions on Geoscience and Remote Sensing, 2010, 48 (2) (4), pp.1919-1930
Accès au bibtex
BibTex
titre
Le cout écologique d'Internet
auteur
Laurent Lefèvre
article
Pour la science, 2010, 66, pp.40-41
Accès au bibtex
BibTex
titre
Specifying and provisioning Virtual Infrastructures with HIPerNET
auteur
Fabienne Anhalt, Guilherme Koslovski, Pascale Vicat-Blanc Primet
article
International Journal of Network Management, 2010, 20 (3), pp.12-148. ⟨10.1002/nem.732⟩
Accès au bibtex
BibTex
titre
Multi-criteria scheduling of precedence task graphs on heterogeneous platforms
auteur
Anne Benoit, Mourad Hakem, Yves Robert
article
The Computer Journal, 2010, 53 (6), pp.772-785. ⟨10.1093/comjnl/bxp067⟩
Accès au bibtex
BibTex
titre
Scheduling concurrent bag-of-tasks applications on heterogeneous platforms
auteur
Anne Benoit, Loris Marchal, Jean-François Pineau, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computers, 2010, 59 (2), pp.202-217. ⟨10.1109/TC.2009.117⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00786249/file/ieee-tc.pdf BibTex
titre
Termination in higher-order concurrent calculi
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
Accès au bibtex
BibTex

Conference papers

titre
Termination of Multipartite Graph Series Arising from Complex Network Modelling
auteur
Matthieu Latapy, Thi Ha Duong Phan, Christophe Crespelle, Thanh Qui Nguyen
article
4th Annual International Conference on Combinatorial Optimization and Applications - COCOA'10, Dec 2010, Hawaii, Big Island, United States. pp.1-10, ⟨10.1007/978-3-642-17458-2_1⟩
Accès au bibtex
https://arxiv.org/pdf/2103.04447 BibTex
titre
A Quantum Game of Life
auteur
Pablo Arrighi, Jonathan Grattage
article
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.31-42
Accès au texte intégral et bibtex
https://hal.science/hal-00542373/file/finalJACs.pdf BibTex
titre
Future Internet Management Platforms for Network Virtualisation and Service Clouds
auteur
Alex Galis, Stuart Clayman, Andreas Fischer, Paler Alexandru, Al-Hazmi Yahya, Hermann de Meer, Abderhaman Cheniour, Olivier Mornard, Jean-Patrick Gelas, Laurent Lefèvre, Javier Rubio-Loyola, Antonio Astorga, Joan Serrat, Steven Davy
article
ServiceWave 2010 - Third European Conference, Dec 2010, Ghent, Belgium. pp.235-237, ⟨10.1007/978-3-642-17694-4_39⟩
Accès au bibtex
BibTex
titre
Floating-point exponential functions for DSP-enabled FPGAs
auteur
Florent de Dinechin, Bogdan Pasca
article
International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. pp.110-117
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00506125/file/RR2010-23.pdf BibTex
titre
Efficient implementation of Parallel BCD Multiplication in LUT-6 FPGAs
auteur
Alvaro Vazquez, Florent de Dinechin
article
2010 International Conference on Field-Programmable Technology, Dec 2010, Beijing, China
Accès au bibtex
BibTex
titre
General vs. Interval Mappings for Streaming Applications
auteur
Anne Benoit, Hinde Lilia Bouziane, Yves Robert
article
IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS), Dec 2010, Shanghai, China
Accès au bibtex
BibTex
titre
Multi-Operand Decimal Addition by Efficient Reuse of a Binary Carry-Save Adder Tree
auteur
Alvaro Vazquez, Elisardo Antelo
article
44th ASILOMAR Conference on Signals, Systems and Computers, Dec 2010, Pacific Grove, CA, United States
Accès au bibtex
BibTex
titre
Platforms and Software Systems for an Autonomic Internet
auteur
Javier Rubio-Loyola, A. Astorga, Joan Serrat, W.K. Chai, L. Mamatas, A. Galis, S. Clayman, A. Cheniour, L. Lefevre, Olivier Mornard, A. Fischer, A. Paler, H. de Meer
article
IEEE Globecom 2010 - Next Generation Networking Symposium, Dec 2010, Miami, United States. ⟨10.1109/GLOCOM.2010.5683380⟩
Accès au bibtex
BibTex
titre
A 128-Tap Complex FIR Filter Processing 20 Giga-Samples/s in a Single FPGA
auteur
Florent de Dinechin, Honoré Takeugming, Jean-Marc Tanguy
article
44th Conference on signals, systems and computers, United States
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00542950/file/2010-36.pdf BibTex
titre
An Analysis of Power Consumption Logs from a Monitored Grid Site
auteur
Marcos Dias de Assuncao, Anne-Cécile Orgerie, Laurent Lefèvre
article
IEEE/ACM International Conference on Green Computing and Communications (GreenCom), Dec 2010, Hangzhou, China. pp.61, ⟨10.1109/GreenCom-CPSCom.2010.46⟩
Accès au bibtex
BibTex
titre
Reliablility Support in Virtual Infrastructures
auteur
Guilherme Koslovski, Wai-Leong Yeow, Cedric Westphal, Tram Truong Huu, Johan Montagnat, Pascale Vicat-Blanc Primet
article
IEEE International Conference on Cloud Computing Technology and Science (CloudCom'10), Nov 2010, Indianapolis, United States. pp.49-58, ⟨10.1109/CloudCom.2010.23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00677823/file/koslovski-yeow-etal-2010.pdf BibTex
titre
Forecasting for Grid and Cloud Computing On-Demand Resources Based on Pattern Matching
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan
article
IEEE CloudCom 2010, Nov 2010, Indianapolis, Indiana, USA, United States. ⟨10.1109/CloudCom.2010.65⟩
Accès au bibtex
BibTex
titre
Concurrency Can't Be Observed, Asynchronously
auteur
Filippo Bonchi, Paolo Baldan, Fabio Gadducci, Valentina Monreale
article
Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Nov 2010, Shanghai, China. pp.424-438
Accès au bibtex
BibTex
titre
mining time-dependent communities
auteur
Qinna Wang, Eric Fleury
article
Journées automnales ResCom 2010, Nov 2010, lyon, France
Accès au bibtex
BibTex
titre
Execution Models for Processors and Instructions
auteur
Florian Brandner, Pavlu Viktor, Krall Andreas
article
NORCHIP 2010, IEEE, Nov 2010, Finland
Accès au bibtex
BibTex
titre
Workflow-based comparison of two Distributed Computing Infrastructures
auteur
Johan Montagnat, Tristan Glatard, Damien Reimert, Ketan Maheshwari, Eddy Caron, Frédéric Desprez
article
Workshop on Workflows in Support of Large-Scale Science (WORKS 2010), Nov 2010, New Orleans, United States. pp.1-10, ⟨10.1109/WORKS.2010.5671856⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00677820/file/works10-revision.pdf BibTex
titre
New Parameters for Measuring Exposure to Diffusion in Dynamic Networks
auteur
Jérémie Dumas, Christophe Crespelle, Eric Fleury
article
LAWDN - Latin-American Workshop on Dynamic Networks, INTECIN - Facultad de Ingeniería (U.B.A.) - I.T.B.A., Nov 2010, Buenos Aires, Argentina. 4 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00531748/file/lawdn2010_submission_4.pdf BibTex
titre
Mining time-dependent communities
auteur
Qinna Wang, Eric Fleury
article
LAWDN - Latin-American Workshop on Dynamic Networks, INTECIN - Facultad de Ingeniería (U.B.A.) - I.T.B.A., Nov 2010, Buenos Aires, Argentina. 4 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00531735/file/lawdn2010_submission_1.pdf BibTex
titre
Towards MapReduce for Desktop Grid Computing
auteur
Bing Tang, Mircea Moca, Stéphane Chevalier, Gilles Fedak
article
P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2010 International Conference on, Nov 2010, Fukuoka, Japan. ⟨10.1109/3PGCIC.2010.33⟩
Accès au bibtex
BibTex
titre
Modeling TCP Throughput: an Elaborated Large-Deviations-Based Model and its Empirical Validation
auteur
Patrick Loiseau, Paulo Gonçalves, Julien Barral, Pascale Vicat-Blanc Primet
article
IFIP, Performance, Nov 2010, Namur, Belgium
Accès au bibtex
BibTex
titre
On the design of Adaptive Mesh Refinement applications based on software components
auteur
Vincent Pichon, Christian Pérez, André Ribes
article
Workshop on Component-Based High Performance Computing (2010), Oct 2010, Bruxelles, Belgium. pp.383-386, ⟨10.1109/GRID.2010.5698012⟩
Accès au bibtex
BibTex
titre
Uncovering Overlapping Community Structure
auteur
Wang Qinna, Eric Fleury
article
Second International Workshop, CompleNet 2010, Oct 2010, Rio de Janeiro, Brazil. pp.176-186, ⟨10.1007/978-3-642-25501-4_18⟩
Accès au bibtex
BibTex
titre
Formalization of Hensel's lemma in Coq
auteur
Érik Martin-Dorel
article
TYPES 2010: The 17th Workshop on Types for Proofs and Programs, Oct 2010, Warsaw, Poland
Accès au bibtex
BibTex
titre
VXDL: Virtual Resources and Interconnection Networks Description Language
auteur
Guilherme Koslovski, Pascale Vicat-Blanc Primet, Andréa Schwertner-Charão
article
Second international conference, GridNets 2008, Oct 2010, Beijing, China. ⟨10.1007/978-3-642-02080-3_15⟩
Accès au bibtex
BibTex
titre
Sharing Resources for Performance and Energy Optimization of Concurrent Streaming Applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
Computer Architecture and High Performance Computing (SBAC-PAD), 2010 22nd International Symposium on, Oct 2010, Petropolis, Brazil. pp.79-86, ⟨10.1109/SBAC-PAD.2010.19⟩
Accès au bibtex
BibTex
titre
Split Register Allocation: Linear Complexity Without the Performance Penalty
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello, John Cavazos
article
International Conference on High Performance and Embedded Architectures and Compilers, Oct 2010, Pisa, Italy. 15 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00551513/file/paper.pdf BibTex
titre
The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
auteur
Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
article
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00551504/file/PEGASE-ISoLA-2010.pdf BibTex
titre
Accuracy issues in linear algebra using interval arithmetic
auteur
Hong Diep Nguyen, Nathalie Revol
article
SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Accès au bibtex
BibTex
titre
Code generation for argument filtering and argument reduction in elementary functions
auteur
Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol
article
SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Accès au bibtex
BibTex
titre
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
auteur
Paul Feautrier, Laure Gonnord
article
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00523320/file/tapas10_FeautrierGonnord.authorversion.pdf BibTex
titre
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00523298/file/rankingCompsys_sas2010.pdf BibTex
titre
Sollya: an environment for the development of numerical codes
auteur
Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter
article
Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00761644/file/SollyaExtendedAbstract.pdf BibTex
titre
Minimizing Stretch and Makespan of Multiple Parallel Task Graphs via Malleable Allocations
auteur
Henri Casanova, Frédéric Desprez, Frédéric Suter
article
39th International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.71-80, ⟨10.1109/ICPP.2010.16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00533926/file/PID1363089.pdf BibTex
titre
Reliability and performance optimization of pipelined real-time systems
auteur
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
article
International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.20
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00526741/file/icpp.pdf BibTex
titre
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
auteur
Nathalie Revol
article
ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
Accès au bibtex
BibTex
titre
Modelization and performance evaluation of the DIET middleware
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
ICPP 2010 : 39th International Conference on Parallel Processing, Sep 2010, San Diego, Californie, United States. pp.375-384, ⟨10.1109/ICPP.2010.45⟩
Accès au bibtex
BibTex
titre
Electronic Sensors for Measuring Interactions between Healthcare Workers (HCWs) and Patients (Pts): the Case of Tuberculosis (TB)
auteur
Jean-Christophe Lucet, Guillaume Chelius, Cédric Laouenan, Adrien Friggeri, N. Veziris, D. Lepelletier, D. Abiteboul, Elisabeth Bouvet, Eric Fleury, France Mentré
article
2010 Interscience Conference on Antimicrobial Agents and Chemotherapy, American Society for Microbiology, Sep 2010, Boston, United States
Accès au bibtex
BibTex
titre
Methodology for Multifractal Analysis of Heart Rate Variability: From LF/HF Ratio to Wavelet Leaders
auteur
Patrice Abry, Herwig Wendt, Stéphane Jaffard, Hannes Helgason, Paulo Gonçalves, Edmundo Pereira, Claude Gharib, Pascal Gaucherand, Muriel Doret
article
32nd Int. Conf. of the IEEE Engineering in Medicine and Biology Society, Sep 2010, Buenos Aires, Argentina
Accès au bibtex
BibTex
titre
Deployment of a hierarchical middleware
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
Euro-Par 2010, Aug 2010, Ischia - Naples, Italy. pp.343-354, ⟨10.1007/978-3-642-15277-1_34⟩
Accès au bibtex
BibTex
titre
Multiplicative square root algorithms for FPGAs
auteur
Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy
article
International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.14, ⟨10.1109/FPL.2010.112⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00475779/file/2010-sqrt.pdf BibTex
titre
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications
auteur
Henri Casanova, Matthieu Gallet, Frédéric Vivien
article
Euro-Par 2010, Aug 2010, Ischia, Italy. pp.168-179, ⟨10.1007/978-3-642-15277-1_17⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00527111/file/EuroPar2010-CGV.pdf BibTex
titre
Pipelined FPGA Adders
auteur
Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasca
article
International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.422-427, ⟨10.1109/FPL.2010.87⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00475780/file/addition.pdf BibTex
titre
The Multivariate Resultant is NP-hard in any Characteristic
auteur
Bruno Grenet, Pascal Koiran, Natacha Portier
article
Mathematical Foundations of Computer Science 2010, Aug 2010, Brno, Czech Republic. pp.477-488, ⟨10.1007/978-3-642-15155-2_42⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00440842/file/resultant-prunel.pdf BibTex
titre
Accelerating lattice reduction with FPGAs
auteur
Jérémie Detrey, Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00539929/file/enum.pdf BibTex
titre
Demystifying Energy Consumption in Grids and Clouds
auteur
Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas
article
International Green Computing Conference (IGCC), Aug 2010, Chicago, United States. pp.335 - 342, ⟨10.1109/GREENCOMP.2010.5598295⟩
Accès au bibtex
BibTex
titre
Traffic classification techniques supporting semantic networks
auteur
Olivier Grémillet, Paulo Gonçalves, Pascale Vicat-Blanc Primet, Arnaud Dupas
article
1st Int. Wireless Comm. and Mobile Comp. Conf., TRaffic Analysis and Classification W., Jul 2010, Caen, France
Accès au bibtex
BibTex
titre
Type inference in intuitionistic linear logic
auteur
Patrick Baillot, Martin Hofmann
article
12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩
Accès au bibtex
BibTex
titre
Computing specified generators of structured matrix inverses
auteur
Claude-Pierre Jeannerod, Christophe Mouilleron
article
35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00450272/file/JeannerodMouilleron2010.pdf BibTex
titre
High performance linear algebra using interval arithmetic
auteur
Hong Diep Nguyen, Nathalie Revol
article
PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
Accès au bibtex
BibTex
titre
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
auteur
Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy
article
4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩
Accès au bibtex
BibTex
titre
Petaflow: a project towards information and communication technologies in society
auteur
Annemie van Hirtum, K. Baba, Julien Cisonni, Y. Ebara, Xavier Grandchamp, T. Kawamura, K. Koyamada, Kazunori Nozaki, H. Ohsaki, Xavier Pelorson, B. Raffin, E. Sakane, N. Sakamoto, Shinji Shimojo, Pascale Vicat-Blanc, Paulo Gonçalves, Shigeo Wada
article
HSNCE 2010 - 1st IEEE International Workshop on High-Speed Network and Computing Environments for Scientific Applications, Jul 2010, Séoul, South Korea. pp.4
Accès au bibtex
BibTex
titre
Petaflow - a project towards information and communication technologies in society
auteur
Paulo Gonçalves, Xavier Grandchamp, Xavier Pelorson, Bruno Raffin, Annemie van Hirtum, Pascale Vicat-Blanc, Ken Ichi Baba, Julien Cisonni, Yasuo Ebara, Kazunori Nozaki, Hiroyuki Ohsaki, Shigeo Wada, Takuma Kawamura, Koji Koyamada, Eisaku Sakane, Naohisa Sakamoto, Shimojo Shimijo
article
SAINT 2010 - 10th IEEE/IPSJ International Symposium on Applications and the Internet, Jul 2010, Séoul, South Korea. pp.347-350, ⟨10.1109/SAINT.2010.72⟩
Accès au bibtex
BibTex
titre
Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision
auteur
Hong Diep Nguyen, Nathalie Revol
article
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00544798/file/Nguyen-Revol-v2.pdf BibTex
titre
A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq
auteur
Pieter Collins, Milad Niqui, Nathalie Revol
article
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00473270/file/Collins-Niqui-Revol.pdf BibTex
titre
Formal proof of a wave equation resolution scheme: the method error
auteur
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
article
ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450789/file/RR-7181.pdf BibTex
titre
Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01664033/file/asap2010.pdf BibTex
titre
An affine-intuitionistic system of types and effects: confluence and termination
auteur
Roberto M. Amadio, Patrick Baillot, Antoine Madet
article
Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom
Accès au bibtex
BibTex
titre
LEMA: Towards a Language for Reliable Arithmetic
auteur
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
article
International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
Accès au bibtex
BibTex
titre
Implementing decimal floating-point arithmetic through binary: some suggestions
auteur
Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux
article
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00463353/file/Brisebarreetal2010.pdf BibTex
titre
Optimizing the reliability of pipelined applications under throughput constraints
auteur
Anne Benoit, Hinde Lilia Bouziane, Yves Robert
article
9th International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2010, Istanbul, Turkey. pp.1-8
Accès au bibtex
BibTex
titre
Automatic generation of polynomial-based hardware architectures for function evaluation
auteur
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
article
Application-specific Systems, Architectures and Processors, Jul 2010, Rennes, France
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00470506/file/RR-LIP-2010-14.pdf BibTex
titre
Newton-Raphson Algorithms for Floating-Point Division Using an FMA
auteur
Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
article
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00549027/file/Louvet_et_al2010.pdf BibTex
titre
DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet
auteur
Gilles Fedak, Jean-Patrick Gelas, Thomas Herault, Victor Iniesta, Derrick Kondo, Laurent Lefèvre, Paul Malecot, Lucas Nussbaum, Ala Rezmerita, Olivier Richard
article
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00502888/file/ispdc10-dsllab.pdf BibTex
titre
Completeness of automatically generated instruction selectors
auteur
Florian Brandner
article
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. pp.175 - 182, ⟨10.1109/ASAP.2010.5540994⟩
Accès au bibtex
BibTex
titre
On Bisimilarity and Substitution in Presence of Replication
auteur
Daniel Hirschkoff, Damien Pous
article
ICALP, Jul 2010, Bordeaux, France. pp.454-465, ⟨10.1007/978-3-642-14162-1_38⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00375604/file/seeds.pdf BibTex
titre
Formal Proof of SCHUR Conjugate Function
auteur
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
article
CALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩
Accès au bibtex
https://arxiv.org/pdf/1004.5034 BibTex
titre
Short bases of lattices over number fields
auteur
Claus Fieker, Damien Stehlé
article
ANTS-IX, Jul 2010, France. pp.157--173
Accès au bibtex
BibTex
titre
On the Extremality of an 80-Dimensional Lattice
auteur
Damien Stehlé, Mark Watkins
article
ANTS-IX, Jul 2010, France. pp.340--356
Accès au bibtex
BibTex
titre
On the Completeness of Quantum Computation Models
auteur
Pablo Arrighi, Gilles Dowek
article
CiE 2010 - 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Azores, Portugal. pp.21-30, ⟨10.1007/978-3-642-13962-8_3⟩
Accès au bibtex
https://arxiv.org/pdf/1004.1027 BibTex
titre
Parallel Copy Motion
auteur
Florent Bouchez, Quentin Colombet, Alain Darte, Christophe Guillon, Fabrice Rastello
article
SCOPES 2010 - 13th International Workshop on Software & Compilers for Embedded Systems, Jun 2010, New York, United States. pp.0
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00435844/file/article-hal.pdf BibTex
titre
A practical study of self-stabilization for prefix-tree based overlay networks
auteur
Vlad Acretoaie, Eddy Caron, Cédric Tedeschi
article
MOSPAS 2010 - Workshop on MOdeling and Simulation of Peer-to-Peer Architectures and Systems., IEEE, Jun 2010, Caen, France. pp.341 - 347, ⟨10.1109/HPCS.2010.5547117⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01427728/file/DLPT_TTL.pdf BibTex
titre
Specifying Imperative ML-Like Programs Using Dynamic Logic
auteur
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
article
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. pp.122-137
Accès au bibtex
BibTex
titre
Décrypthon Grid - Grid Resources Dedicated to Neuromuscular Disorders
auteur
Nicolas Bard, Raphaël Bolze, Eddy Caron, Frédéric Desprez, Michael Heymann, Anne Friedrich, Luc Moulinier, Hoan-Ngoc Nguyen, Poch Olivier, Thierry Toursel
article
HealthGrid 2010 - 8th HealthGrid conference, Jun 2010, Paris, France. pp.124-133, ⟨10.3233/978-1-60750-583-9-124⟩
Accès au bibtex
BibTex
titre
Investigating the Impact of Human Activity on the Performance of Wireless Networks – An Experimental Approach
auteur
Elyes Ben Hamida, Guillaume Chelius
article
11th IEEE International Symposium on a "World of Wireless, Mobile and Multimedia Networks" (WoWMoM 2010), Jun 2010, Montreal, Canada
Accès au bibtex
BibTex
titre
Efficient implementation of interval matrix multiplication
auteur
Hong Diep Nguyen
article
Para 2010: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00469472/file/NGUYEN_mat_prod.pdf BibTex
titre
Multipliers for Floating-Point Double Precision and Beyond on FPGAs
auteur
Sebastian Banescu, Florent de Dinechin, Bogdan Pasca, Radu Tudoran
article
Highly Efficient Accelerators and Reconfigurable Technologies, Jun 2010, Tsukuba, Japan
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00475781/file/dpbt.pdf BibTex
titre
Note sur la simulation d'une file M/G/1 selon la distribution du temps de service
auteur
Thomas Begin, Alexandre Brandwajn
article
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477409/file/Simu-algotel10.pdf BibTex
titre
A Bi-Criteria Algorithm for Scheduling Parallel Task Graphs on Clusters
auteur
Frédéric Desprez, Frédéric Suter
article
10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2010, Melbourne, Australia. pp.243-252
Accès au texte intégral et bibtex
https://hal.science/hal-00533904/file/bicpa-ccgrid.pdf BibTex
titre
Extending the EGEE Grid with XtremWeb-HEP Desktop Grids
auteur
Haiwu He, Gilles Fedak, Péter Kacsuk, Zoltan Farkas, Zoltan Balaton, Oleg Lodygensky, Etienne Urbah, Gabriel Caillat, Filipe Araujo, Ad Emmen
article
Cluster, Cloud and Grid Computing (CCGrid), 2010 10th IEEE/ACM International Conference on, May 2010, Melbourne, Australia. pp.685-690, ⟨10.1109/CCGRID.2010.100⟩
Accès au bibtex
BibTex
titre
802.15.4, a MAC layer solution for PLC
auteur
Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot
article
The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN 2010), May 2010, hammamet, Tunisia. 11 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00493435/file/hal.pdf BibTex
titre
The Green Grid5000: Instrumenting a Grid with Energy Sensors
auteur
Marcos Dias de Assuncao, Jean-Patrick Gelas, Laurent Lefèvre, Anne-Cécile Orgerie
article
INGRID'2010 : 5th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid, May 2010, Poznan, Poland. pp.25-42, ⟨10.1007/978-1-4614-0508-5_3⟩
Accès au bibtex
BibTex
titre
A Flow Scheduler Architecture
auteur
Dinil Mon Divakaran, Giovanna Carofiglio, Eitan Altman, Pascale Vicat-Blanc Primet
article
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01056318/file/main.pdf BibTex
titre
Scheduling complex streaming applications on the Cell processor
auteur
Matthieu Gallet, Mathias Jacquelin, Loris Marchal
article
4th Workshop on Multi-threaded Architectures and Applications (MTAAP 2010), May 2010, Atlanta, GA, United States. pp.1-8, ⟨10.1109/IPDPSW.2010.5470684⟩
Accès au bibtex
BibTex
titre
A Fair Decentralized Scheduler for Bag-of-tasks Applications on Desktop Grids
auteur
Javier Celaya, Loris Marchal
article
CCGrid 2010 - 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2010, Malbourne, Australia. ⟨10.1109/CCGRID.2010.13⟩
Accès au bibtex
BibTex
titre
On the Number of Attractors of Positive and Negative Boolean Automata Circuits.
auteur
Jacques Demongeot, Mathilde Noual, Sylvain Sené
article
24th IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA 2010), Apr 2010, Perth, WA, Australia. pp.782--789, ⟨10.1109/WAINA.2010.141⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00647877/file/dns10.pdf BibTex
titre
Gradual sub-lattice reduction and a new complexity for factoring polynomials
auteur
Mark van Hoeij, Andrew Novocin
article
LATIN 2010, Apr 2010, Oaxaca, Mexico
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00452881/file/LATIN2010_novocin.pdf BibTex
titre
Dynamic Fractional Resource Scheduling for HPC Workloads
auteur
Mark Stillwell, Frédéric Vivien, Henri Casanova
article
IEEE International Symposium on Parallel & Distributed Processing (IPDPS), 2010, Apr 2010, Atlanta, GA, United States. pp.1-12, ⟨10.1109/IPDPS.2010.5470356⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00527068/file/IPDPS2010-SVC.pdf BibTex
titre
Manageability of Future Internet Virtual Networks from a Practical Viewpoint
auteur
Javier Rubio-Loyola, Antonio Astorga, Joan Serrat, Laurent Lefevre, Abderhaman Cheniour, D. Muldowney, Steven Davy, Alex Galis, Lefteris Mamatas, Stuart Clayman, Daniel Macedo, Zeinab Movahedi, Guy Pujolle, Andreas Fischer, Hermann de Meer
article
FIA 2010 - Future Internet Assembly, Apr 2010, Valencia, Spain. pp.105-114, ⟨10.3233/978-1-60750-539-6-105⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00795224/file/FIABOOK2010.pdf BibTex
titre
Performance and energy optimization of concurrent pipelined applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), Apr 2010, Atlanta, GA, United States. ⟨10.1109/IPDPS.2010.5470483⟩
Accès au bibtex
BibTex
titre
Multi-Facet Approach to Reduce Energy Consumption in Clouds and Grids: The GREEN-NET Framework
auteur
Georges da Costa, Marcos Dias de Assuncao, Jean-Patrick Gelas, Yiannis Georgiou, Laurent Lefèvre, Anne-Cécile Orgerie, Jean-Marc Pierson, Olivier Richard, Amal Sayah
article
International Conference on Energy-Efficient Computing and Networking (e-Energy), Apr 2010, Passau, Germany. pp.95-104, ⟨10.1145/1791314.1791329⟩
Accès au texte intégral et bibtex
https://inria.hal.science/ensl-00517185/file/eEnergy2010_Lefevre.pdf BibTex
titre
Scheduling algorithms for linear workflow optimization
auteur
Kunal Agrawal, Anne Benoit, Loic Magnan, Yves Robert
article
IPDPS - 24th IEEE International Parallel and Distributed Processing Symposium - 2010, Apr 2010, Atlanta, United States. pp.1-12, ⟨10.1109/IPDPS.2010.5470346⟩
Accès au bibtex
BibTex
titre
A PolyTime Functional Language from Light Linear Logic
auteur
Patrick Baillot, Marco Gaboardi, Virgile Mogbil
article
19th European Symposium on Programming (ESOP 2010), Mar 2010, Paphos, Cyprus. pp. 104-124, ⟨10.1007/978-3-642-11957-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00443944/file/lpl_preprintLIPN10.pdf BibTex
titre
Rigorous Measurement of IP-Level Neighborhood of Internet Core Routers
auteur
Christophe Crespelle, Matthieu Matthieu Latapy, Elie Rotenberg
article
Second International Workshop on Network Scienece for Communication Networks (NetSciCom 2010), Mar 2010, San Diego, CA, United States. pp.499-504, ⟨10.1109/INFCOMW.2010.5466707⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00925782/file/internet-core-netscicom2010.pdf BibTex
titre
Tight performance bounds in the worst-case analysis of feed-forward networks
auteur
Anne Bouillard, Laurent Jouhet, Éric Thierry
article
IEEE INFOCOM 2010 - IEEE Conference on Computer Communications, Mar 2010, San Diego, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01583741/file/bouillard_INFOCOM10.pdf BibTex
titre
Multifractal analysis for in partum fetal-ECG diagnosis
auteur
Paulo Gonçalves, Patrice Abry, Claude Gharib, Muriel Doret, Hannes Helgason, Edmundo Pereira de Souza Neto
article
IEEE Int. Conf. on Acoustic Speech and Signal Processing, Mar 2010, Dallas (TX), United States
Accès au bibtex
BibTex
titre
On the scalability of hypergraph models for sparse matrix partitioning
auteur
Bora Uçar, Umit V. Catalyurek
article
18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2010), IEEE, Feb 2010, Pisa, Italy. pp.593-600, ⟨10.1109/PDP.2010.92⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00529088/file/ucca10.pdf BibTex
titre
Compensations in the Shapley value and the compensation solutions for graph games
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
First International Workshop "Models of Influence and Network theory", Feb 2010, Lyon, France
Accès au bibtex
BibTex
titre
Partitioning regular meshes for minimizing the total communication volume
auteur
Bora Uçar, Umit V. Catalyurek
article
SIAM Conference on Parallel Processing for Scientific Computing (PP10), Feb 2010, Seattle, WA, United States
Accès au bibtex
BibTex
titre
Average Tree Solutions and the Distribution of Harsanyi Dividends
auteur
Richard Baron, Sylvain Béal, Philippe Solal, Éric Rémila
article
Séminaire CREM - Université de Caen, Jan 2010, Caen, France
Accès au bibtex
BibTex
titre
Compensations in the Shapley value and the compensation solutions for graph games
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
Séminaire CREM - Université de Caen, Jan 2010, Caen, France
Accès au bibtex
BibTex
titre
Stochastic Flips on Two-letter Words
auteur
Olivier Bodini, Thomas Fernique, Damien Regnault
article
ANALCO 2010 - 7th Workshop on Analytic Algorithmics and Combinatorics, Jan 2010, Austin, TX, United States. pp.48-55, ⟨10.1137/1.9781611973006.7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00436516/file/convergence2.pdf BibTex
titre
Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
auteur
Nicolas Brisebarre, Mioara Maria Joldes
article
ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00472509/file/RRLIP2010-13.pdf BibTex
titre
A communication stack over PLC for multi physical layer IPv6 Networking
auteur
Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot, Pierre-Emmanuel Goudet, Mathieu Pouillot
article
SmartGridCom, 2010, Washington, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563226/file/SmartGridComm_paper.pdf BibTex
titre
Block-sequential update schedules and Boolean automata circuits
auteur
Eric Goles, Mathilde Noual
article
Automata 2010 - 16th Intl. Workshop on CA and DCS, 2010, Nancy, France. pp.41-50, ⟨10.46298/dmtcs.2762⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01185498/file/dmAL0104.pdf BibTex
titre
Stratégie de Placement des Puits Mobiles dans les Réseaux de Capteurs sans Fil pour Bâtiments
auteur
Leila Ben Saad, Bernard Tourancheau
article
JDIR, 2010, Sophia-Antipolois, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00563762/file/jdir.pdf BibTex
titre
Throughput optimization for micro-factories subject to task and machine failures
auteur
Anne Benoit, Alexandru Dobrila, Laurent Philippe, Jean-Marc Nicod
article
{APDCM'10}, 12th Workshop on Advances on Parallel and Distributed Processing Symposium, 2010, United States. pp.11--18
Accès au texte intégral et bibtex
https://hal.science/hal-00563628/file/bdnp10_ip.pdf BibTex
titre
Unitarity plus causality implies localizability
auteur
Pablo Arrighi, Vincent Nesme, Reinhard Werner
article
QIP, 2010, Zurich, Switzerland. Local proceedings
Accès au bibtex
https://arxiv.org/pdf/0711.3975 BibTex
titre
A Model for Space-Correlated Failures in Large-Scale Distributed Systems
auteur
Matthieu Gallet, Nezih Yigitbasi, Bahman Javadi, Derrick Kondo, Alexandru Iosup, Dick Epema
article
Euro-Par 2010 - Proceedings of the 16th International Euro-Par Conference, 2010, Ischia, Italy. 168-179, x-pays = NL
Accès au bibtex
BibTex
titre
Termination in Impure Concurrent Languages
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
CONCUR'10, 2010, Paris, France. pp.328-342, ⟨10.1007/978-3-642-15375-4_23⟩
Accès au bibtex
BibTex
titre
Energy-aware, power-aware, and Green Computing for large distributed systems and applications
auteur
Frédéric Giroire, F. Guinand, Laurent Lefèvre, Jordi Torres
article
Proceedings of the 2010 International Conference on High Performance Computing & Simulation (HPCS), 2010, Caen, France
Accès au bibtex
BibTex
titre
Checkpointing vs. migration for post-petascale supercomputers
auteur
Franck Cappello, Henri Casanova, Yves Robert
article
ICPP'2010 - the 39th International Conference on Parallel Processing, 2010, San Diego, United States. ⟨10.1109/ICPP.2010.26⟩
Accès au bibtex
BibTex
titre
Biais dans les mesures obtenues par un réseau de capteurs sans fil
auteur
Adrien Friggeri, Guillaume Chelius
article
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00475921/file/algotel.pdf BibTex
titre
Analysis and Modeling of Time-Correlated Failures in Large-Scale Distributed Systems
auteur
Nezih Yigitbasi, Matthieu Gallet, Derrick Kondo, Alexandru Iosup, Dick Epema
article
Grid 2010 - Proceedings of the 11th ACM/IEEE International Conference on Grid Computing, 2010, Bruxelles, Belgium. pp.355-366, ⟨10.1109/GRID.2010.5697961⟩
Accès au bibtex
BibTex
titre
Mapping pipelined applications with replication to increase throughput and reliability
auteur
Anne Benoit, Loris Marchal, Oliver Sinnen
article
International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2010, Petropolis, Brazil. pp.55-62, ⟨10.1109/SBAC-PAD.2010.16⟩
Accès au bibtex
BibTex
titre
Computing the throughput of probabilistic and replicated streaming applications
auteur
Anne Benoit, Fanny Dufossé, Matthieu Gallet, Bruno Gaujal, Yves Robert
article
22nd Symposium on Parallelism in Algorithms and Architectures (SPAA), 2010, Santorini, Greece. pp.166-175, ⟨10.1145/1810479.1810511⟩
Accès au bibtex
BibTex
titre
Modeling and Dimensioning Ground Heat Exchangers Principles: Influence of the soil's thermal proprieties
auteur
Francois Lavoué, Bernard Tourancheau
article
International Building Performance Simulation Association, IBPSA France, 2010, Moret sur Loing, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00566079/file/Lavoue_Tourancheau_IBPSA2010v1.pdf BibTex
titre
Faster Fully Homomorphic Encryption
auteur
Damien Stehlé, Ron Steinfeld
article
Proceedings of ASIACRYPT 2010, 2010, Singapore. pp.377--394
Accès au bibtex
BibTex
titre
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
auteur
Pablo Arrighi, Jonathan Grattage
article
LATA, 2010, Germany. pp.70-81
Accès au bibtex
BibTex
titre
Un mécanisme d'allocation de bande passante dans les réseaux sans fil hétérogènes basé sur la notion d'enchère
auteur
Manos Dramitinos, Isabelle Guérin-Lassous
article
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France. 4 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00475782/file/algotel10.pdf BibTex

Book sections

titre
Energy Aware Clouds
auteur
Anne-Cécile Orgerie, Marcos Dias de Assuncao, Laurent Lefèvre
article
Massimo Cafaro and Giovanni Aloisio. Grids, Clouds and Virtualization, Springer, pp.143-166, 2010
Accès au bibtex
BibTex
titre
Almost All F-Free Graphs Have The Erdos-Hajnal Property
auteur
Martin Loebl, Bruce Reed, Alex Scott, Andrew Thomason, Stéphan Thomassé
article
An Irregular Mind, 21, pp.405-414, 2010, ⟨10.1007/978-3-642-14444-8_11⟩
Accès au bibtex
BibTex
titre
Floating-point LLL: theoretical and practical aspects
auteur
Damien Stehlé
article
The LLL Algorithm: survey and applications, Springer, pp.179-213, 2010
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Contribution to the management of large scale platforms: the Diet experience
auteur
Eddy Caron
article
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00629060/file/hdr.pdf BibTex
titre
Analyse temps-fréquence et modèles d'invariance d'échelle: Contribution à l'étude de systèmes complexes
auteur
Paulo Gonçalves
article
Traitement du signal et de l'image [eess.SP]. Ecole normale supérieure de lyon - ENS LYON, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00474532/file/Paulo.Goncalves.HDR.thesis.pdf BibTex
titre
Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
auteur
Olivier Laurent
article
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00460805/file/hdr.pdf BibTex

Other publications

titre
Recent development in DIET: from Grid to Cloud
auteur
Frédéric Desprez, Luis Rodero-Merino, Eddy Caron, Adrian Muresan
article
2010, pp.2
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01427723/file/ERCIM_DIET.pdf BibTex
titre
I-Bird, comprendre les infections nosocomiales
auteur
Eric Fleury, Cramer Marianne
article
2010
Accès au bibtex
BibTex
titre
SensLAB
auteur
Julien Vandaële, Eric Fleury, Cédric Trojani, Arnaud Langlois
article
2010
Accès au bibtex
BibTex
titre
Et si les Français n'avaient plus seulement une voiture dans la tête ?
auteur
Kamila Tabaka, Vincent Kaufmann, Jean-Marie Guidez, Nicolas Louvet
article
2010, http://www.certu.fr/fr/_Mobilit%C3%A9_et_d%C3%A9placements-n25/Connaissance_de_la_mobilit%C3%A9-n41/
Accès au bibtex
BibTex

Books

titre
Réseaux de calcul - des grappes aux nuages de calcul
auteur
Pascale Vicat-Blanc Primet, Romaric Guillier, Sebastien Soudan, Brice Goglin
article
Hermès Science - Lavoisier, pp.213, 2010, 978-2-7462-3006-4
Accès au bibtex
BibTex
titre
Grids, P2P and Services Computing
auteur
Frédéric Desprez, Vladimir Getov, Thierry Priol, Ramin Yahyapour
article
Frédéric Desprez and Vladimir Getov and Thierry Priol and Ramin Yahyapour. Springer, 10, pp.202, 2010, CoreGRID book series, 978-1-4419-6793-0
Accès au bibtex
BibTex
titre
Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
auteur
Guillaume Hanrot, François Morain, Emmanuel Thomé
article
Guillaume Hanrot and François Morain and Emmanuel Thomé. Springer-Verlag, 6197, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6. ⟨10.1007/978-3-642-14518-6⟩
Accès au bibtex
https://arxiv.org/pdf/1001.5302 BibTex
titre
Handbook of Floating-Point Arithmetic
auteur
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
article
Birkhauser Boston, pp.572, 2010
Accès au bibtex
BibTex
titre
Parallel Computing: From Multicores and GPU's to Petascale. Proceedings of ParCO 2009
auteur
Barbara Chapman, Frédéric Desprez, Gerhard Joubert, Alain Lichnewsky, Frans Peters, Thierry Priol
article
Barbara Chapman and Frédéric Desprez and Gerhard R. Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol. IOS Press, 19, pp.739, 2010, Advances in Parallel Computing, 978-1-60750-529-7
Accès au bibtex
BibTex
titre
Guest editorial for the special issue "ISPDC'09 and Heteropar'09
auteur
Yves Robert, Leonel Souza, Denis Trystram
article
Robert, Yves and Souza, Leonel and Trystram, Denis. Elsevier, 37-8, pp.329-330, 2010
Accès au bibtex
BibTex

Patents

titre
DECOUVERTE DE VOISINAGE POUR OBJETS COMMUNICANTS
auteur
Guillaume Chelius, Eric Fleury, Antoine Fraboulet
article
France, Patent n° : 1059043. 2010
Accès au bibtex
BibTex

Reports

titre
A year in the life of a large scale experimental distributed system: the Grid'5000 platform in 2008
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
[Research Report] RR-7481, INRIA. 2010, pp.33
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00544992/file/RR-7481.pdf BibTex
titre
Throughput optimization for micro-factories subject to task and machine failures
auteur
Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, Laurent Philippe
article
[Research Report] RR-7479, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00544146/file/RR-7479.pdf BibTex
titre
The impact of cache misses on the performance of matrix product algorithms on multicore platforms
auteur
Mathias Jacquelin, Loris Marchal, Yves Robert
article
[Research Report] RR-7456, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00537822/file/RR-7456.pdf BibTex
titre
Multi-operand Decimal Adder Trees for FPGAs
auteur
Alvaro Vazquez, Florent de Dinechin
article
[Research Report] RR-7420, INRIA. 2010, pp.20
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00526327/file/RR-7420.pdf BibTex
titre
Some Experiments and Issues to Exploit Multicore Parallelism in a Distributed-Memory Parallel Sparse Direct Solver
auteur
Indranil Chowdhury, Jean-Yves L'Excellent
article
[Research Report] RR-7411, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00524249/file/RR-7411.pdf BibTex
titre
Untying RMS from Application Scheduling
auteur
Cristian Klein, Christian Pérez
article
[Research Report] RR-7389, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00519864/file/main.pdf BibTex
titre
Performance and energy optimization of concurrent pipelined applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
[Research Report] RR-LIP-2009-27, 2010, pp.28
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00441627/file/RR-2009-27.pdf BibTex
titre
On the performance of greedy algorithms for energy minimization
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
[Research Report] RR-LIP-2010-27, 2010, pp.12
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00515209/file/RR-2010-27.pdf BibTex
titre
Enabling Connectors in Hierarchical Component Models
auteur
Julien Bigot, Christian Pérez
article
[Research Report] RR-7204, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456608/file/RR-7204.pdf BibTex
titre
Evaluation of Reallocation Heuristics for Moldable Tasks in Computational Dedicated and non Dedicated Grids
auteur
Ghislain Charrier, Yves Caniou, Frédéric Desprez
article
[Research Report] RR-7365, INRIA. 2010, pp.38
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00509393/file/RR-7365.pdf BibTex
titre
Forecasting for Cloud computing on-demand resources based on pattern matching
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan
article
[Research Report] RR-7217, INRIA. 2010, pp.26
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00460393/file/RR-7217.pdf BibTex
titre
A Recurrent Solution of Ph/M/c/N-like and Ph/M/c-like Queues
auteur
Alexandre Brandwajn, Thomas Begin
article
[Research Report] RR-7321, INRIA. 2010, pp.16
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00492748/file/RR-7321.pdf BibTex
titre
Modelization for the Deployment of a Hierarchical Middleware on a Heterogeneous Platform
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
[Research Report] RR-7309, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00490406/file/RR-7309.pdf BibTex
titre
Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7281, INRIA. 2010, pp.19
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00482035/file/RR-7281.pdf BibTex
titre
On the Computation of Correctly-Rounded Sums
auteur
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
[Research Report] RR-7262, INRIA. 2010, pp.24
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00475279/file/RR-7262.pdf BibTex
titre
A Practical Study of Self-Stabilization for Prefix-Tree Based Overlay Networks
auteur
Vlad Acretoaie, Eddy Caron, Cédric Tedeschi
article
[Research Report] RR-7252, INRIA. 2010, pp.15
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00474376/file/RR-7252.pdf BibTex
titre
LEMA: Towards a Language for Reliable Arithmetic
auteur
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
article
[Research Report] RR-7258, INRIA. 2010, pp.15
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00473767/file/RR-7258.pdf BibTex
titre
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
[Research Report] RR-7235, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00464356/file/RR-7235.pdf BibTex
titre
Analysis of Tasks Reallocation in a Dedicated Grid Environment
auteur
Yves Caniou, Ghislain Charrier, Frédéric Desprez
article
[Research Report] RR-7226, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00462526/file/RR-7226.pdf BibTex
titre
On Cluster Resource Allocation for Multiple Parallel Task Graphs
auteur
Henri Casanova, Frédéric Desprez, Frédéric Suter
article
[Research Report] RR-7224, INRIA. 2010, pp.31
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00461692/file/RR-7224.pdf BibTex
titre
Scheduling Rigid, Evolving Applications on Homogeneous Resources
auteur
Cristian Klein, Christian Pérez
article
[Research Report] RR-7205, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456769/file/main.pdf BibTex
titre
Modelization for the Deployment of a Hierarchical Middleware on a Homogeneous Platform
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
[Research Report] RR-7201, INRIA. 2010, pp.56
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456045/file/RR-7201.pdf BibTex
titre
Auction-based Bandwidth Allocation Mechanisms for Wireless Future Internet
auteur
Emmanouil Dramitinos, Isabelle Guérin-Lassous
article
[Research Report] RR-7188, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450922/file/RR-7188.pdf BibTex
titre
Exploring the Virtual Infrastructures as a Service concept with HIPerNET
auteur
Pascale Primet Vicat-Blanc, Guilherme Koslovski, Fabienne Anhalt, Tram Truong Huu, Johan Montagnat
article
[Research Report] RR-7185, INRIA. 2010, pp.36
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450409/file/RR-7185.pdf BibTex
titre
Size-Based Flow Scheduling in a CICQ Switch
auteur
Dinil Mon Divakaran, Fabienne Anhalt, Eitan Altman, Pascale Primet
article
[Research Report] RR-7183, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450054/file/RR-7183.pdf BibTex
titre
Computing the throughput of probabilistic and replicated streaming applications
auteur
Anne Benoit, Fanny Dufossé, Matthieu Gallet, Bruno Gaujal, Yves Robert
article
[Research Report] RR-7182, INRIA. 2010, pp.34
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00452424/file/RR-7182.pdf BibTex
titre
HIPCAL: final report
auteur
Fabienne Anhalt, Christophe Blanchet, Romaric Guillier, Tram Truong Huu, Guilherme Koslovski, Johan Montagnat, Pascale Vicat-Blanc Primet, Vincent Roca
article
[Research Report] 2010
Accès au bibtex
BibTex
titre
Scheduling Parallel Iterative Applications on Volatile Resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
[Research Report] 2010, pp.19
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00524784/file/rr2010-31.pdf BibTex

Theses

titre
Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance.
auteur
Julien Bigot
article
Modélisation et simulation. INSA de Rennes, 2010. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00626698/file/thesis_jbigot.pdf BibTex
titre
Scheduling and Dynamic Management of Applications over Grids
auteur
Ghislain Charrier
article
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00590292/file/phd.pdf BibTex
titre
Contribution au Déploiement d'un Intergiciel Distribué et Hiérarchique, Appliqué aux Simulations Cosmologiques
auteur
Benjamin Depardon
article
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2010. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00540179/file/main.pdf BibTex
titre
Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators
auteur
Alexandru Plesco
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00544349/file/alexandru.plesco_these.pdf BibTex

Preprints, Working Papers, ...

titre
Practical polynomial factoring in polynomial time
auteur
William Hart, Mark van Hoeij, Andrew Novocin
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00546114/file/poly_factor_NOVOCIN_2010.pdf BibTex
titre
A Practical Univariate Polynomial Composition Algorithm
auteur
William Hart, Andrew Novocin
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00546102/file/dmtcs_NOVOCIN2010.pdf BibTex
titre
FPGA-Specific Custom Arithmetic Datapath Design
auteur
Florent de Dinechin, Bogdan Pasca
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00542396/file/arithmetic_pipeline.pdf BibTex
titre
How to square floats accurately and efficiently on the ST231 integer processor
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00532829/file/sqr.pdf BibTex
titre
Scheduling streaming applications on a complex multicore platform
auteur
Tudor David, Mathias Jacquelin, Loris Marchal
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00523018/file/RR-article-long.pdf BibTex
titre
Power-aware replica placement and update strategies in tree networks
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00524691/file/RR-LIP-2010-29.pdf BibTex
titre
Strong Normalization of MLF via a Calculus of Coercions
auteur
Giulio Manzonetto, Paolo Tranquilli
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00573697/file/mlflong.pdf BibTex
titre
Bulking I: an Abstract Theory of Bulking
auteur
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00451732/file/bulkI.pdf BibTex
titre
Stochastic Minority on Graphs
auteur
Damien Regnault, Jean-Baptiste Rouquier, Eric Thierry
article
2010
Accès au bibtex
BibTex
titre
Jeux d'inondation dans les graphes
auteur
Aurélie Lagoutte
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00509488/file/aurelie-hal-2010-08-12.pdf BibTex
titre
Shallow Circuits with High-Powered Inputs
auteur
Pascal Koiran
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00477023/file/v4prunel.pdf BibTex
titre
A flexible floating-point logarithm for reconfigurable computers
auteur
Florent de Dinechin
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00506122/file/RR-2010-22.pdf BibTex
titre
Scaling Newton-Raphson division iterations to avoid double rounding
auteur
Jean-Michel Muller
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00496368/file/ScalingNRDiv.pdf BibTex
titre
Modelization for the Deployment of a Hierarchical Middleware on a Heterogeneous Platform
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00490463/file/RR-7309.lip.pdf BibTex
titre
Active Learning for Hidden Attributes in Networks
auteur
Xiaoran Yan, Yaojia Zhu, Jean-Baptiste Rouquier, Cristopher Moore
article
2010
Accès au bibtex
https://arxiv.org/pdf/1005.0794 BibTex
titre
An affine-intuitionistic system of types and effects: confluence and termination
auteur
Roberto Amadio, Patrick Baillot, Antoine Madet
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00438101/file/affreg_nolncs.pdf BibTex
titre
On the completeness of quantum computation models
auteur
Pablo Arrighi, Gilles Dowek
article
2010
Accès au bibtex
https://arxiv.org/pdf/1004.1027 BibTex
titre
Computing floating-point square roots via bivariate polynomial evaluation
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00335792/file/JeKnMoRe09-ieeeTC-revision.pdf BibTex
titre
Analysis of Tasks Reallocation in a Dedicated Grid Environment
auteur
Ghislain Charrier, Yves Caniou, Frédéric Desprez
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00462522/file/RRLIP2010-12.pdf BibTex
titre
Communication between LRMS and service/resource discovering system
auteur
Eddy Caron, Haiwu He, Olivier Richard, Frédéric Suter
article
2010
Accès au bibtex
BibTex
titre
Communication between co-scheduler and service/resource discovering system
auteur
Eddy Caron, Florent Chuffart, Haiwu He, Frédéric Suter
article
2010
Accès au bibtex
BibTex
titre
Modelization for the Deployment of a Hierarchical Middleware on a Homogeneous Platform
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00459394/file/RRLIP2010-10.pdf BibTex
titre
On the complexity of task graph scheduling with transient and fail-stop failures
auteur
Anne Benoit, Louis-Claude Canon, Emmanuel Jeannot, Yves Robert
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00457511/file/rr-lip-2010-01.pdf BibTex
titre
Optimizing the reliability of pipelined applications under throughput constraints
auteur
Anne Benoit, Hinde Lilia Bouziane, Yves Robert
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00457207/file/TR-LIP-2010-06.pdf BibTex
titre
Enabling Connectors in Hierarchical Component Models
auteur
Julien Bigot, Christian Pérez
article
2010
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00456961/file/0-main.pdf BibTex
titre
Sharing resources for performance and energy optimization of concurrent streaming applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00457323/file/RR-LIP-2010-05.pdf BibTex
titre
General Iteration graphs and Boolean automata circuits
auteur
Mathilde Noual
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00452025/file/GIG.pdf BibTex
titre
Translating types and effects with state monads and linear logic
auteur
Paolo Tranquilli
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00465793/file/typeseffects.pdf BibTex
titre
Bulking II: Classifications of Cellular Automata
auteur
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00451727/file/bulking2.pdf BibTex
titre
Fondements de géométrie euclidienne
auteur
Jean Duprat
article
2010
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00661537/file/ManuelDuprat.pdf BibTex