搜索结果: 1-2 共查到“工学 Atomicity”相关记录2条 . 查询时间(0.093 秒)
Testing Atomicity of Composed Concurrent Operations
concurrency linearizability testing composed operations collections
2016/5/24
Testing Atomicity of Composed Concurrent Operations.
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...