Annotating executable DSLs with energy estimation formulas.

Thibault Béziers la Fosse Massimo Tisi Jean-Marie Mottu Gerson Sunyé

Published in: SLE (2020)

Keyphrases

estimation accuracy
metadata
minimum energy
high energy
relational databases
energy consumption
energy minimization
estimation algorithm
formal specification
accurate estimation
information systems
density estimation
monte carlo simulation
horn clauses
low energy
solar energy