Login / Signup
Realizing EQL Programs for Bounded-Time Execution.
Aloysius K. Mok
Rwo-Hsi Wang
Chih-Kan Wang
Published in:
J. Syst. Integr. (1996)
Keyphrases
</>
program execution
control flow
symbolic execution
execution model
database transactions
web services
data flow
databases
image sequences
control structures
application programs
fixpoint
plan execution
database
response time
multiscale
machine learning
data sets