• FlexPRET real-time procesor v heterogenních systémech 

      Autor: Prasoon Dwivedi; Vedoucí práce: Košťál Martin; Oponent práce: da Costa Eduardo Augusto
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-25)
      Systémy se smíšenou kritičností, ve kterých jsou kombinovány úlohy s různou úrovní požadavků na bezpečnost mohou využívat sdílený hardware, aby snížili cenu systému, to však komplikuje návrh systému a jeho verifikaci. ...