科学计算文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：510.71KB　文档页数：12

《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points

文档格式：PDF　文档大小：306.75KB　文档页数：15

《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

文档格式：PDF　文档大小：363.48KB　文档页数：53

《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

文档格式：PDF　文档大小：180.29KB　文档页数：10

《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs

文档格式：PDF　文档大小：490.02KB　文档页数：15

《计算机科学》相关教学资源（参考文献）A Program Logic for Concurrent Objects under Fair Scheduling

文档格式：PDF　文档大小：1.25MB　文档页数：21

《计算机科学》相关教学资源（参考文献）A Practical Verification Framework for Preemptive OS Kernels

文档格式：PDF　文档大小：1MB　文档页数：31

《计算机科学》相关教学资源（参考文献）Progress of Concurrent Objects with Partial Methods

文档格式：PDF　文档大小：371.36KB　文档页数：9

《计算机科学》相关教学资源（参考文献）POMP：Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining

文档格式：PDF　文档大小：7.98MB　文档页数：38

《计算机科学》相关教学资源（参考文献）Decay of Correlation in Spin Systems

文档格式：PPTX　文档大小：3.8MB　文档页数：47

1.1 计算机科学 1.2 计算与计算思维（*） 1.3 数与计算工具 1.4 计算理论（*） 1.5 典型问题的思维与算法（*） 1.6 信息社会与知识社会