A Semantic Model for Parallel Systems with Scheduling.

Published in: POPL (1975)

Keyphrases

high level
computational model
management system
probability distribution
mathematical model
database systems
cost function
statistical model
formal model
neural network
genetic algorithm
prior knowledge
em algorithm
experimental data