Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
Ilya SergeyAleksandar NanevskiAnindya BanerjeePublished in: CoRR (2014)
Keyphrases
- data structure
- benchmark datasets
- times faster
- orders of magnitude
- significant improvement
- computationally efficient
- computer vision algorithms
- computational efficiency
- real time
- computational cost
- learning algorithm
- worst case
- theoretical analysis
- computational complexity
- data mining algorithms
- classification algorithm
- social networks
- computationally expensive
- machine learning