Login / Signup
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems.
Syed Ali Asadullah Bukhari
Faiq Khalid Lodhi
Osman Hasan
Muhammad Shafique
Jörg Henkel
Published in:
Sci. Comput. Program. (2017)
Keyphrases
</>
formal analysis
learning algorithm
computational cost
theoretical analysis
formal methods
information systems
computationally efficient
mathematical models
artificial intelligence
decision trees
significant improvement
lightweight
building blocks
machine learning algorithms
complex systems
agent model