Login / Signup
Computing Exact Worst-Case Gas Consumption for Smart Contracts.
Matteo Marescotti
Martin Blicha
Antti E. J. Hyvärinen
Sepideh Asadi
Natasha Sharygina
Published in:
ISoLA (4) (2018)
Keyphrases
</>
worst case
average case
genetic algorithm
upper bound
supply chain
error bounds
sample size
genetic search
information retrieval
artificial intelligence
case study
np hard
wireless sensor networks
ubiquitous environments