Title :
Table of contents
Abstract :
The following topics are dealt with: scheduling; high assurance software; high assurance hardware; MEMOCODE design; software contest and many core.
Keywords :
formal verification; multiprocessing systems; scheduling; MEMOCODE design; high assurance hardware; high assurance software; many core; scheduling; software contest;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
Conference_Location :
Lausanne
DOI :
10.1109/MEMCOD.2014.6961834
