Login / Signup
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.
Guillaume Bertholon
Arthur Charguéraud
Thomas Koehler
Begatim Bytyqi
Damien Rouhling
Published in:
SOAP@PLDI (2024)
Keyphrases
</>
statistical analysis
data sets
multiscale
data analysis
artificial neural networks
image analysis
database
databases
real world
three dimensional
reinforcement learning
user interface
multiresolution
user interaction
web resources
data exploration