Zobrazeno 1 - 2
of 2
pro vyhledávání: '"formally verified compiler"'
Publikováno v:
IET Cyber-Physical Systems (2017)
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation. The present case study is performed on flight control software, for which saf
Externí odkaz:
https://doaj.org/article/f147b7058da8457ebc8722d0a0475b32
Publikováno v:
IET Cyber-Physical Systems (2017)
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation. The present case study is performed on flight control software, for which saf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83cf00cc20c5a665f9fb66cf490cd69c
https://mediatum.ub.tum.de/doc/1439808/document.pdf
https://mediatum.ub.tum.de/doc/1439808/document.pdf
