Using AI for Performance Verification of High-End Processors.

Raviv Gal Alex Goldin Wesam Ibraheem Yehuda Naveh

Published in: ICPE Companion (2019)

Keyphrases

high end
low end
computer systems
artificial intelligence
computing systems
mobile devices
frame rate
processing units
file system
machine learning
parallel architectures
databases
model checking
formal methods