Login / Signup
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).
Eva Darulova
Anastasiia Izycheva
Fariha Nasir
Fabian Ritter
Heiko Becker
Robert Bastian
Published in:
TACAS (1) (2018)
Keyphrases
</>
analysis tool
optimization scheme
databases
statistical analysis
data sets
website
data analysis
visualization tool
machine learning
learning algorithm
expert systems
conceptual model
optimization methods
software tools
numerical analysis
knowledge discovery process