Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

Gilles Barthe Adrien Koutsos Solène Mirliaz David Pichardie Peter Schwabe

Published in: SAS (2022)

Keyphrases

artificial intelligence
domain specific
database
neural network
case study
data sets
databases
machine learning
web services
multiscale
statistical analysis
semantic network
semantic analysis