By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


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

2007

Journal articles

titre
Une Caractérisation non gaussienne et à longue mémoire du trafic Internet et de ses anomalies
auteur
Pierre Borgnat, Patrice Abry, Guillaume Dewaele, Antoine Scherrer, Nicolas Larrieu, Philippe Owezarski, Yann Labit, Laurent Gallon, Julien Aussibal
article
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1401-1428
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00290745/file/07_annales_telecoms_borgnat_draft.pdf BibTex
titre
Worldsens : outil de simulation pour la conception d'applications de réseaux de capteurs
auteur
Antoine Fraboulet, Guillaume Chelius
article
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.10
Accès au bibtex
BibTex
titre
Master Interface for On-Chip Hardware Accelerator Burst Communications
auteur
Antoine Fraboulet, Tanguy Risset
article
The Journal of VLSI Signal, Springer Verlag, 2007, 49 (1), pp.73-85. ⟨10.1007/s11265-006-0045-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00391222/file/JVLSI05.pdf BibTex
titre
Enhancing computational grids with peer-to-peer technology for large scale service discovery
auteur
Eddy Caron, Frédéric Desprez, Cédric Tedeschi
article
Journal of Grid Computing, Springer Verlag, 2007, 5 (3), pp.337-360. ⟨10.1007/s10723-006-9058-0⟩
Accès au bibtex
BibTex
titre
On the Complexity of Spill Everywhere under SSA Form
auteur
Florent Bouchez, Alain Darte, Fabrice Rastello
article
ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 2007, Volume 42 (Issue 7), pp.103 - 112. ⟨10.1145/1254766.1254782⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00180322/file/lctes022-bouchez-RR-LIP.pdf BibTex
titre
Correct rounding of algebraic functions
auteur
Jean-Michel Muller, Nicolas Brisebarre
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.71-83. ⟨10.1051/ita:2007002⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00143230/file/algtmd.pdf BibTex
titre
Fast and correctly rounded logarithms in double precision
auteur
Jean-Michel Muller, Florent de Dinechin, Christoph Lauter
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/log.pdf https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/RR2005-37.pdf BibTex
titre
La riche zoologie des automates cellulaires
auteur
Marianne Delorme, Jacques Mazoyer
article
Interstices, INRIA, 2007
Accès au bibtex
BibTex
titre
Local Sentences and Mahlo Cardinals
auteur
Olivier Finkel, Stevo Todorcevic
article
Mathematical Logic Quaterly, 2007, 53 (6), pp.558-563
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00147192/file/local-mahlo-MLQ.pdf BibTex
titre
Bivariate Empirical mode decomposition
auteur
Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves, Jonathan M. Lilly
article
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2007, 14 (12), pp.936-939
Accès au bibtex
BibTex
titre
Scheduling algorithms for data redistribution and load-balancing on master-slave platforms
auteur
Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien
article
Parallel Processing Letters, World Scientific Publishing, 2007, 17 (1), pp.61-77. ⟨10.1142/S0129626407002879⟩
Accès au bibtex
BibTex
titre
A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic
auteur
Florent de Dinechin, Jérémie Detrey
article
Journal of Signal Processing Systems, Springer, 2007, 49 (1), pp.161-175. ⟨10.1007/s11265-007-0048-7⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542212/file/DetreyDinechin.pdf BibTex
titre
Discrete Rotations and Symbolic Dynamics
auteur
Valerie Berthe, Bertrand Nouvel
article
Theoretical Computer Science, Elsevier, 2007, 380, pp.276-285
Accès au bibtex
BibTex
titre
Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
auteur
Guillaume Melquiond, Sylvain Pion
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071232/file/pion_melquiond.pdf BibTex
titre
An Example of Pi^0_3-complete Infinitary Rational Relation
auteur
Olivier Finkel
article
Computer Science Journal of Moldova, Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova, 2007, 15 (1), pp.3-21
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00130246/file/PI-0-3-RAT-REL.pdf BibTex
titre
Definition, modelling and simulation of a grid computing scheduling system for high throughput computing
auteur
Eddy Caron, V. Garonne, A. Tsaregorodtsev
article
Future Generation Computer Systems, Elsevier, 2007, 23, pp.968-976. ⟨10.1016/j.future.2007.04.008⟩
Accès au bibtex
BibTex
titre
3D finite-difference frequency-domain modeling of visco-acoustic wave propagation using a massively parallel direct solver: A feasibility study
auteur
Stéphane Operto, J. Virieux, Patrick Amestoy, Jean-Yves L'Excellent, Luc Giraud, Hafedh Ben Hadj Ali
article
Geophysics, Society of Exploration Geophysicists, 2007, 72 (5), pp.SM195 à SM211. ⟨10.1190/1.2759835⟩
Accès au bibtex
BibTex
titre
Can Transitive Orientation Make Sandwich Problems Easier?
auteur
Michel Habib, David Kelly, Emmanuelle Lebhar, Christophe Paul
article
Discrete Mathematics, Elsevier, 2007, 307 (16), pp.2030-2041. ⟨10.1016/j.disc.2005.12.048⟩
Accès au bibtex
BibTex
titre
Routage dans les petits mondes
auteur
Emmanuelle Lebhar, Nicolas Schabanel
article
Interstices, INRIA, 2007
Accès au bibtex
BibTex
titre
An Efficient Abstract Machine for Safe Ambients
auteur
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
article
Journal of Logic and Algebraic Programming, Elsevier, 2007, ⟨10.1016/j.jlap.2007.02.003⟩
Accès au bibtex
BibTex
titre
New Up-To Techniques for Weak Bisimulation
auteur
Damien Pous
article
Theoretical Computer Science, Elsevier, 2007, 380, pp.164 - 180. ⟨10.1016/j.tcs.2007.02.060⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01442745/file/nuttwb.pdf BibTex
titre
Dynamic voltage scaling under EDF revisited
auteur
Bruno Gaujal, Nicolas Navet
article
Real-Time Systems, Springer Verlag, 2007, 37 (1), pp.77-97. ⟨10.1007/s11241-007-9029-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00168449/file/RTS_BGNN2007.pdf BibTex
titre
Multi-Mode Operator for SHA-2 Hash Functions
auteur
Ryan Glabb, Laurent Imbert, Graham A. Jullien, Arnaud Tisserand, Nicolas Veyrat-Charvillon
article
Journal of Systems Architecture, Elsevier, 2007, Special Issue on Embedded Hardware for Cryptosystems, 52 (2-3), pp.127-138. ⟨10.1016/j.sysarc.2006.09.006⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00126262/file/GlaImbJulTisVey07a_jsa.pdf BibTex
titre
A step towards unifying schedule and storage optimization
auteur
William Thies, Frédéric Vivien, Saman Amarasinghe
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, 29 (6), 45 p. ⟨10.1145/1286821.1286825⟩
Accès au bibtex
BibTex

Conference papers

titre
SARA: A Session Aware Infrastructure for High Performance Next Generation Cluster-based Servers
auteur
Narjess Ayari, Denis Barbaron, Laurent Lefevre, Pascale Primet
article
ATNAC 2007 : Australasian Telecommunication Networks and Applications Conference, Dec 2007, Christchurch, New Zealand
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02403728/file/ATNAC2007_Ayari_Barbaron_Lefevre_Primet.pdf BibTex
titre
Towards a Transparent Data Access Model for the GridRPC Paradigm
auteur
Gabriel Antoniu, Eddy Caron, Frédéric Desprez, Aurélia Fèvre, Mathieu Jan
article
Proc. of the 13th Internationl Conference on High Performance Computing (HiPC 2007), Dec 2007, Goa, India. pp.269-284, ⟨10.1007/978-3-540-77220-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00447931/file/hipc07.pdf BibTex
titre
SNMP-Based monitoring agents and heuristic scheduling for large-scale Grids
auteur
Edgar Magaña, Laurent Lefèvre, Masum Hasan, Joan Serrat
article
GADA'07 : International Conference on Grid computing, high-performAnce and Distributed Applications, Nov 2007, Vilamoura, Algarve, Portugal. pp.1367-1384, ⟨10.1007/978-3-540-76843-2_17⟩
Accès au bibtex
BibTex
titre
Snap-stabilizing Prefix Tree for Peer-to-peer Systems
auteur
Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article
SSS 2007 - 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2007, Paris, France. pp.15, ⟨10.1007/978-3-540-76627-8_9⟩
Accès au bibtex
BibTex
titre
GCP: gossip-based code propagation for large-scale mobile wireless sensor networks
auteur
Yann Busnel, Marin Bertier, Eric Fleury, Anne-Marie Kermarrec
article
1st International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Roma, Italy. pp.11, ⟨10.1145/1365562.1365577⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00554253/file/gcp-final.pdf BibTex
titre
A certified infinite norm for the implementation of elementary functions
auteur
Sylvain Chevillard, Christoph Lauter
article
Seventh International Conference on Quality Software, Oct 2007, Portland, United States. pp.153 -- 160
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00119810/file/CertifiedInfiniteNorm.pdf BibTex
titre
A comparative study of different heavy tail index estimators of the flow size from sampled data
auteur
Patrick Loiseau, Paulo Gonçalves, Pascale Vicat-Blanc Primet
article
MetroGrid Workshop, GridNets, Oct 2007, Lyon, France
Accès au bibtex
BibTex
titre
A massively parallel frequency-domain full-waveform inversion algorithm for imaging acoustic media: Application to a dense OBS data set
auteur
Florent Sourbier, Stéphane Operto, Jean Virieux, Patrick Amestoy, Jean-Yves L'Excellent
article
SEG 2007 - The Society of Exploration Geophysicists, Sep 2007, San Antonio, United States. pp.1893, ⟨10.1190/1.2792860⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00408492/file/sourbier2007.pdf BibTex
titre
Une extension bivariée pour la Décomposition Modale Empirique -- Application à des bruits blancs complexes
auteur
Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves
article
GRETSI-07 - 21e Colloque sur le Traitement du Signal et des Images., Sep 2007, Troyes, France. pp.809-812
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00200003/file/GRETSI07_GRPFPG.pdf BibTex
titre
Arithmetic Operators for Pairing-Based Cryptography
auteur
Jean-Luc Beuchat, Nicolas Brisebarre, Jérémie Detrey, Eiji Okamoto
article
9th Invernational Workshop on Cryptographic Hardware and Embedded Systems – CHES 2007, Sep 2007, Vienne, Austria. pp.239-255, ⟨10.1007/978-3-540-74735-2_17⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00137918/file/rr.pdf BibTex
titre
Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, Sep 2007, Gothenburg, Sweden. pp.10-19, ⟨10.1007/978-3-540-74442-9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399609/file/patmos07.pdf BibTex
titre
On defining a web interface for linear algebra tasks over computational grids
auteur
Hrachya Astsatryan, Eddy Caron, Michel Daydé, Aurélie Hurault, Marc Pantel
article
International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
Accès au bibtex
BibTex
titre
Comparison and tuning of MPI implementation in a grid context
auteur
Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article
Proceedings of 2007 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2007, Austin, United States. pp.458-463
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767663/file/2007_CLUSTER_Ludo_Poster_Accepte.pdf BibTex
titre
Land cover characterization through parametric modeling of intra-annual reflectance time series: a comparative study with MERIS data
auteur
Hugo Carrão, Paulo Gonçalves, Mário Caetano
article
SPIE Europe Symposium on Remote Sensing, Sep 2007, Firenze, Italy
Accès au bibtex
BibTex
titre
Complex Multiply-Add and Other Related Operators
auteur
Milos Ercegovac, Jean-Michel Muller
article
SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00167372/file/spie07-complex-ops.pdf BibTex
titre
An evaluation of the NAP protocol for IPv6 router auto-configuration
auteur
Guillaume Chelius, Eric Fleury, Bruno Sericola, Laurent Toutain, David Binet
article
SIGCOMM 2007 Workshop "IPv6 and the Future of the Internet", ACM, Aug 2007, Kyoto, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397017/file/1569041157.pdf BibTex
titre
Improved Analysis of Kannan's Shortest Lattice Vector Algorithm
auteur
Guillaume Hanrot, Damien Stehlé
article
Advances in Cryptology - Crypto'07, Aug 2007, Santa Barbara, United States. pp.170-186, ⟨10.1007/978-3-540-74143-5_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00145049/file/RR-6186.pdf BibTex
titre
Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
auteur
Alin Bostan, Claude-Pierre Jeannerod, Éric Schost
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2007, Waterloo, Canada. pp.33, ⟨10.1145/1277548.1277554⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03420744/file/BoJeSc07.pdf BibTex
titre
Faster floating-point square root for integer processors
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
2007 International Symposium on Industrial Embedded Systems, Jul 2007, Lisbon, Portugal. pp.324-327, ⟨10.1109/SIES.2007.4297353⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03424131/file/sqrt-SIES2007.pdf BibTex
titre
Characterizations of Flip-Accessibility for Domino Tilings of the Whole Plane
auteur
Olivier Bodini, Thomas Fernique, Éric Rémila
article
FPSAC 2007 - 19th international conference on Formal Power Series and Algebraic Combinatorics, Jul 2007, Tianjin, China. pp.10
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00149373/file/bfr7.pdf BibTex
titre
There Exist some Omega-Powers of Any Borel Rank
auteur
Dominique Lecomte, Olivier Finkel
article
16th EACSL Annual Conference on Computer Science and Logic, CSL 2007, September 11-15, 2007, Lausanne, Switzerland. pp.115-129
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00157204/file/CSL-07.pdf BibTex
titre
Return of the hardware floating-point elementary function
auteur
Jérémie Detrey, Florent de Dinechin, Xavier Pujol
article
18th Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.161-168
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00117386/file/RRExpLog.pdf BibTex
titre
Efficient polynomial $L^{\infty}$-approximations
auteur
Nicolas Brisebarre, Sylvain Chevillard
article
18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00119513/file/RR-6060.pdf BibTex
titre
Long-Range Dependence and On-chip Processor Traffic
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
ReCoSoc 2007: Reconfigurable Communication-centric SoCs, Jun 2007, Montpellier, France. pp.8
Accès au bibtex
BibTex
titre
Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE
auteur
Christophe Alias, Fabrice Baray, Alain Darte
article
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03106126/file/lctes2007.pdf BibTex
titre
Floating-Point $L^2$-Approximations
auteur
Nicolas Brisebarre, Guillaume Hanrot
article
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00119254/file/RR-6058.pdf BibTex
titre
eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded System
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
From Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp.1-6, ⟨10.1109/WOWMOM.2007.4351799⟩
Accès au bibtex
BibTex
titre
Worst Cases of a Periodic Function for Large Arguments
auteur
Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
article
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00126474/file/RR-6106.pdf BibTex
titre
Survey and Benchmark of Stream Ciphers for Wireless Sensor Networks
auteur
Nicolas Fournel, Marine Minier, Stéphane Ubéda
article
Workshop on Information Security Theory and Pratice, May 2007, Heraklion, Greece. pp.202-214, ⟨10.1007/978-3-540-72354-7⟩
Accès au bibtex
BibTex
titre
A distributed policy scheduling for wireless sensor networks.
auteur
Yu Chen, Eric Fleury
article
26th Annual IEEE Conference on Computer Communications IEEE INFOCOM 2007, May 2007, Anchorage, United States
Accès au bibtex
BibTex
titre
Gestion dynamique de la bande passante dans les réseaux ad hoc multi-sauts
auteur
Cheikh Sarr, Isabelle Guérin-Lassous
article
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.13-16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176962/file/63-DRBT.pdf BibTex
titre
Loi de puissance et caractérisation des réseaux dynamiques
auteur
Eric Fleury, Jean-Loup Guillaume, Céline Robardet, Antoine Scherrer
article
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.17-20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176964/file/65-fleury-algotel.pdf BibTex
titre
Worldsens: development and prototyping tools for application specific wireless sensors networks
auteur
Antoine Fraboulet, Guillaume Chelius, Eric Fleury
article
6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), ACM/IEEE, Apr 2007, Cambridge, United States. pp.176-185, ⟨10.1145/1236360.1236385⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00384835/file/ipsn-07.pdf BibTex
titre
Fractal dimension estimation: empirical mode decomposition versus wavelets
auteur
Paulo Gonçalves, Patrice Abry, Gabriel Rilling, Patrick Flandrin
article
IEEE Int. Conf. on Acoust. Speech and Sig. Proc., Apr 2007, Honolulu, Hawaii, United States
Accès au bibtex
BibTex
titre
A Characterization of Flip-Accessibility for Rhombus Tilings of the Whole Plane
auteur
Olivier Bodini, Thomas Fernique, Éric Rémila
article
LATA 2007 - 1st International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragona, Spain. pp.139-150
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00149368/file/bfr.pdf BibTex
titre
Autonomic management architecture for flexible Grid services deployment based on policies
auteur
Edgar Magaña, Laurent Lefèvre, Joan Serrat
article
ARCS 2007 : Architecture of Computing Systems, Mar 2007, Zurich, Switzerland. pp.157-170, ⟨10.1007/978-3-540-71270-1_12⟩
Accès au bibtex
BibTex
titre
Worldsens: a fast and accurate development framework for sensor network applications
auteur
Guillaume Chelius, Antoine Fraboulet, Eric Fleury
article
Symposium on Applied Computing (SAC 2007), ACM, Mar 2007, Seoul, South Korea. pp.222-226, ⟨10.1145/1244002.1244059⟩
Accès au bibtex
BibTex
titre
Analysis of Scheduling Algorithms with Reservations
auteur
Lionel Eyraud-Dubois, Grégory Mounié, Denis Trystram
article
IPDPS 2007, Mar 2007, Long Beach, California, United States. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00186786/file/reservations_ipdps.pdf BibTex
titre
Cosmological Simulations using Grid Middleware
auteur
Yves Caniou, Eddy Caron, Helene M. Courtois, Benjamin Depardon, Romain Teyssier
article
Fourth High-Performance Grid Computing Workshop (HPGrid'07), Mar 2007, Long Beach, United States
Accès au bibtex
BibTex
titre
Amélioration de la précision pour l'estimation de la bande passante résiduelle dans les réseaux ad hoc basés sur IEEE 802.11
auteur
Cheikh Sarr, Claude Chaudet, Guillaume Chelius, Isabelle Guérin-Lassous
article
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.87-96
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01117821/file/ACTES_JDIR_2007-11.pdf BibTex
titre
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
auteur
Daniel Hirschkoff, Damien Pous
article
FoSSaCS, 2007, Braga, Portugal. ⟨10.1007/978-3-540-71389-0_17⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00089219/file/hp.pdf BibTex
titre
Mapping pipeline skeletons onto heterogeneous platforms
auteur
Anne Benoit, Yves Robert
article
ICCS'2007, the 7th International Conference on Computational Science, 2007, Unknown, China. pp.591-598, ⟨10.1016/j.jpdc.2007.11.004⟩
Accès au bibtex
BibTex
titre
Strategies for replica placement in tree networks
auteur
Anne Benoit, Veronika Rehn, Yves Robert
article
HCW'2007, the 16th Heterogeneous Computing Workshop, 2007, Unknown, United States. ⟨10.1109/IPDPS.2007.370331⟩
Accès au bibtex
BibTex
titre
Topology-Transparent Duty Cycling for Wireless Sensor Networks
auteur
Yu Chen, Eric Fleury
article
IEEE International Parallel & Distributed Processing Symposium (IPDPS 07), 2007, Long Beach, United States
Accès au bibtex
BibTex
titre
Scheduling communication requests traversing a switch: complexity and algorithms
auteur
Matthieu Gallet, Yves Robert, Frédéric Vivien
article
PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2007, Unknown, Italy. pp.39-46, ⟨10.1109/PDP.2007.73⟩
Accès au bibtex
BibTex
titre
Communities detection and analysis of their dynamics in collaborative networks
auteur
Manel Ben Jdidia, Céline Robardet, Eric Fleury
article
Dynamic Virtual Communities: From Connectivity to Information Society, 2007, Lyon, France
Accès au bibtex
BibTex
titre
Multi-criteria scheduling of pipeline workflows
auteur
Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article
HeteroPar'2007: International Conference on Heterogeneous Computing, jointly published with Cluster'2007, 2007, Unknown, United States. ⟨10.1109/CLUSTR.2007.4629278⟩
Accès au bibtex
https://arxiv.org/pdf/0706.4009 BibTex
titre
Backbone-based Scheduling for Data Dissemination in Wireless Sensor Networks with Mobile Sinks
auteur
Yu Chen, Eric Fleury
article
Fourth ACM SIGACT-SIGOPS International Workshop on Foundations of Mobile Computing (DIALM-POMC), 2007, Portland, United States
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
HeteroPar'2007: International Conference on Heterogeneous Computing, jointly published with Cluster'2007, 2007, Unknown, United States. ⟨10.1007/s00453-008-9229-4⟩
Accès au bibtex
BibTex
titre
Complete Lattices and Up-to Techniques
auteur
Damien Pous
article
5th Asian Symposium on Programming Languages and Systems, Joxan Jaffar, 2007, Singapore, Singapore. pp.351-366, ⟨10.1007/978-3-540-76637-7_24⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00155308/file/LIP-RR2007-30.pdf BibTex
titre
Fairness Issues When Transferring Large Volumes of Data on High Speed Networks With Router-Assisted Transport Protocols
auteur
Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article
High Speed Networks workshop (HSN'2007) in conjunction with 26th IEEE INFOCOM 2007, 2007, Anchorage, United States. pp
Accès au bibtex
BibTex
titre
Analysis of Dynamic Sensor Networks: Power Law Then What?
auteur
Eric Fleury, Jean-Loup Guillaume, Céline Robardet, Antoine Scherrer
article
Second International Conference on COMmunication Systems softWAre and middlewaRE (COMSWARE 2007), 2007, Bangalore, India
Accès au bibtex
BibTex
titre
Towards Real-Time Distributed Signal Modeling for Brain Machine Interfaces
auteur
Jack Digiovanna, Loris Marchal, Prapaporn Rattanatamrong, Ming Zhao, Shalom Darmanjian, Babak Mahmoudi, Justin Sanchez, José Príncipe, Linda Hermer-Vazquez, Renato Figueiredo, José Fortes
article
Proceedings of Dynamic Data Driven Application Systems (workshop of ICCS), 2007, Unknown, China. pp.964-971, ⟨10.1007/978-3-540-72584-8_127⟩
Accès au bibtex
BibTex
titre
Revisiting matrix product on master-worker platforms
auteur
Jack Dongarra, Jean-François Pineau, Yves Robert, Zhiao Shi, Frédéric Vivien
article
9th Workshop on Advances in Parallel and Distributed Computational Models APDCM 2007, 2007, Unknown, United States. ⟨10.1142/S0129054108006303⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00803519/file/apdcm_matmult.pdf BibTex
titre
Worldsens: Embedded Sensor Network Application Development and Deployment
auteur
Nicolas Fournel, Antoine Fraboulet, Guillaume Chelius, Eric Fleury, Bruno Allard, Olivier Brevet
article
26th Annual IEEE Conference on Computer Communications IEEE INFOCOM 2007, 2007, Anchorage, United States
Accès au bibtex
BibTex
titre
Voronet: A scalable object network based on voronoi tessellations.
auteur
Olivier Beaumont, Anne-Marie Kermarrec, Loris Marchal, Etienne Rivière
article
International Parallel and Distributed Processing Symposium -- IPDPS 2007, 2007, Long Beach, United States
Accès au bibtex
BibTex
titre
Scheduling and data redistribution strategies on star platforms
auteur
Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien
article
PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2007, Unknown, Italy. pp.288-295, ⟨10.1109/PDP.2007.72⟩
Accès au bibtex
https://arxiv.org/pdf/cs/0610131 BibTex
titre
Scheduling multiple divisible loads on a linear processor network
auteur
Matthieu Gallet, Yves Robert, Frédéric Vivien
article
ICPADS'2007, the 13th International Conference on Parallel and Distributed Systems, 2007, Unknown, Taiwan. ⟨10.1109/ICPADS.2007.4447768⟩
Accès au bibtex
BibTex
titre
Neighbor Discovery Analysis in Wireless Sensor Networks
auteur
Eric Fleury, Elyes Ben Hamida, Guillaume Chelius
article
First IRAMUS Workshop on radio interfaces for WSN and MANET networks, 2007, Val Thorens, France
Accès au bibtex
BibTex
titre
Reducing the I/O Volume in an Out-of-Core Sparse Multifrontal Solver
auteur
Emmanuel Agullo, Jean-Yves L'Excellent, Abdou Guermouche
article
High Performance Computing – HiPC 2007, 2007, India. pp.47-58
Accès au bibtex
BibTex
titre
On Reducing the I/O Volume in a Sparse Out-of-core Solver
auteur
Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article
HiPC'07 14th International Conference On High Performance Computing, 2007, Goa, India, India. pp.47-58
Accès au bibtex
BibTex
titre
Impact of QoS on replica placement in tree networks
auteur
Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article
ICCS'2007, the 7th 2007 International Conference on Computational Science, 2007, Unknown, China. pp.366-373, ⟨10.1007/978-3-540-72584-8_47⟩
Accès au bibtex
BibTex
titre
Towards a Clustering Based Data Diffusion Protocol In Delay Tolerant Networks
auteur
Sana Tmar, Eric Fleury
article
ACM CoNext 2007 - Student Workshop, 2007, New York, United States
Accès au bibtex
BibTex

Book sections

titre
Congestion Control in Multicast Communications
auteur
Cong-Duc Pham, Moufida Maimour
article
Abderrahim Benslimane. Multimedia Multicast on The Internet, ISTE - Hermès Science Publishing, 2007, chapter 7, 9781905209422
Accès au bibtex
BibTex
titre
Algorithmique parallèle
auteur
Michel Cosnard, Yves Robert
article
Jacky Akoka and Isabelle Comyn-Wattiau. Encyclopédie de l'Informatique et des Systèmes d'Information, Vuibert, pp.955-965, 2007
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special issue: Practical Aspects of High-Level Parallel Programming
auteur
Anne Benoit, Frédéric Loulergue
article
Benoit, Anne and Loulergue, Frédéric. Scalable Computing: Practice and Experience, 8(1), Warsaw School of Social Psychology, pp.35, 2007
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Matériel et logiciel pour l'évaluation de fonctions numériques : précision, performance et validation
auteur
Florent de Dinechin
article
Informatique [cs]. Université Claude Bernard - Lyon I, 2007
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00270151/file/HDR2007-01.pdf BibTex

Reports

titre
Large scale execution of a bioinformatic application on a volunteer grid
auteur
Viktors Bertis, Raphaël Bolze, Frédéric Desprez, Kevin Reed
article
[Research Report] LIP RR-2007-49, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102660/file/RR2007-49.pdf BibTex
titre
Evaluation des performances réseau dans le contexte de la virtualisation XEN
auteur
Pascale Primet, Olivier Mornard, Jean-Patrick Gelas
article
[Rapport de recherche] LIP RR-2008-01, Laboratoire de l'informatique du parallélisme. 2007, 2+12p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102656/file/RR2008-01.pdf BibTex
titre
XCP-i : "eXplicit Control Protocol" pour l'interconnexion de réseaux haut-débit hétérogènes
auteur
Dino M. Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article
[Rapport de recherche] LIP RR-2007-47, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102667/file/RR2007-47.pdf BibTex
titre
Lattice-Based Array Contraction: From Theory to Practice
auteur
Christophe Alias, Alain Darte, Fabrice Baray
article
[Research Report] LIP RR-2007-44, LIP - Laboratoire de l’Informatique du Parallélisme. 2007
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02127064/file/RR2007-44.pdf BibTex
titre
Optimizing latency and reliability of pipeline workflow applications
auteur
Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article
[Research Report] LIp RR-2007-43, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102604/file/RR2007-43.pdf BibTex
titre
Document d'aide au déploiement d'IPv6 sur Grid5000
auteur
Aurélien Cedeyn, Jean-Patrick Gelas, Olivier Mornard, Pascale Primet/vicat-Blanc
article
[Rapport de recherche] LIP TR-2007-01, Laboratoire de l'informatique du parallélisme. 2007, 2+8p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102755/file/LIP-TR2007-01.pdf BibTex
titre
TCP variants and transfer time predictability in very high speed networks
auteur
Romaric Guillier, Sébastien Soudan, Pascale Vicat-Blanc Primet
article
[Research Report] LIP RR-2007-37, Laboratoire de l'informatique du parallélisme. 2007, 2+25p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102601/file/RR2007-37.pdf BibTex
titre
Towards a user-oriented benchmark for transport protocols comparison in very high speed networks
auteur
Romaric Guillier, Ludovic Hablot, Pascale Vicat-Blanc Primet
article
[Research Report] LIP RR-2007-35, Laboratoire de l'informatique du parallélisme. 2007, 2+27p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102598/file/RR2007-35.pdf BibTex
titre
A certified infinite norm for the implementation of elementary functions
auteur
Sylvain Chevillard, Christoph Quirin Lauter
article
[Research Report] Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102507/file/RR2007-26.pdf BibTex
titre
Acyclicity of preferences, Nash equilibria, and subgame perfect equilibria : a formal and constructive equivalence
auteur
Stéphane Le Roux
article
[Research Report] LIP RR-2007-18, Laboratoire de l'informatique du parallélisme. 2007, 2+37p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102600/file/RR2007-18.pdf BibTex
titre
Comparison and tuning of MPI implementations in a grid context
auteur
Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article
[Research Report] LIP RR-2007-21, Laboratoire de l'informatique du parallélisme. 2007, 2+19p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102602/file/RR2007-21.pdf BibTex
titre
End-host based mechanisms for implementing flow scheduling in GridNetworks
auteur
Sébastien Soudan, Romaric Guillier, Pascale Primet
article
[Research Report] LIP RR-2007-24, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102599/file/RR2007-24.pdf BibTex
titre
Elementary transformation analysis for array-OL
auteur
Paul Feautrier
article
[Research Report] LIP RR-2007-28, Laboratoire de l'informatique du parallélisme. 2007, 2+7p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102502/file/RR2007-28.pdf BibTex
titre
Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
auteur
Stéphane Le Roux
article
[Research Report] LIP RR-2007-14, Laboratoire de l'informatique du parallélisme. 2007, 2+22p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102002/file/RR2007-14.pdf BibTex
titre
Cosmological Simulations using Grid Middleware
auteur
Yves Caniou, Eddy Caron, Benjamin Depardon, Helene M. Courtois, Romain Teyssier
article
[Research Report] RR2007-11, LIP - ENS Lyon. 2007
Accès au bibtex
BibTex
titre
Optimal Closest Policy with QoS and Bandwidth Constraints for Placing Replicas in Tree Networks.
auteur
Veronika Rehn
article
[Research Report] LIP RR-2007-10, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02101772/file/RR2007-10.pdf BibTex
titre
Arithmetic Operators for Pairing-Based Cryptography
auteur
Jean-Luc Beuchat, Nicolas Brisebarre, Jérémie Detrey, Eiji Okamoto
article
[Research Report] LIP RR-2007-13, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex
https://hal-lara.archives-ouvertes.fr/hal-02102042/file/RR2007-13.pdf BibTex
titre
Available Bandwidth Estimation for IEEE 802.11-based Ad Hoc networks
auteur
Cheikh Sarr, Claude Chaudet, Guillaume Chelius, Isabelle Guérin-Lassous
article
[Research Report] RR-6217, INRIA. 2007, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00154208/file/RR-6217.pdf BibTex
titre
Complexity results for throughput and latency optimization of replicated and data-parallel workflows
auteur
Anne Benoit, Yves Robert
article
[Research Report] RR-6308, LIP RR-2007-12, INRIA, LIP. 2007, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00175066/file/RR-INRIA-6308.pdf BibTex
titre
Towards a Parallel Out-of-core Multifrontal Solver: Preliminary Study
auteur
Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article
[Research Report] RR-6120, LIP RR 2007-06, INRIA, LIP. 2007, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00130278/file/RR-6120.pdf BibTex
titre
An Algorithmic Toolbox for Network Calculus
auteur
Anne Bouillard, Eric Thierry
article
[Research Report] RR-6094, INRIA. 2007, pp.44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00123643/file/RR-6094.pdf BibTex
titre
Comments on "Design and performance evaluation of load distribution strategies for multiple loads on heterogeneous linear daisy chain networks
auteur
Matthieu Gallet, Yves Robert, Frédéric Vivien
article
[Research Report] RR-6123, LIP RR-2007-07, INRIA, LIP. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00130294/file/RR-6123.pdf BibTex
titre
XCP-i : "eXplicit Control Protocol" pour l'interconnexion de réseaux haut-débit hétérogènes
auteur
Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article
[Rapport de recherche] INRIA. 2007, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00195634/file/RR-6385.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
[Research Report] RR-6297, LIP RR-2007-39, INRIA, LIP. 2007, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00173050/file/tpld_autostable.inria.pdf BibTex
titre
ACI sécurité informatique KAA (Key Authentification Ambient)
auteur
Samuel Galice, Veronique Legrand, Frédéric Le Mouël, Marine Minier, Stéphane Ubéda, Michel Morvan, Sylvain Sené, Laurent Guihéry, Agnès Rabagny, Joël Moret-Bailly, Jean-Philippe Neuville, Jérome Pousin
article
[Rapport de recherche] Centre national de la recherche scientifique (CNRS); INRIA; Ministère délégué à la Recherche et aux Nouvelles Technologies. 2007, 26 p
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01068297/file/rapport_de_recherche_aci_securite_informatique_kaa_1221483543661.pdf BibTex
titre
Graphs and Path Equilibria
auteur
Stéphane Le Roux
article
[Research Report] 2007, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00195379/file/graph_optim_report.pdf BibTex
titre
Cosmological Simulations using Grid Middleware
auteur
Yves Caniou, Eddy Caron, Benjamin Depardon, Hélène M. Courtois, Romain Teyssier
article
[Research Report] RR-6139, LIP RR-2007-11, INRIA, LIP. 2007, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00135189/file/RR-6139.pdf BibTex
titre
Fast Liveness Checking for SSA-Form Programs
auteur
Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît de Dinechin, Fabrice Rastello
article
[Research Report] 2007, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00192219/file/fast_liveness.pdf BibTex
titre
Comparison and tuning of MPI implementations in a grid context
auteur
Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article
[Research Report] INRIA. 2007, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00149411/file/RR-6200.pdf BibTex
titre
Fairness Issues When Transferring Large Volumes of Data on High Speed Networks With Router-Assisted Transport Protocols
auteur
Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article
[Research Report] RR-6386, LIP RR-2007-46, INRIA, LIP. 2007, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00195675/file/RR-6386.pdf 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
[Research Report] RR-6207, LIP RR-2007-22, INRIA, LIP. 2007, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00150588/file/RR-6207.pdf BibTex
titre
Multi-criteria scheduling of pipeline workflows
auteur
Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article
[Research Report] RR-6232, LIP RR-2007-32, INRIA. 2007, 2+17p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156732/file/RR-6232.pdf BibTex
titre
Elementary transformation analysis for Array-OL
auteur
Paul Feautrier
article
[Research Report] RR-6193, INRIA. 2007, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00146323/file/RR-6193.pdf BibTex
titre
Optimal Replica Placement in Tree Networks with QoS and Bandwidth Constraints and the Closest Allocation Policy
auteur
Veronika Rehn-Sonigo
article
[Research Report] RR-6233, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156747/file/RR-6233.pdf BibTex
titre
Some examples and counterexamples for (min,+) filtering operations
auteur
Anne Bouillard, Eric Thierry
article
[Research Report] RR-6095, INRIA. 2007, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00123709/file/RR-6095.pdf BibTex
titre
Estimating Average End-to-End Delays in IEEE 802.11 Multihop Wireless Networks
auteur
Cheikh Sarr, Isabelle Guérin-Lassous
article
[Research Report] RR-6259, INRIA. 2007, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00166017/file/RR-dean.pdf BibTex
titre
A First Step Towards Automatically Building Network Representations
auteur
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
article
[Research Report] LIP RR-2007-08, INRIA, LIP. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00130734/file/RR-6133.pdf BibTex
titre
Offline and Online Scheduling of Concurrent Bags-of-Tasks on Heterogeneous Platforms
auteur
Anne Benoit, Loris Marchal, Jean-François Pineau, Yves Robert, Frédéric Vivien
article
[Research Report] RR-6401, INRIA. 2007, pp.49
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00200261/file/RR-6401.pdf BibTex
titre
Discrete Non Neterminism and Nash Equilibria for Strategy-Based Games
auteur
Stéphane Le Roux
article
[Research Report] 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00195397/file/discrete_non_det_report.pdf BibTex
titre
Collective construction of numerical potential fields for the foraging problem
auteur
Olivier Simonin, François Charpillet, Eric Thierry
article
[Research Report] RR-6171, INRIA. 2007, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00143302/file/rrInriaSimonin.pdf BibTex
titre
End-host based mechanisms for implementing Flow Scheduling in GridNetworks
auteur
Sebastien Soudan, Romaric Guillier, Pascale Primet
article
[Research Report] INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00150334/file/RR.pdf BibTex
titre
Scheduling multiple divisible loads on a linear processor network
auteur
Matthieu Gallet, Yves Robert, Frédéric Vivien
article
[Research Report] RR-6235, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00158027/file/RR-6235.pdf BibTex
titre
Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence
auteur
Stéphane Le Roux
article
[Research Report] 2007, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00148103/file/slr_inria_RR2007-18.pdf BibTex
titre
On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies
auteur
Andreea Picu, Antoine Fraboulet, Eric Fleury
article
[University works] RR-6290, INRIA. 2007, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00172015/file/RR-6290.pdf BibTex
titre
Mapping pipeline skeletons onto heterogeneous platforms
auteur
Anne Benoit, Yves Robert
article
[Research Report] RR-6087, LIP RR-2007-05, INRIA, LIP. 2007, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00122884/file/RR-INRIA-6087.pdf BibTex

Theses

titre
Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
auteur
Dragisa Zunic
article
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2007. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00265549/file/DragisaThesis.pdf BibTex
titre
Graphes et hypergraphes : complexités algorithmique et algébrique
auteur
Laurent Lyaudet
article
Complexité [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00905137/file/these.pdf BibTex
titre
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves
auteur
Francisco Cháves
article
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00177109/file/thesis.pdf BibTex
titre
Opérateurs arithmétiques matériels pour des applications spécifiques
auteur
Nicolas Veyrat-Charvillon
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00438603/file/PhD2007-04.pdf BibTex
titre
Complexité en requêtes et symétries
auteur
Vincent Nesme
article
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00156762/file/these.pdf BibTex
titre
Systèmes de types purs et substitutions explicites
auteur
Romain Cyril Kervarc
article
Logique en informatique [cs.LO]. École normale supérieure de Lyon, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01232508/file/thesis_RCK.pdf BibTex

Preprints, Working Papers, ...

titre
Dynamic Logic of Common Knowledge in a Proof Assistant
auteur
Pierre Lescanne, Jérôme Puisségur
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00198782/file/main.pdf BibTex
titre
Coalescing Cellular Automata -- Synchronizing CA by Common Random Source and Varying Asynchronicity
auteur
Jean-Baptiste Rouquier, Michel Morvan
article
2007
Accès au bibtex
https://arxiv.org/pdf/0712.1992 BibTex
titre
On the construction of a family of transversal subspaces over finite fields
auteur
Alexander Chistov, Hervé Fournier, Pascal Koiran, Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00175872/file/sev.pdf BibTex
titre
Interpolation in Valiant's theory
auteur
Pascal Koiran, Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00175862/file/interpolation.pdf BibTex
titre
When FPGAs are better at floating-point than microprocessors
auteur
Florent de Dinechin, Jérémie Detrey, Octavian Creţ, Radu Tudoran
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00174627/file/DinechinDetreyCret.pdf BibTex
titre
FPGA-BASED COMPUTATION OF THE INDUCTANCE OF COILS USED FOR THE MAGNETIC STIMULATION OF THE NERVOUS SYSTEM
auteur
Ionuţ Trestian, Octavian Creţ, Laura Creţ, Lucia Văcariu, Radu Tudoran, Florent de Dinechin
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00169909/file/coils.pdf BibTex
titre
An efficient rounding boundary test for pow(x,y) in double precision
auteur
Christoph Lauter, Vincent Lefèvre
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00169409/file/power-rr.lip.pdf BibTex
titre
CP games : a tutorial
auteur
Pierre Lescanne
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00121361/file/tutorial.pdf BibTex
titre
The Complexity of two Problems on Arithmetic Circuits
auteur
Pascal Koiran, Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00167613/file/circuits.pdf BibTex
titre
VPSPACE and a transfer theorem over the complex field
auteur
Pascal Koiran, Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00153701/file/complex_rr.pdf BibTex
titre
Finding a Vector Orthogonal to Roughly Half a Collection of Vectors
auteur
Pierre Charbit, Emmanuel Jeandel, Pascal Koiran, Sylvain Perifel, Stéphan Thomassé
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00153736/file/vector.pdf BibTex
titre
Optimal routing for end-to-end guarantees: the price of multiplexing
auteur
Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00151655/file/rrlip2007-25.pdf BibTex
titre
Symmetry of information and nonuniform lower bounds
auteur
Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00119823/file/sym_info.pdf BibTex
titre
Computing Integer Powers in Floating-Point Arithmetic
auteur
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00150406/file/RRpower.pdf BibTex
titre
On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
auteur
Uffe Flarup, Pascal Koiran, Laurent Lyaudet
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00149062/file/formulas.pdf BibTex
titre
Some notes on the possible under/overflow of the most common elementary functions
auteur
Jean-Michel Muller, Vincent Lefèvre
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00149414/file/underflow.pdf BibTex
titre
Interoperability Testing for The GridRPC API Specification
auteur
Y. Tanimura, Keith Seymour, Eddy Caron, Abdelkader Amar, Hidemoto Nakada, Yoshio Tanaka, Frédéric Desprez
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01429586/file/GFD.102.pdf BibTex
titre
A study of stochastic 2D Minority CA : would wearing stripes be a fatality for snob people ?
auteur
Eric Thierry, Damien Regnault, Nicolas Schabanel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00140883/file/RRLIP2007-16.pdf BibTex
titre
Markov chain analysis of an agent based growth model
auteur
Eric Thierry, Bruno Gaujal, Laszlo Gulyas, Yuri Mansury
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00139268/file/RRLIP2007-15.pdf BibTex
titre
Bivariate Empirical Mode Decomposition
auteur
Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves, Jonathan M. Lilly
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00137611/file/manuscript.pdf BibTex
titre
VPSPACE and a Transfer Theorem over the Reals
auteur
Pascal Koiran, Sylvain Perifel
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00103018/file/reals.pdf BibTex
titre
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
auteur
Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00127807/file/eggsv07.pdf BibTex
titre
Certification of the QR factor R, and of lattice basis reducedness
auteur
Gilles Villard
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00127059/file/qr.pdf BibTex
titre
Solving Systems of Linear Equations in Complex Domain : Complex E-Method
auteur
Milos Ercegovac, Jean-Michel Muller
article
2007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00125369/file/ComplexEMethod.pdf BibTex