Coopération

Séminaires


Philippe JORRAND, Directeur de Recherche au CNRS -Laboratoire LEIBNIZ, Grenoble

Theme: Informatique quantique : principes et algorithmes
Date: 03-01

> en savoir plus

MUNTEAN T. (Prof.), CNRS (TIMA) & Univ. de la Médtiterranée

Theme: Global Communicating Systems (A distributed refinement design model)
Date: Vendredi 15 décembre 2000

> en savoir plus

MARTINEZ S, TIMA

Theme: Silicon Micromachined Cross-Connects in Optical Networks
Date: Vendredi 15 décembre

> en savoir plus

LEVITAN (Dr Steven P.), Univ. of Pittsburgh

Theme: CAD Tools and Modeling Challenges for Optoelectronic Systems
Date: Vendredi 15 décembre

> en savoir plus

Prof. Saeyang YANG, SEVITS Technology Inc., Pusan, Korea (http://www.sevits.com)

Theme: Simulation + Emulation : A New Hope in Verification Crisis ?
Date: 26 October 2000

> en savoir plus

Prof. Jean-Luc LAMBERT, Valiosys SA, Caen, France

Theme: LPV: a new technique, based on linear programming, to formally prove or disprove safety properties on software and hardware systems
Date: 19 October 2000

> en savoir plus

Prof Marek TUDRUJ, Acad. Sc., Institute of Computer Science, Warsovia

Theme: Architectures for Time Transparent Control of Look-Ahead Dynamic Reconfiguration of Interprocessor Connections including the Multi-Bus Connection Switches for this purposes
Date: 10 October 2000

> en savoir plus

Gary SWIFT, California Institute of Technology, Passadena, California.

Theme: Measurements of the PowerPC750 Upset Susceptibility to Protons and Heavy Ions
Date: vendredi 15 septembre 2000 A 16H00

> en savoir plus

Prof. Krishnendu CHAKRABARTY, Duke University - USA

Theme: Optimization Problems in System-on-Chip Test Automation
Date: 28 juillet 2000

> en savoir plus