Login / Signup
EMP: execution time measurement protocol for compute-bound programs.
Young-Kyoon Suh
Richard T. Snodgrass
John D. Kececioglu
Peter J. Downey
Robert S. Maier
Cheng Yi
Published in:
Softw. Pract. Exp. (2017)
Keyphrases
</>
database transactions
control flow
program execution
execution model
upper bound
lightweight
lower bound
symbolic execution
integrity constraints
authentication protocol
response time
petri net
error bounds
multi party
transaction model
communication protocol
commit protocols