Verifying shadow page table algorithms.
Eyad AlkassarErnie CohenMark A. HillebrandMikhail KovalevWolfgang J. PaulPublished in: FMCAD (2010)
Keyphrases
- database
- learning algorithm
- theoretical analysis
- recently developed
- orders of magnitude
- benchmark datasets
- worst case
- machine learning
- computationally efficient
- computational cost
- website
- significant improvement
- video sequences
- keywords
- reinforcement learning
- times faster
- combinatorial optimization
- computer vision
- convergence rate