1 Introduction 2 Background 3 Basic Technical Settings 4 Linearizability and Contextual Refinement 5 Progress Properties 6 Progress-Aware Abstraction 7 Verifying Progress of Concurrent Objects 8 Related Work 9 Conclusion and Future Work Acknowledgements References
文件格式: PDF大小: 1.21MB页数: 136
Progress of Concurrent Objects with Partial Methods（Extended Version）
文件格式: PDF大小: 1.77MB页数: 149
《数字信号处理》教学参考资料（MATLAB 5手册）附录C MATLAB工具箱和SIMULINK
文件格式: PDF大小: 331.81KB页数: 4
《数字信号处理》教学参考资料（MATLAB 5手册）附录B 线性代数中的定义和基本概念
文件格式: PDF大小: 309.88KB页数: 10
《数字信号处理》教学参考资料（MATLAB 5手册）附录A MATLAB初步
文件格式: PDF大小: 448.46KB页数: 13