DocumentCode
159070
Title
Table of contents
fYear
2014
fDate
19-21 Oct. 2014
Firstpage
1
Lastpage
3
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
Conference_Location
Lausanne
Type
conf
DOI
10.1109/MEMCOD.2014.6961834
Filename
6961834
Link To Document