Communication Dans Un Congrès
Année : 2017
Sébastien Faucou : 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 : mardi 27 août 2024-12:48:38
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
128
Consultations
0
Téléchargements