C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A static scheduling approach to enable safety-critical OpenMP applications.
Alessandra Melani
Maria A. Serrano
Marko Bertogna
Isabella Cerutti
Eduardo Quiñones
Giorgio C. Buttazzo
Published in:
ASP-DAC (2017)
Keyphrases
</>
safety critical
fault tolerant
formal methods
agent architecture
safety analysis
embedded systems
nuclear power plant
adaptive systems
regulatory requirements
support systems
artificial intelligence
decision making
shared memory
real time
medical images