Publications

Publications

Recherche

Auteur :
Mots clés :
Type de publications :
Journal art. Conference art. Chapitre de livre
Livres Thèses Brevets Rapports Tout
Date:
 année
 

Les résultats s'affichent par année, chaque type contient les trois dernières publications pour chaque type

2010 - Articles de journaux (3 résultats)

IIR digital filtering of non-uniformly sampled signals via state representation

Auteur(s) : L. Fesquet, B. Bidegaray-Fesquet

Journal : International Journal of Signal Processing

Volume : 90, n°10

Pages : 2811-2821

> abstract

RF Specification Test Compaction Using Learning Machines

Auteur(s) : H. Stratigopoulos, P. Drineas, M. Slamani , Y. Makris

Journal : IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Volume : 18, Issue 6

Pages : 998 - 1002

> abstract

Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers

Auteur(s) : K. Morin-Allory, M. Boulé, D. Borrione, Z. Zilic

Journal : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volume : Volume: 29 Issue:9

Pages : 1436 - 1448

> abstract

2010 - Articles de conférence (19 résultats)

A Design Flow for Critical Embedded Systems

Auteur(s) : V. Lefftz, J. Bertrand , H. Cassé, C. Clienti, P. Coussy, L. Maillet-Contoz, P. Mercier, P. Moreau, L. Pierre, E. Vaumorin

Doc. Source: Proc. IEEE Symposium on Industrial Embedded Systems (SIES’10), Trento, Italy, July 7-9

Publisher : IEEE Computer Society

Pages : 229 - 233

> abstract

Checkpoint and rollback recovery in network-on-chip based systems

Auteur(s) : C. Rusu, L. Anghel

Doc. Source: Student forum at 15th Asia and South Pacific Design Automation Conference (ASP-DAC’10), Taipei, Taiwan, January 18-21

Publisher : IEEE Computer Society

> abstract

Configurable Fault-Tolerant Link for Inter-die Communication in 3D on-Chip Networks

Auteur(s) : V. Pasca, L. Anghel, C. Rusu, M. Benabdenbi

Doc. Source: European Test Symposium (ETS'10), Prague, Czech Republic, May 24-28

Pages : 258

> abstract

2010 - Chapitre de livre (1 résultats)

ISIS: Runtime Verification of TLM Platforms

Auteur(s) : L. Ferro, L. Pierre

Doc. Source: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Selected Contributions from FDL'09)

Publisher : Springer

Pages : 213-226

> abstract

2010 - Livres (1 résultats)

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's

Auteur(s) : D. Borrione

Publisher : Springer

Pages : 290 p.

> abstract

2010 - Thèses (10 résultats)

« Tolérance aux fautes multi-niveau dans les réseaux sur puce ».

Candidat : C. Rusu

Directeur de thèse : M. Nicolaidis

Président du jury : F. Rousseau

Thèse de Doctorat : These de Doctorat, Grenoble INP

Spécialité : Micro et Nano Electronique

Soutenance : 2010-09-10

> abstract

« Stratégies de simulation rapides et algorithme adaptatif de contrôle de la tension et de la fréquence pour les MPSoCs basse consommation ».

Candidat : M. Gligor

Directeur de thèse : F. Pétrot

Président du jury : O. Gruber

Thèse de Doctorat : These de Doctorat, Institut National Polytechnique de Grenoble - INPG

Spécialité : Micro et Nano Electronique

Soutenance : 2010-09-09

> abstract

« Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects ».

Candidat : K. Alsayeg

Directeur de thèse : M. Renaudin

Président du jury : I. O'connor

Thèse de Doctorat : These de Doctorat, Grenoble INP

Spécialité : Microélectronique

Soutenance : 2010-09-01

> abstract