Validation of Securely Partitioned Systems over Multicore Architectures Based on XtratuM
Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal
2013-01-01
18 pages
Includes bibliographical references; Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
DASIA , DAta systems , Aerospace , ESA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automatic Functionality Assignment to AUTOSAR Multicore Distributed Architectures
SAE Technical Papers | 2016
|SAE Technical Papers | 2016
|RNN-Based Radio Resource Management on Multicore RISC-V Accelerator Architectures
BASE | 2021
|Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel
British Library Conference Proceedings | 2011
|