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
lirmm-00196062v1  Conference papers
Mitsuhiro HayashibePhilippe PoignetDavid Guiraud. Nonlinear identification of skeletal muscle dynamics with sigma-point kalman filter for model-based FES
ICRA: International Conference on Robotics and Automation, May 2008, Pasadena, CA, United States. pp.2049-2054, ⟨10.1109/ROBOT.2008.4543508⟩
lirmm-00196066v1  Conference papers
Ferdinan WidjajaCheng Yap SheeW. T. LattWing Lok AuPhilippe Poignet et al.  Kalman filtering of accelerometer and electromyography data in pathological tremor sensing system
ICRA: International Conference on Robotics and Automation, May 2008, Pasadena, CA, United States. pp.3250-3255, ⟨10.1109/ROBOT.2008.4543706⟩
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
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
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
ensl-00175903v2  Conference papers
Pilar AlbertElvira MayordomoPhilippe MoserSylvain Perifel. Pushdown compression
STACS 2008, Feb 2008, Bordeaux, France. pp.39-48
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-00246115v1  Conference papers
Juliana BeldingReinier BrökerAndreas EngeKristin Lauter. Computing Hilbert Class Polynomials
ANTS-VIII - Eighth Algorithmic Number Theory Symposium, May 2008, Banff, Canada. pp.282-295