Sökning: "Kommunikationstid i Värsta Fall"
Hittade 1 uppsats innehållade orden Kommunikationstid i Värsta Fall.
1. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. LÄS MER
Resultatsidor:
1