Login / Signup
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Yu-Fang Chen
Carl Leonardsson
Ahmed Rezine
Published in:
TACAS (2013)
Keyphrases
</>
neural network
website
three dimensional
semi automatic
machine learning
genetic algorithm
artificial intelligence
multimedia
optimal solution
data driven
fully automatic
user friendly
highly accurate