Dynamic Verification of C++ Generic Algorithms.
Changqing WangDavid R. MusserPublished in: IEEE Trans. Software Eng. (1997)
Keyphrases
- dynamic environments
- computational cost
- orders of magnitude
- databases
- recently developed
- petri net
- computationally efficient
- significant improvement
- data structure
- optimization problems
- computational complexity
- theoretical analysis
- machine learning algorithms
- image sequences
- learning algorithm
- computationally expensive
- real time
- graph theory