Formal Derivation of Concurrent Garbage Collectors

Dusko Pavlovic Peter Pepper Douglas R. Smith

Published in: CoRR (2010)

Keyphrases

neural network
computer vision
formal model
formal specification
genetic algorithm
artificial intelligence
decision making
hidden markov models
formal analysis
formal models