Specifying Java thread semantics using a uniform memory model.
Yue YangGanesh GopalakrishnanGary LindstromPublished in: Java Grande (2002)
Keyphrases
- computational model
- conceptual model
- statistical model
- prior knowledge
- management system
- databases
- formal model
- parameter estimation
- memory management
- database
- transformation rules
- experimental data
- mathematical model
- process model
- database applications
- source code
- probabilistic model
- hidden markov models
- artificial neural networks
- multi agent
- objective function
- similarity measure
- case study