Search - Mathématiques, Informatique, Physique et Systèmes Access content directly

Filter your results

7 453 Results
Deposit type : Notice

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

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

Study of a Multi-Chip Circuit under CDM Stress

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

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

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

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

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

Retina for Pattern Matching in Standard O.6um CMOS Technology

Olivier Aubreton , Benaïssa Bellach , L.F.C. Lew Yan Voon , Bernard Lamalle , Patrick Gorria , et al.
Journal of Electronic Imaging, 2004, 13 (3), pp.559-569. ⟨10.1117/1.1762886⟩
Journal articles lirmm-00108571v1

Managing the Complexity of Human/Machine Interactions in Computerized Learning Environments: Guiding Command Process Through Orchestrations

Luc Trouche
International Journal of Computers for Mathematical Learning, 2004, 9 (3), pp.281-307. ⟨10.1007/s10758-004-3468-5⟩
Journal articles istex lirmm-00108584v1

Modèle de Contrôleur pour une Méthodologie de Conception Basée Composents

Robin Passama , David Andreu , Christophe Dony , Thérèse Libourel Rouge
JJCR'04 : Journées des Jeunes Chercheurs en Robotique, Sep 2004, Douai
Conference papers lirmm-00108662v1

Démarche MDA pour la Conception d'Applications SIG

André Miralles , Thérèse Libourel Rouge
OCM-SI'04 : Object Composants Modèles, May 2004, Biarritz, pp.9
Conference papers lirmm-00108668v1

Méthodologie de Conception pour les Systèmes d'Information Géographiques

André Miralles
Journées Doctiss'04, Mar 2004, Montpellier
Conference papers lirmm-00108678v1

Words in Number Theory

Jean-Paul Allouche , Valerie Berthe
J. Berstel;D. Perrin. Applied Combinatorics on Words, 105, Cambridge University Press, pp.520-578, 2006
Book sections lirmm-00102624v1

Introduction de Raisonnement dans un Outil de Gestion des Connaissances

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
06011, 2006, 84 p
Reports lirmm-00102706v1

OWL-SG : Un Sous-Langage pour la Famille OWL

Frédéric Comte , Michel Leclère , Marie-Laure Mugnier
Other publications lirmm-00106548v1

Design of a CMOS Micro Compass

Laurent Latorre
2nd PATENT-DfMM Summer School, Sep 2005
Conference papers lirmm-00106561v1

Test Engineering Education in Europe: The CRTC Experience Through the EuNICE-Test Project

Laurent Latorre , Yves Bertrand , Marie-Lise Flottes , Michel Robert
Achim Rettberg and Christophe Bobda. IFIP TC10 Working Conference: EduTech'05, Oct 2005, France. , pp.63-77, 2005
Conference poster lirmm-00106564v1

Reconstructing the Duplication History of Tandemly Repeated Sequences

Olivier Gascuel , Denis Bertrand , O. Elemento
O. Gascuel. Mathematics of Evolution and Phylogeny, Oxford University Press, pp.205-235, 2005, 0-19-856610-7
Book sections lirmm-00106580v1

Acquisition et Capitalisation de Connaissances en Génomique Fonctionnelle via les Nanotechnologies

Isabelle Mougenot , Yolande Ahronovitz , Thérèse Libourel Rouge
05062, 2005
Reports lirmm-00106660v1

Optimization Protocol Based on Low Power Metrics

Alexandre Verle , Alexis Landrault , Philippe Maurine , Nadine Azemard
IWLS: International Workshop on Logic Synthesis, Jun 2005, Lake Arrowhead Resort, CA, United States. pp.288-293
Conference papers lirmm-00106018v1

Edge Maximal Graphs of Branchwidth k

Christophe Paul , Jan Arne Telle
ICGT'05: International Conference on Graph Theory, 2005
Conference papers lirmm-00106051v1

Link-Time Static Analysis for Efficient Separate Compilation of Object-Oriented Languages

Jean Privat , Roland Ducournau
PASTE: Program Analysis for Software Tools and Engineering, Sep 2005, Lisbonne, Portugal
Conference papers lirmm-00106083v1