Sign in

Verified Lustre Normalization with Node Subsampling.

Timothy BourkePaul JeanmaireBasile PesinMarc 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