Verifying timing properties of concurrent algorithms.
Victor LuchangcoEkrem SöylemezStephen J. GarlandNancy A. LynchPublished in: FORTE (1994)
Keyphrases
- data structure
- recently developed
- computational cost
- neural network
- learning algorithm
- times faster
- orders of magnitude
- benchmark datasets
- computer vision algorithms
- databases
- computational efficiency
- machine learning algorithms
- theoretical analysis
- data mining techniques
- graphical models
- worst case
- multi objective
- search algorithm
- artificial intelligence
- genetic algorithm