z-logo
open-access-imgOpen Access
Verification of MILS Partition Scheduling Module Using Layered Methods
Author(s) -
Yang Gao,
Xia 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom