Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures
2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)(2019)
摘要
The following topics are dealt with: cloud computing; resource allocation; queueing theory; optimisation; storage management; cache storage; telecommunication network routing; parallel processing; virtual machines; learning (artificial intelligence).
更多查看译文
关键词
formal verification,concurrent programming,progress guarantees
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络