HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
inria-00071370v1  Conference papers
Ioannis Z. EmirisBernard MourrainElias Tsigaridas. Real Algebraic Numbers: Complexity Analysis and Experimentations
Reliable Implementations of Real Number Algorithms: Theory and Practice, 2008, Dagsthul, Germany. pp.57-82
...
inria-00142778v2  Conference papers
Olivier BeaumontPhilippe DuchonMiroslaw Korzeniowski. Heterogenous dating service with application to rumor spreading
IEEE International Symposium on Parallel and Distributed Processing, 2008. IPDPS 2008., IEEE, Apr 2008, Miami, FL, United States. pp 1--10, ⟨10.1109/IPDPS.2008.4536294⟩
...
inria-00163372v1  Conference papers
Raghav ArasAlain DutechFrançois Charpillet. Mixed Integer Linear Programming For Exact Finite-Horizon Planning In Decentralized Pomdps
The International Conference on Automated Planning and Scheduling - ICAPS 2007, Sep 2008, Providence / Rhode Island, United States. pp.18-25
...
inria-00176084v1  Conference papers
Pierre-Nicolas ClaussJens GustedtFrédéric Suter. Out-of-Core Wavefront Computations with Reduced Synchronization
16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2008, Toulouse, France. pp.293-300
...
inria-00176204v1  Conference papers
Olivier DevillersJeff EricksonXavier Goaoc. Empty-ellipse graphs
19th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'08), 2008, San Francisco, United States. pp.1249--1256
...
inria-00177533v1  Conference papers
Emmanuel JeannotLuiz Angelo Steffenel. Fast and Efficient Total Exchange on Two Clusters
13th International European Conference on Parallel and Distributed Computing - Euro-Par 2007, Aug 2008, Rennes, France. pp.848-857, ⟨10.1007/978-3-540-74466-5_91⟩
...
hal-00180138v1  Conference papers
Guillaume Melquiond. Proving bounds on real-valued functions with computations
International Joint Conference on Automated Reasoning, IJCAR 2008, Aug 2008, Sydney, Australia. pp.2--17, ⟨10.1007/978-3-540-71070-7_2⟩
hal-00185002v1  Conference papers
Inès MouakherJeanine SouquièresFrancis Alexandre. Protocol Verification in a Software Component-Based Approach
15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p
...
inria-00186403v1  Conference papers
Thi Lan LeMonique ThonnatAlain BoucherFrancois Bremond. A Query Language Combining Object Features and Semantic Events for Surveillance Video Retrieval
The International MultiMedia Modeling Conference (MMM'08), Jan 2008, Kyoto, Japan
...
inria-00189149v1  Conference papers
Anne-Marie VercoustreJames ThomJovan Pehcevski. Entity Ranking in Wikipedia
the 23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Brazil
...
inria-00198543v1  Conference papers
Guillaume Burel. A First-Order Representation of Pure Type Systems Using Superdeduction
23rd Annual IEEE Symposium on Logic In Computer Science, Jun 2008, Pittsburgh, PA, United States. pp.253-263, ⟨10.1109/LICS.2008.22⟩
...
inria-00199914v1  Conference papers
Nicolas CosteHubert GaravelHolger HermannsRichard HersemeuleYvain Thonnart et al.  Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures
Special Session at Design, Automation and Test in Europe DATE'08, Mar 2008, (Munich, German Munich, Germany, March 2008, France
lirmm-00199915v1  Conference papers
Anne-Elisabeth BaertVincent BoudetAlain Jean-Marie. Performance Analysis of Data Replication in Grid Delivery Networks
CISIS: Complex, Intelligent and Software Intensive Systems, Mar 2008, Barcelona, Spain. pp.369-374
inria-00200869v1  Conference papers
Hani AbdeenIlham AllouiStéphane DucasseDamien PolletMathieu Suen. Package Reference Fingerprint: a Rich and Compact Visualization to Understand Package Relationships
the 12th European Conference on Software Maintenance and Reengineering (CSMR 2008), Apr 2008, Athens, Greece. pp.213-222
...
inria-00201497v1  Conference papers
Carlos OlarteFrank D. Valencia. Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security
23rd Annual ACM Symposium on Applied Computing, ACM, Mar 2008, Fortaleza, Brazil
...
hal-00202453v1  Conference papers
Julien SiebertVincent ChevrierLaurent Ciarletta. Modélisation multimodèle des réseaux dynamiques : cas des réseaux pair-à-pair
9èmes Journées Doctorales en Informatique et Réseaux - JDIR'08, Jan 2008, Villeneuve d'Ascq, France
...
inria-00202795v1  Conference papers
Sidi Ould Biha. Formalisation des mathématiques : une preuve du théorème de Cayley-Hamilton
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.1-14
...
inria-00202808v1  Conference papers
Ioana Pasca. A Formal Verification for Kantorovitch's Theorem
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.15-30
...
inria-00202817v1  Conference papers
Boris Yakobowski. Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.63-78
...
inria-00202824v1  Conference papers
Cody Roux. Types Simples, Logique et Coercions Implicites
19e Journées Francophones des Langages Applicatifs - JFLA 2008, INRIA, Jan 2008, Etretat, France. pp.79-90
...
inria-00202831v1  Conference papers
Sylvain ConchonJohannes KanigStéphane Lescuyer. SAT-MICRO: petit mais costaud !
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.91-106
...
inria-00202841v1  Conference papers
Jean-Christophe Filliâtre. Gagner en passant à la corde
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.139-152
...
inria-00202836v1  Conference papers
Jean Duprat. Une axiomatique de la géométrie plane en Coq.
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.123-136
...
inria-00203188v1  Conference papers
François Broquedis. Exécution structurée d'applications OpenMP à grain fin sur architectures multicoeurs
18ème Rencontres Francophones du Parallélisme, Feb 2008, Fribourg, Suisse
...
ensl-00147245v2  Conference papers
Jacques DuparcOlivier Finkel. An omega-power of a context-free language which is Borel above Delta^0_omega
Foundations of the Formal Sciences V : Infinite Games, November 26-29, 2004, Bonn, Germany. pp.109-122
...
inria-00214137v1  Conference papers
Stéphane GenaudChoopan Rattanapoka. Large-Scale Experiment of Co-allocation Strategies for Peer-to-Peer SuperComputing in P2P-MPI
Fifth High-Performance Grid Computing Workshop in conjunction with 22nd IEEE International Parallel and Distributed Processing Symposium - IPDPS 2008, Apr 2008, Miami, United States
inria-00216103v1  Conference papers
Stéphane DucasseOscar NierstraszRoel WuytsAlexandre Bergel. User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits
Proceedings of 22nd International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), 2008, Montreal, Canada
...
hal-00221493v1  Conference papers
Eric Colin de VerdièreAlexander Schrijver. Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs
STACS 2008, Feb 2008, Bordeaux, France. pp.181-192
...
ensl-00175903v2  Conference papers
Pilar AlbertElvira MayordomoPhilippe MoserSylvain Perifel. Pushdown compression
STACS 2008, Feb 2008, Bordeaux, France. pp.39-48
...
inria-00232594v1  Conference papers
Sabine BarratAntoine Tabbone. Modèles graphiques pour la combinaison de descripteurs : application à la reconnaissance de symboles
16e congrès francophone AFRIF-AFIA Reconnaissance de Formes et Intelligence Artificielle - RFIA08, AFRIF / AFIA, Jan 2008, Amiens, France
...
inria-00232794v1  Conference papers
Jovan PehcevskiAnne-Marie VercoustreJames Thom. Exploiting Locality of Wikipedia Links in Entity Ranking
The 30th annual European Conference on Information Retrieval (ECIR), Apr 2008, Glasgow, Scotland, United Kingdom
...
hal-00232842v1  Conference papers
Nacer BoudjlidaHervé Panetto. Annotation of enterprise models for interoperability purposes
IEEE International Workshop on Advanced Information Systems for Enterprises, IWAISE'2008, Apr 2008, Constantine, Algeria. pp.11-17, ⟨10.1109/IWAISE.2008.15⟩
...
inria-00246564v1  Conference papers
Pawel MarciniakNikitas LiogkasArnaud LegoutEddie Kohler. Small Is Not Always Beautiful
IPTPS'2008, Feb 2008, Tampa Bay, Florida, United States
...
hal-00250058v1  Conference papers
Rémi VannierIsabelle Guérin-Lassous. Partage équitable de la bande passante dans les réseaux ad hoc
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
...
hal-00250166v1  Conference papers
Christelle CaillouetFabrice PeixHervé Rivano. Génération de colonnes pour le routage et l'ordonnancement dans les réseaux radio maillés
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP) - Best student paper award, Mar 2008, Les Arcs, France. pp.119-130
...
hal-00250194v1  Conference papers
Gilles TrédanAline Viana. Systèmes répartis à grande échelle: de l'anarchie à l'auto-structuration
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
...
hal-00250241v1  Conference papers
Karel HeurtefeuxFabrice Valois. Localisation collaborative pour réseaux de capteurs
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
...
hal-00250589v1  Conference papers
Pascale PrimetOlivier MornardJean-Patrick Gelas. Evaluation des performances réseau dans le contexte de la virtualisation
Colloque Francophone sur l'Ingénierie des Protcoles (CFIP), Mar 2008, Les Arcs, France
...
inria-00250900v1  Conference papers
Hassane AbouaïssaCédric Join. Modélisation macroscopique du flux de trafic basé sur l'estimation paramétrique des modèles bond graphs
7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes, MOSIM 08, Mar 2008, Paris, France
...
hal-00252068v1  Conference papers
Florence Le BerChristian Brassac. Modéliser l'entre deux dans l'organisation spatiale des exploitations agricoles
Journées Jean-Pierre Deffontaines, Apr 2008, Versailles, France
...
inria-00256215v1  Conference papers
Antoine GallaisJean Carle. Etude et extension des relais de couverture de surface dans les réseaux de capteurs
Colloque francophone sur l'ingénierie des protocoles (CFIP), Mar 2008, Les Arcs, France
...
inria-00256827v1  Conference papers
Loïc Cudennec. Un service hiérarchique distribué de partage de données pour grille
Rencontres francophones du Parallélisme (RenPar '18 ), Haute Ecole Spécialisée de Suisse Occidentale (HES-SO), Feb 2008, Fribourg, Suisse
inria-00256831v1  Conference papers
Antoine GallaisJean Carle. Performance Evaluation and Enhancement of Surface Coverage Relay Protocol
IFIP Networking 2008, May 2008, Singapore, Singapore
...
inria-00257200v1  Conference papers
Amir KrifaChadi BarakatThrasyvoulos Spyropoulos. An Optimal Joint Scheduling and Drop Policy for Delay Tolerant Networks
2nd IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications, 2008, Newport Beach / California, United States
...
inria-00257752v1  Conference papers
Stéphanie Moreaud. Impacts des effets NUMA sur les communications haute performance dans les grappes de calcul
18ème Rencontres Francophones du Parallélisme, Feb 2008, Fribourg, Suisse
...
hal-00257806v1  Conference papers
Jean-Dominique GascuelNicolas HolzschuchGabriel FournierBernard Péroche. Fast Non-Linear Projections using Graphics Hardware
I3D '08 - ACM Symposium on Interactive 3D Graphics and Games, Feb 2008, Redwood City, CA, United States. pp.107-114, ⟨10.1145/1342250.1342267⟩
...
hal-00250235v2  Conference papers
Cristian PopiOlivier Festor. Monitorage et journalisation dynamiques des topologies dans les réseaux ad-hoc
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2008, Mar 2008, Les Arcs, France
...
inria-00259032v1  Conference papers
Hassane AbouaïssaMichel FliessCédric Join. Fast parametric estimation for macroscopic traffic flow model
17th IFAC World Congress, 2008, Seoul, South Korea
...
inria-00259059v1  Conference papers
Serge AbiteboulBogdan MarinoiuPierre Bourhis. Distributed Monitoring of Peer-to-Peer Systems (demo)
International Conference on Data Engineering, IEEE, Apr 2008, Cancun, Mexico
...
inria-00259544v1  Conference papers
Toan NguyenJean-Antoine DesideriJacques Périaux. Distributed Workflows for Multi-physics Applications in Aeronautics
Computer Supported Collaborative Work in Design, Xian Jiao Tong University, Apr 2008, Xian, China
...
hal-00260069v1  Conference papers
Fadila KhadarDavid Simplot-Ryl. Poster: Modèlisation de protocoles MAC pour réseaux de capteurs à l'aide de chaînes de Markov
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
...
hal-00260329v1  Conference papers
Lucas NussbaumOlivier Richard. Poster : Prototype de Canal Caché dans le DNS
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
...
hal-00260577v1  Conference papers
Arnaud Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p
...
inria-00260697v1  Conference papers
Henri CasanovaArnaud LegrandMartin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments
10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom
...
inria-00260712v1  Conference papers
Benoît RobillardSandrine BlazyEric Soutil. Coloration avec préférences : complexité, inégalités valides et vérification formelle
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
...
inria-00260938v1  Conference papers
Tamy BoubekeurChristophe Schlick. Interactive Out-Of-Core Texturing
ACM SIGGRAPH Sketch Program, Jul 2008, Boston, United States
...
inria-00261398v1  Conference papers
Christophe CollewetEric MarchandFrançois Chaumette. Visual servoing set free from image processing
IEEE Int. Conf. on Robotics and Automation, ICRA'08, IEEE, May 2008, Pasadena, United States
...
hal-00261630v1  Conference papers
Samuel ColinArnaud LanoixOlga KouchnarenkoJeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP||B
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
...
inria-00262405v2  Conference papers
Florian SimatosPhilippe RobertFabrice Guillemin. A Queueing System for Modeling a File Sharing Principle
ACM Sigmetrics : International Conference on Measurement and Modeling of Computer Systems, Jun 2008, Annapolis, United States
...
inria-00262442v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixPatrick FarailM FilaliHubert Garavel et al.  Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p
...
inria-00263562v1  Conference papers
Emmanuel NauerYannick Toussaint. Classification dynamique par treillis de concepts pour la recherche d'information sur le web.
5ème Conférence de recherche en information et applications - CORIA 2008, Mar 2008, Trégastel, France. pp.71-86
...
hal-00259950v2  Conference papers
Jean-Guillaume DumasLaurent FousseBruno Salvy. Compressed Modular Matrix Multiplication
MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
...
inria-00222039v1  Conference papers
Ales PlsekPhilippe MerleLionel Seinturier. A Real-Time Java Component Model
ISORC 2008, May 2008, Orlando, United States. pp.281-288
...
hal-00265006v1  Conference papers
Lou FedonAntoine Cornuéjols. Comment optimiser A∗ adaptatif / Adaptive A∗ : how to best exploit past problem-solving episodes
Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
...
hal-00265370v1  Conference papers
Carolina Albea-SanchezFrancisco GordilloCarlos Canudas de Wit. Adaptive Control of the Boost Inverter with Load RL
IFAC WC 2008 - 17th IFAC World Congress, Jul 2008, Séoul, South Korea. pp.3316-3321
...
inria-00265652v1  Conference papers
Manabu TsukadaOlivier MehaniThierry Ernst. Simultaneous Usage of NEMO and MANET for Vehicular Communication
WEEDEV 2008: 1st Workshop on Experimental Evaluation and Deployment Experiences on Vehicular Networks in conjonction with TRIDENTCOM 2008, Mar 2008, Innsbruck, Austria
...
inria-00266450v1  Conference papers
Alexandre SeuretJean-Pierre Richard. Control of a remote system over network including delays and packet dropout
17th IFAC World Congress, IFAC, Jul 2008, Seoul, South Korea
...
inria-00266452v1  Conference papers
Wenjuan JiangJean-Pierre RichardArmand Toguyeni. Implementation of an Internet-based remote controller with guaranteed exponential stabilization
ICA'08 - 7th IEEE World Congress on Intelligent Control and Automation, Jun 2008, Chongqing, China. pp.4063 - 4068, ⟨10.1109/WCICA.2008.4594512⟩
...
inria-00266485v1  Conference papers
Lotfi BelkouraJean-Pierre RichardMichel Fliess. A convolution approach for delay systems identification
17th IFAC World Congress, 2008, Séoul, South Korea
...
inria-00266535v1  Conference papers
François PortetRené QuiniouMarie-Odile CordierGuy Carrault. Apprentissage d'arbre de décision pour le pilotage en ligne d'algorithmes de détection sur les électrocardiogrammes
16e conférence Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), Jan 2008, Amiens, France
...
inria-00266536v1  Conference papers
François PortetRené Quiniou. Échantillonnage progressif guidé pour stabiliser la courbe d'apprentissage
16e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
...
hal-00267032v1  Conference papers
Radhouène NejiGilles FleuryJ.-F. DeuxA. RahmouniG. Bassez et al.  Support Vector Driven Markov Random Fields towards DTI Segmentation of the Human Skeletal Muscle
ISBI International Symposium on Biomedical Imaging, May 2008, Paris, France. pp. 923-926, ⟨10.1109/ISBI.2008.4541148⟩
...
hal-00264911v1  Conference papers
Constantinos Makassikis. Distribution Large Echelle d'un Algorithme Financier de Contrôle Stochastique
RenPar'18, Feb 2008, Fribourg, Suisse. Proceeding on CD-ROM (8 p.)
...
inria-00268299v1  Conference papers
Carlos NogueraEllen van PaesschenCarlos Andrés ParraJohan Fabry. Context Distribution for Supporting Composition of Applications in Ubiquitous Computing
23rd Annual ACM Symposium on Applied Computing (SAC'08), Mar 2008, Fortaleza, Brazil. pp.1647-1648
...
inria-00269209v1  Conference papers
Mohamed El Mongi Ben GaïdDaniel SimonOlivier Sename. A Design Methodology for Weakly-Hard Real-Time Control
IFAC WC 2008 - 17th IFAC World Congress, IFAC, Jul 2008, Séoul, South Korea. pp.7
...
ensl-00269219v1  Conference papers
Nicolas BrisebarreFlorent de DinechinJean-Michel Muller. Integer and Floating-Point Constant Multipliers for FPGAs
International Conference on Application-Specific Systems, Architectures and Processors, 2008, IMEC, Jul 2008, Leuven, Belgium. pp.239-244, ⟨10.1109/ASAP.2008.4580184⟩
...
inria-00269853v1  Conference papers
Alexandre FournierXavier DescombesJosiane Zerubia. Mixing Geometric and Radiometric Features for Change Classification
SPIE, Electronic Imaging, Jan 2008, San Jose, United States
...
inria-00270291v1  Conference papers
Xavier Le GuillouLoïc Cudennec. Vers la classification darwinienne d'un processeur fossile
The Third Review of April Fool's day Transactions (RAFT'2008), Apr 2008, Grenoble, France. pp.9-21
...
inria-00270922v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Calculs d'unification sur les arbres de dérivation TAG
TALN'08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320--329
...
inria-00270941v1  Conference papers
Stéphane FrénotYvan RoyonPierre ParrendDenis Beras. Monitoring Scheduling for Home Gateways
IEEE/IFP network operations and management symposium, Apr 2008, Salvador de Bahia, Brazil. pp.411-416, ⟨10.1109/NOMS.2008.4575162⟩
...
inria-00271301v1  Conference papers
Emmanuel PietrigaCaroline Appert. Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
CHI '08: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, ACM, Apr 2008, Florence, Italy. ⟨10.1145/1357054.1357264⟩
...
ensl-00260279v2  Conference papers
Pascal KoiranJürgen LandesNatacha PortierPenghui Yao. Adversary lower bounds for nonadaptive quantum algorithms
WoLLIC 2008 15th Workshop on Logic, Language, Information and Computation, Jul 2008, Edinburgh, United Kingdom
...
inria-00271530v1  Conference papers
Guillaume DufrêneLionel Seinturier. Un ADL pour les Architectures Distribuées à Composants Hétérogènes
2ème Conférence Francophone sur les Architectures Logicielles, Mar 2008, Montréal, Canada. pp.79-90
...
inria-00271533v1  Conference papers
Abdelhafid ZitouniLionel SeinturierMahmoud Boufaida. Contract-based approach to analyze software components
Workshop on UML&AADL @ ICECCS'08, 2008, Belfast, United Kingdom. pp.237-242
...
inria-00272326v1  Conference papers
B.T. Thomas YeoTom VercauterenPierre FillardXavier PennecPolina Golland et al.  DTI Registration with Exact Finite-Strain Differential
IEEE International Symposium on Biomedical Imaging: From Nano to Macro (ISBI'08), May 2008, Paris, France. pp.700-703, ⟨10.1109/ISBI.2008.4541092⟩