Open AccessModel-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems
Author(s) -
Christophe Honvault,
Jérôme Hugues,
Claire Pagetti
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , design space exploration , key (lock) , context (archaeology) , correctness , hypervisor , process (computing) , core (optical fiber) , set (abstract data type) , aerospace , computer architecture , distributed computing , embedded system , operating system , programming language , engineering , virtualization , cloud computing , telecommunications , paleontology , biology , aerospace engineering