Open AccessVerification of MILS Partition Scheduling Module Using Layered Methods
Author(s) -
Yang Gao,
Xiaobo Yang,
Wensheng Guo,
Xiutai Lu
Publication year - 2021
Publication title -
international journal of future computer and communication
Language(s) - English
Resource type - Journals
ISSN - 2010-3751
DOI - 10.18178/ijfcc.2021.10.4.578
Subject(s) - computer science , partition (number theory) , scheduling (production processes) , parallel computing , distributed computing , programming language , mathematics , combinatorics , mathematical optimization