Telecharger Cours

Mechanized Semantics and Verified Compilation for a Dataflow ...

La conception des systèmes multiprocesseurs mono-puce (MPSOC) est devenue de plus en plus complexe et très coûteuse. Afin de pouvoir maîtriser la complexité ...



Download