Verified Lustre Normalization with Node Subsampling.

Timothy Bourke Paul Jeanmaire Basile Pesin Marc Pouzet

Published in: ACM Trans. Embed. Comput. Syst. (2021)

Keyphrases

preprocessing
database
multistage
normalization method
real time
graph structure
data mining
machine learning
multi agent
search algorithm
multiresolution
dynamic programming