Documents publiés en "2012"

B

Bhattacharya, N., El-Mahi, O., Duclos, E., Beltrame, G., Antoniol, G., Le Digabel, S., & Guéhéneuc, Y.-G. (septembre 2012). Optimizing threads schedule alignments to expose the interference bug pattern [Communication écrite]. 4th International Symposium on Search Based Software Engineering (SSBSE 2012), Riva del Garda, Italy. Lien externe

E

El-Mahi, O., Nicolescu, G., Pesant, G., & Beltrame, G. (novembre 2012). Embedded system verification through constraint-based scheduling [Communication écrite]. IEEE International High Level Design Validation and Test Workshop (HLDVT 2012), Huntington Beach, CA, USA. Lien externe