计算机相关文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：4.62MB　文档页数：60

《计算机科学》相关教学资源（参考文献）Convergence of MCMC and Loopy BP in the Tree Uniqueness Region for the Hard-Core Model

文档格式：PDF　文档大小：3.38MB　文档页数：28

《计算机科学》相关教学资源（参考文献）What can be sampled locally？

文档格式：PDF　文档大小：6.4MB　文档页数：29

《计算机科学》相关教学资源（参考文献）On Local Distributed Sampling and Counting

文档格式：PDF　文档大小：2.24MB　文档页数：54

《计算机科学》相关教学资源（参考文献）Dynamic Sampling from Graphical Models

文档格式：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

文档格式：PDF　文档大小：5.19MB　文档页数：29

《计算机科学》相关教学资源（参考文献）Counting with Bounded Treewidth