Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture

Complete list of metadatas

https://hal.univ-lorraine.fr/hal-01883115
Contributor : Camille Diou <>
Submitted on : Thursday, September 27, 2018 - 4:45:47 PM
Last modification on : Tuesday, March 19, 2019 - 4:50:20 PM

Links full text

Identifiers

Collections

Citation

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil, Camille Diou. Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. Agricultural Systems, Elsevier Masson, 2017, 5 (1), ⟨10.3390/systems5010017⟩. ⟨hal-01883115⟩

Share

Metrics

Record views

10