 |
 |
 |
|
|
||
|---|---|---|
| inria-00071370v1
Conference papers
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
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
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
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
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
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
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
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
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
Entity Ranking in Wikipedia the 23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Brazil |
||
| inria-00196306v1
Conference papers
Optimal Buffer Management Policies for Delay Tolerant Networks SECON, Jun 2008, San Francisco, United States. pp.10 |
||
| inria-00198543v1
Conference papers
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
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
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
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
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
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-00202744v1
Conference papers
Certified exact real arithmetic using co-induction in arbitrary integer base FLOPS 2008, Apr 2008, ISE, Japan |
||
| inria-00202795v1
Conference papers
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
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
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
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
SAT-MICRO: petit mais costaud ! JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.91-106 |
||
| inria-00202841v1
Conference papers
Gagner en passant à la corde JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.139-152 |
||
| inria-00202836v1
Conference papers
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
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
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
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 |
||
| hal-00213327v2
Conference papers
Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩ |
||
| inria-00216103v1
Conference papers
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
Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs STACS 2008, Feb 2008, Bordeaux, France. pp.181-192 |
||
| inria-00224999v1
Conference papers
A multithreaded communication engine for multicore architectures Communication Architecture for Clusters, Apr 2008, Miami, United States. ⟨10.1109/IPDPS.2008.4536139⟩ |
||
| ensl-00175903v2
Conference papers
Pushdown compression STACS 2008, Feb 2008, Bordeaux, France. pp.39-48 |
||
| inria-00232594v1
Conference papers
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
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
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⟩ |
||
| hal-00243123v1
Conference papers
Classes of Tree Homomorphisms with Decidable Preservation of Regularity FOSSACS'08, Apr 2008, Hungary. pp.127-141 |
||
| inria-00246564v1
Conference papers
Small Is Not Always Beautiful IPTPS'2008, Feb 2008, Tampa Bay, Florida, United States |
||
| hal-00250058v1
Conference papers
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
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
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
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
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
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
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
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
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
Performance Evaluation and Enhancement of Surface Coverage Relay Protocol IFIP Networking 2008, May 2008, Singapore, Singapore |
||
| inria-00257200v1
Conference papers
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
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
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
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
Fast parametric estimation for macroscopic traffic flow model 17th IFAC World Congress, 2008, Seoul, South Korea |
||
| inria-00259059v1
Conference papers
Distributed Monitoring of Peer-to-Peer Systems (demo) International Conference on Data Engineering, IEEE, Apr 2008, Cancun, Mexico |
||
| inria-00259544v1
Conference papers
Distributed Workflows for Multi-physics Applications in Aeronautics Computer Supported Collaborative Work in Design, Xian Jiao Tong University, Apr 2008, Xian, China |
||
| inria-00259944v1
Conference papers
A Schedulerless Semantics of TLM Models Written in SystemC via Translation into LOTOS Formal Methods, May 2008, Turku, Finland |
||
| hal-00260069v1
Conference papers
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
Poster : Prototype de Canal Caché dans le DNS Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France |
||
| inria-00260431v1
Conference papers
Web Page Rank Prediction with Markov Models WWW, Apr 2008, Beijing, China |
||
| hal-00260577v1
Conference papers
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
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
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
Interactive Out-Of-Core Texturing ACM SIGGRAPH Sketch Program, Jul 2008, Boston, United States |
||
| inria-00261398v1
Conference papers
Visual servoing set free from image processing IEEE Int. Conf. on Robotics and Automation, ICRA'08, IEEE, May 2008, Pasadena, United States |
||
| hal-00218271v1
Conference papers
On the Computation of the Topology of a Non-Reduced Implicit Space Curve ISSAC, Jul 2008, Linz, Austria. pp.47-54, ⟨10.1145/1390768.1390778⟩ |
||
| hal-00261630v1
Conference papers
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-00261891v1
Conference papers
Model-free control of shape memory alloys antagonistic actuators 17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM |
||
| inria-00262405v2
Conference papers
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
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
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 |
||
| inria-00263844v1
Conference papers
Estimation of longitudinal and lateral vehicle velocities: an algebraic approach 2008 American Control Conference, IFAC, Jun 2008, Seattle, United States |
||
| hal-00259950v2
Conference papers
Compressed Modular Matrix Multiplication MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140 |
||
| inria-00222039v1
Conference papers
A Real-Time Java Component Model ISORC 2008, May 2008, Orlando, United States. pp.281-288 |
||
| hal-00265006v1
Conference papers
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
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
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
Control of a remote system over network including delays and packet dropout 17th IFAC World Congress, IFAC, Jul 2008, Seoul, South Korea |
||
| inria-00266451v1
Conference papers
A gain scheduling strategy for the control and estimation of a remote robot via Internet CCC'08 - 27th Chinese Control Conference, Jul 2008, Kunming, Yunnan, China. ⟨10.1109/CHICC.2008.4605866⟩ |
||
| inria-00266452v1
Conference papers
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
A convolution approach for delay systems identification 17th IFAC World Congress, 2008, Séoul, South Korea |
||
| inria-00266535v1
Conference papers
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
É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 |
||
| inria-00266625v1
Conference papers
GVT: a platform to create virtual environments for procedural training IEEE Virtual Reality, Mar 2008, Reno, United States. pp.225--232, ⟨10.1109/VR.2008.4480778⟩ |
||
| hal-00267312v1
Conference papers
Intégration de contraintes dans les cartes auto-organisatrices EGC, Jan 2008, Nice, France. pp.643-648 |
||
| hal-00267032v1
Conference papers
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
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
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
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
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
Mixing Geometric and Radiometric Features for Change Classification SPIE, Electronic Imaging, Jan 2008, San Jose, United States |
||
| inria-00270172v1
Conference papers
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms Fundamental Approaches to Software Engineering, Mar 2008, Budapest, Hungary. ⟨10.1007/978-3-540-78743-3_20⟩ |
||
| inria-00270291v1
Conference papers
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
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
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-00270942v1
Conference papers
Component-based Access Control: Secure Software Composition through Static Analysis Software Composition, Mar 2008, Budapest, Hungary. pp.68-83, ⟨10.1007/978-3-540-78789-1_5⟩ |
||
| inria-00271301v1
Conference papers
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
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
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
Contract-based approach to analyze software components Workshop on UML&AADL @ ICECCS'08, 2008, Belfast, United Kingdom. pp.237-242 |
||
| inria-00272326v1
Conference papers
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⟩ |
||
|
|
||
