Formal modeling of synchronization methods for concurrent objects in Ada 95.

Ravi K. Gedela Sol M. Shatz Haiping Xu

Published in: SIGAda (1999)

Keyphrases

significant improvement
benchmark datasets
qualitative and quantitative
empirical studies
machine learning
genetic algorithm
three dimensional
face recognition
computational cost
medical images
classification method
statistical models