Publications
Publications
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
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
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
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
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
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
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
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.
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
« 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
« 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
