A Correctness Model for Pipelined Multiprocessors.
Phillip J. WindleyMichael L. CoePublished in: TPCD (1994)
Keyphrases
- formal model
- high level
- mathematical model
- computational model
- database systems
- prior knowledge
- probability distribution
- statistical model
- theoretical framework
- autoregressive
- data sets
- network model
- object model
- neural network model
- regression model
- parameter estimation
- management system
- cost function
- control system
- similarity measure
- image sequences