Publications
Publications
Les résultats s'affichent par année, chaque type contient les trois dernières publications pour chaque type
2012 - Articles de conférence (8 résultats)
Design for Test and Reliability in Ultimate CMOS
Auteur(s) : M. Nicolaidis, L. Anghel, N. - E. Zergainoh, Y. Zorian, T. Karnik, K. Bowman, J. Tschanz, S.-L. Lu, C. Tokunaga, A. Raychowdhury, M. Khellah, J. Kulkarini, De Vivek, D. Avresky
Doc. Source: Design, Automation and Test in Europe (DATE'12), Dresden, Germany, March 12-16
Publisher : EDAA Publishing Association - CMP, Grenoble, France
Pages : 677-682
Detailed analysis of compilation options for robust software-based embedded systems
Auteur(s) : A. Wecxsteen, S. Bergaoui, R. Leveugle
Doc. Source: 13th Latin-American Test Workshop (LATW'12), Quito, Ecuador, April 11-13
Publisher : IEEE Computer Society
Pages : 188-193
Enhancing Non-Linear Kernels by an Optimized Memory Hierarchy in a High Level Synthesis Flow
Auteur(s) : S. Mancini, F. Rousseau
Doc. Source: Design, Automation and Test in Europe (DATE'12), Dresden, Germany, March 12-16
Publisher : EDAA Publishing Association - CMP, Grenoble, France
Pages : 1130-1133
2012 - Chapitre de livre (1 résultats)
Property-Based Dynamic Verification and Test
Auteur(s) : D. Borrione, K. Morin-Allory, Y. Oddos
Doc. Source: Design Technology for Heterogeneous Embedded Systems
Publisher : Springer
Pages : 157-176
2012 - Thèses (6 résultats)
« Compensation en fréquence des résonateurs MEMS pour des applications de référence de temps ».
Candidat : Y. Civet
Thèse de Doctorat : These de Doctorat,
Soutenance : 2012-05-16
« Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones ».
Candidat : A. Porcher
Thèse de Doctorat : These de Doctorat,
Soutenance : 2012-05-03
« Modélisation à haut niveau de systèmes hétérogènes, interfaçage analogique/numérique ».
Candidat : F. Cenni
Thèse de Doctorat : These de Doctorat,
Soutenance : 2012-04-06
