Search - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly

Filter your results

11 964 Results
Page :
sorted by

From dependable computing systems to computing for integrated dependable systems?

 Karl-Erwin Grosspietsch , Jacob Abraham , Jürgen Maier , Hans-Dieter Kochs , Michael Nicolaidis , et al.
FTCS: Fault-Tolerant Computing Symposium, Jun 1998, Munich, Germany. pp.296-301, ⟨10.1109/FTCS.1998.689480⟩
Conference papers hal-00013844v1
Image document

EadGen, un environnement ouvert de production en ligne basé sur XML et XSL-T

 Marc Nanard , Jocelyne Nanard
Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Nov 2002, Villeurbanne, France. pp.157-165
Conference papers edutice-00000653v1

SEU testing of a novel hardened register implemented using standard CMOS technology

 Thierry Monnier , Fernand-Michel Roche , J. Cosculluela , Raoul Velazco
IEEE Transactions on Nuclear Science, 1999, 46 (6), pp.1440-1444. ⟨10.1109/23.819105⟩
Journal articles hal-00008234v1
Image document

Architectures des Accélérateurs de Traitement Flexibles pour les Systèmes sur Puce

 Pascal Benoit
Micro et nanotechnologies/Microélectronique. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩
Theses tel-00007352v1
Image document

Une Famille d'Additionneur Asynchrones CMOS à Temps de Calcul Dépendant de Données

 Robin Perrot , Nadine Azemard , Philippe Maurine
JNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, May 2006, Rennes, France. pp.469-472
Conference papers lirmm-00102842v1
Image document

Introducing a Framework-Oriented Approach to Develop an Intelligent Tutoring System

 Tho Toan Ly , Ruddy Lelouche
EdMedia'06: World Conference on Educational Multimedia, Hypermedia & Telecommunications, Jun 2006, Orlando, Florida, USA, pp.775-782
Conference papers lirmm-00102847v1
Image document

Pedagogical Resources Representation Conceptual Model

 Patitta Suksomboon , Danièle Hérin , Michel Sala
KICSS'06:The International Conference on KnowledgeInformation and Creativity Support Systems, Aug 2006, Ayutthaya (Thailand)
Conference papers lirmm-00102854v1
Image document

Characterization of the Best Discrete Approximation of a Line in the 3-Dimentional Space

 Jean-Luc Toutant
[Research Report] RR-06048, Lirmm. 2006, 10 p
Reports lirmm-00102872v1

Study of a Multi-Chip Circuit under CDM Stress

 Marie Lafont , Florence Azaïs , Pascal Nouet
06024, 2006, 20 p
Reports lirmm-00102726v1
Image document

Automatic Test Generation: A Use Case Driven Approach

 Clémentine Nebut , Franck Fleurey , Yves Le Traon , Jean-Marc Jézéquel
IEEE Transactions on Software Engineering, 2006, 32 (3), pp.140-155. ⟨10.1109/TSE.2006.22⟩
Journal articles lirmm-00102747v1

Interconnect Pitch for New Generation: Evolution due to Inductive Impact

 Jean-Etienne Lorival , Denis Deschacht , Yves Quéré , Thierry Le Gouguec , Fabrice Huret
IEEE Workshop on Signal Propagation on Interconnects, May 2006, Berlin, Germany. pp.193-196
Conference papers lirmm-00102769v1

Victim and Aggressor Line Electrical Modelisation in an Multicoupled Interconnect Environment for Transient Simulation

 Freddy Ponchel , Jean-François Legier , Erick Paleczny , Christophe Seguinot , Denis Deschacht
SPI: Signal Propagation on Interconnects, May 2006, Berlin, Germany. pp.249-251, ⟨10.1109/SPI.2006.289235⟩
Conference papers lirmm-00102776v1

Conception d'un FPGA Reconfigurable Dynamiquement à la Mémoire de Reconfiguration Non Volatile Magnétique

 Nicolas Bruchon , Lionel Torres , Gilles Sassatelli , Gaston Cambon
JNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, May 2006, Rennes, France
Conference papers lirmm-00102780v1
Image document

Acquisition de la Terminologie et Définition des Tâches à Effectuer, Deux Principales Indissociables

 Mathieu Roche
Rencontres Interdisciplinaires sur les Systèmes Complexes Naturels et Artificiels, Jan 2006, Rochebrune, Megève (France)
Conference papers lirmm-00102796v1
Image document

A Peer-to-Peer Normative System to Achieve Social Order

 Amandine Grizard , Laurent Vercouter , Tiberiu Stratulat , Guillaume Muller
COIN: Coordination, Organisation, Institutions and Norms in agent systems, Aug 2006, Riva del Garda, Italy. pp.274-289, ⟨10.1007/978-3-540-74459-7_18⟩
Conference papers lirmm-00102798v1
Image document

Topological Semantic for Hybrid Modal Logic and Spatial Logic

 Jean-Pierre Aubert
[Research Report] RR-06035, Lirmm. 2006, 8 p
Reports lirmm-00102807v1
Image document

Compression de Données de Test : Réduction du Nombre de Broches et Gain en Temps de Test

 Julien Dalmasso , Marie-Lise Flottes , Bruno Rouzeyre
JNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, May 2006, Rennes, France
Conference papers lirmm-00102830v1

Optimal Routing in two Parallel Queues with Exponential Service Times

 Bruno Gaujal , Emmanuel Hyon , Alain Jean-Marie
Journal of Economic Behavior and Organization, 2006, 16 (1), pp.71-107. ⟨10.1007/s10626-006-6179-3⟩
Journal articles lirmm-00102834v1
Image document

Preference Learning in Terminology Extraction: A ROC-based approach

 Jérôme Azé , Mathieu Roche , Yves Kodratoff , Michèle Sebag
2005, pp.209-219
Conference papers hal-00015665v1
Image document

A library of Taylor models for PVS automatic proof checker

 Francisco Cháves , Marc Daumas
Georgia Institute of Technology, 2006, Savannah, Georgia, pp.39-52
Conference papers hal-00018529v1
Image document

An Experiment on Mining Chemical Reaction Databases

 Sandra Berasaluce , Claude Laurenço , Amedeo Napoli , Gilles Niel
MCO 2004 - Modelling, Computation and Optimization in Information Systems and Management Sciences, Jul 2004, Metz, France. pp.535-542
Conference papers inria-00107778v1

Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns

 Florent Masseglia , Maguelonne Teisseire , Pascal Poncelet
TIME'04: 11th International Symposium on Temporal Representation and Reasoning, Jul 2004, Tatihou, Basse-Normandie (France), pp.87-95
Conference papers lirmm-00108888v1

An Efficient Scan Tree Design for Test Time Reduction

 Yannick Bonhomme , Tomohiro Yoneda , Hideo Fujiwara , Patrick Girard
ETS: European Test Symposium, May 2004, Ajaccio, Corsica, France. pp.174-179, ⟨10.1109/ETSYM.2004.1347657⟩
Conference papers lirmm-00108901v1

Modelling and Control of Human Paralysed Lower Limbs Under Functional Electrical Simulation (FES)

 David Guiraud , Philippe Poignet , Christine Azevedo Coste , Philippe Fraisse , Hassan El Makssoud , et al.
HLR: Humanoid and Legged Robots, Oct 2004, Metz, France
Conference papers lirmm-00108917v1

Digital and Analog System Testing: Fundamentals and New Challenges

 Michel Renovell
ICM'04: 16th International Conference on Microelectronics, Dec 2004, Tunis (Tunisia), pp.8-10
Conference papers lirmm-00108936v1

Crosstalk Evaluation: The Influence of Inductance and Routing Orientation

 Denis Deschacht , Alain Lopez
ICM: International Conference on Microelectronics, Dec 2004, Tunis, Tunisia. pp.185-188, ⟨10.1109/ICM.2004.1434241⟩
Conference papers lirmm-00108937v1

Cluster Validity Indices for Graph Partitioning

 François Boutin , Mountaz Hascoët
IV'04: 8th IEEE International Conference on Information Visualization, Jul 2004, London (UK), pp.376-381
Conference papers lirmm-00108948v1

Tiling a Pyramidal Polycube with Dominoes

 Olivier Bodini , Damien Jamet
Journées Montoises d'Informatique Théorique, 2004
Conference papers lirmm-00108961v1
Image document

Design of CMOS MEMS Based on Mechanical Resonators Using a RF Simulation Approach

 Laurent Latorre , Vincent Beroulle , Pascal Nouet
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004, 23 (6), pp.962-967. ⟨10.1109/TCAD.2004.828113⟩
Journal articles lirmm-00108542v1

Lattices and Multidimensional Words

 Valerie Berthe , R. Tijdeman
Theoretical Computer Science, 2004, 319 (1-3), pp.177-202. ⟨10.1016/j.tcs.2004.02.016⟩
Journal articles istex lirmm-00108554v1
Page :