A low-level memory model and an accompanying reachability predicate.
Shaunak ChatterjeeShuvendu K. LahiriShaz QadeerZvonimir RakamaricPublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- low level
- high level
- computational model
- mathematical model
- statistical model
- prior knowledge
- theoretical framework
- database
- higher level
- probabilistic model
- computational models
- neural network model
- experimental data
- management system
- control system
- objective function
- database systems
- case study
- genetic algorithm
- neural network