A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
Lei QiaoShaofeng LiHua YangMengfei YangPublished in: SETTA (2019)
Keyphrases
- modeling framework
- learning algorithm
- orders of magnitude
- theoretical analysis
- computationally efficient
- data structure
- main contribution
- significant improvement
- mathematical foundations
- computational cost
- web services
- theoretical framework
- data mining algorithms
- computational efficiency
- times faster
- modeling method
- data mining
- knowledge sharing and reuse