Skip to Main content Skip to Navigation

inria-00000284v1  Conference papers
Franck CappelloFrédéric DesprezMichel DaydéEmmanuel JeannotYvon Jégou et al.  Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
inria-00000374v1  Conference papers
Olivier DevillersHazel EverettSylvain LazardMaria PentchevaStephen Wismath. Drawing $K_n$ in Three Dimensions with One Bend per Edge
13th International Symposium on Graph Drawing - GD'2005, Sep 2005, University of Limerick, Ireland
inria-00000569v1  Conference papers
Olivier DevillersVida DujmovicHazel EverettSamuel HornusSteve Wismath et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
17th Canadian Conference on Computational Geometry - CCCG'2005, Aug 2005, Windsor, Canada
inria-00000612v1  Conference papers
Mohamed EssaïdiJens Gustedt. An experimental validation of the PRO model for parallel and distributed computation
14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), Feb 2006, Montbeliard-Sochaux, France. pp.449-456
inria-00000632v1  Conference papers
Gilles BartheLeonor Prensa Nieto. Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
2nd ACM Workshop on Formal Methods in Security Engineering - FMSE'2004, Michael Backes, David Basin, and Michael Waidner, Oct 2004, Washington D.C./USA, pp.13-22, ⟨10.1145/1029133.1029136⟩
inria-00000817v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
inria-00098807v1  Conference papers
Eitan AltmanSandjai BhulaiBruno GaujalArie Hordijk. Optimal Routing to M parallel queues with no buffers
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
inria-00099128v1  Conference papers
Eitan AltmanBruno GaujalArie Hordijk. Simplex convexity with application to open-loop stochastic control in networks
39th Conference on Decision & Control, 2000, Sydney/Australia, 6 p
inria-00099411v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. The rho cube : some results, some problems
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
inria-00099700v1  Conference papers
Abdessamad IminePascal MolliGérald OsterPascal Urso. VOTE: Group Editors Analyzing Tool
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
inria-00100135v1  Conference papers
Bruno GaujalEmmanuel HyonAlain Jean-Marie. Optimal routing in two parallel queues
WODES'04: 7th Workshop on Discrete Event Systems, 2004, Reims, France. pp.6
inria-00100583v1  Conference papers
David DaneyIoannis Z. Emiris. Robust parallel robot calibration with partial information.
IEEE International Conference on Robotics and Automation - ICRA'2001, 2001, Corée, Séoul, 6 p
inria-00100584v1  Conference papers
David DaneyIoannis Z. Emiris. Variable elimination for reliable parallel robot calibration
In 2nd Workshop on Computational Kinematics - CK'2001, School of Mechanical and Aerospace Engineering, 2001, Seoul, Korea, 12 p
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
inria-00103256v1  Conference papers
Frédéric AlexandreNicolas RougierThierry Viéville. A regularization process to implement self-organizing neuronal networks
International Conference on Engineering and Mathematics - ENMA 2006, Jul 2006, Bilbao/Spain
inria-00107628v1  Conference papers
Rim Al HulouOlivier CorbyRose Dieng-KuntzJérôme EuzenatCarolina Ramirez et al.  Three knowledge representation formalisms for content-based manipulation of documents
Workshop on Semantic Web - SemWeb@KR2002, Apr 2002, Toulouse, France, 8 p
inria-00107698v1  Conference papers
Pascal BerthoméJohanne CohenThierry Mautor. Optimisation des ressources utilisées pour une diffusion
5ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'2003, Feb 2003, Avignon, France, 2 p
inria-00107877v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi Liquori. The Rho Cube
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
inria-00108057v1  Conference papers
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Optimal Sequencing of Contract Algorithms
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
inria-00138382v2  Conference papers
Laurent ThéryGuillaume Hanrot. Primality Proving with Elliptic Curves
TPHOL 2007, Sep 2007, Kaiserslautern, Germany. pp.319-333
hal-00166971v1  Conference papers
Cécile GermainVincent BretonPatrick ClarysseYann GaudeauTristan Glatard et al.  Grid-enabling medical image analysis
Cluster Computing and Grid 2005 (CCGrid05) Bio-Medical Computations on the Grid (Bio-Grid), May 2005, Cardiff, United Kingdom. pp.339-349, ⟨10.1007/s10877-005-0679-9⟩
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-00187253v1  Conference papers
Julien DemouthOlivier DevillersHazel EverettMarc GlisseSylvain Lazard et al.  Between umbra and penumbra
Proceedings of the 23rd Annual Symposium on Computational Geometry, Hee-Kap Ahn, Otfried Cheong, and Kyung-Yong Chwa, Jun 2007, Gyeongju, South Korea. pp.265-274, ⟨10.1145/1247069.1247117⟩
inria-00103995v1  Conference papers
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  The Number of Lines Tangent to Arbitrary Convex Polyhedra in 3D
Proceedings of the 20th Annual Symposium on Computational Geometry, Jun 2004, Brooklyn, NY, United States. pp.46 - 55, ⟨10.1145/997817.997827⟩
inria-00331435v1  Conference papers
Julien DemouthOlivier DevillersMarc GlisseXavier Goaoc. Helly-type theorems for approximate covering
SoCG 2008 - 24th Annual Symposium on Computational Geometry, Jun 2008, College Park, Maryland, United States. pp.120--128
hal-00331541v1  Conference papers
Bruno CessacHoracio RostroJuan Carlos VasquezThierry Viéville. Statistics of spikes trains, synaptic plasticity and Gibbs distributions.
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-00331567v1  Conference papers
Bruno CessacHoracio RostroJuan Carlos VasquezThierry Viéville. To which extend is the "neural code'' a metric ?
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France
hal-00331587v1  Conference papers
Sandrine ChemlaThierry ViévilleFrédéric Chavane. Biophysical cortical column model for optical signal analysis
Deuxième conférence française de Neurosciences Computationnelles, "Neurocomp08", Oct 2008, Marseille, France