A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.

Sophia Drossopoulou Susan Eisenbach David Wragg

Published in: LICS (1999)

Keyphrases

mathematical model
formal model
high level
experimental data
cost function
management system
image sequences
control system
probabilistic model
statistical model
network model
real time
computational model
markov chain
artificial neural networks
expert systems
genetic algorithm