Communication Dans Un Congrès
Année : 2017
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01713094
Soumis le : mardi 20 février 2018-10:50:15
Dernière modification le : lundi 19 janvier 2026-16:46:18
Citer
Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou. WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montréal, Canada. pp.64--78, ⟨10.1007/978-3-319-66176-6_5⟩. ⟨hal-01713094⟩
Collections
243
Consultations
0
Téléchargements