Documents publiés en "2013"

Département de génie informatique et génie logiciel

Al-Akhras, S. I., Tahar, S., Nicolescu, G., Langevin, M., & Paulin, P. (décembre 2012). On the verification of a WiMax design using symbolic simulation [Communication écrite]. 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia. Publié dans Electronic Proceedings in Theoretical Computer Science, 122. Disponible

El-Mahi, O., Pesant, G., Nicolescu, G., & Beltrame, G. (octobre 2013). Embedded system verification through constraint-based scheduling [Communication écrite]. International Symposium on Rapid System Prototyping (RSP 2013), Montréal, Québec, Canada. Lien externe

Fourmigue, A., Beltrame, G., & Nicolescu, G. (mars 2013). Explicit transient thermal simulation of liquid-cooled 3D ICs [Communication écrite]. 16th Design, Automation and Test in Europe Conference and Exhibition (DATE 2013), Grenoble, France. Lien externe

Le Beux, S., O'Connor, I., Li, Z., Letartre, X., Monat, C., Trajkovic, J., & Nicolescu, G. (mai 2013). Potential and pitfalls of silicon photonics computing and interconnect [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2013), Beijing, China. Lien externe

Le Beux, S., O'Connor, I., Nicolescu, G., Bois, G., & Paulin, P. (2013). Reduction methods for adapting optical network on chip topologies to 3D architectures. Microprocessors and Microsystems, 37(1), 87-98. Lien externe