Reproducible execution of POSIX programs with DiOS.
Petr RockaiZuzana BaranováJan MrázekKatarína KejstováJiri BarnatPublished in: Softw. Syst. Model. (2021)
Keyphrases
- control flow
- program execution
- symbolic execution
- database transactions
- computer programs
- data flow
- information systems
- execution model
- query processing
- database
- application programs
- multi agent
- evolutionary algorithm
- website
- fixpoint
- parallel execution
- computational grids
- artificial intelligence
- execution environment
- learning algorithm
- data mining