Resumption定义下的弱互模拟和Big-step操作语义
Resumptions,Weak Bisimilarity and Big-Step Semantics
用户评论
推荐下载
-
3G2G之间的互操作
对3G、2G之间的互操作进行了详细的介绍和描述,对从事通信开发和测试人员具备重要的参考意义。
31 2019-02-27 -
CUDA与D3D的互操作
Interoperability between CUDA and D3D
21 2019-06-22 -
基于.NET互操作的组态与监控系统
.NET出现之前,开发人员已经编写了大量经过严格测试且可复用的组态与监控非托管代码。在.NET编程环境下调用COM组件,是软件开发者经常遇到的问题。论文首先介绍了.NET互操作的原理和方法,然后以露天
17 2020-09-21 -
基于DSRC的ETC交易互操作规范.zip
基于DSRC的ETC交易互操作规范.,ETC行业从业者必读
23 2019-09-11 -
3G系统间的互操作规划
应该一方面强调3G用户优先享用3G服务,尽可能提高3G网络的利用率并提供3G的优质服务这一指导原则,同时又引入一定的灵活性,以改进终端用户的体验,真正做到客户满意度的最大化。3G/2G网络的互操作规划
8 2020-07-18 -
NetworkEmulatorToolkit32加64下载弱网测试丢包模拟
使用NetworkEmulatorToolkit可以模拟弱网络的情况,方便测试一些客户实际使用app、pc应用中可能遇到的问题,从而根据问题做相关处理,32和x64版本一起下载
43 2019-05-13 -
SemanticModels.jl用于表示和操作模型语义的julia包源码
SemanticModels.jl:用于表示和操作模型语义的julia包
4 2021-03-27 -
语义WEB和CBR
一篇不错的语义WEBPPT
8 2021-05-08 -
基于纹元森林和显著性先验的弱监督图像语义分割方法_韩铮.pdf
论文仅供学习和参考。 该文提出一种基于纹元森林和显著性先验的弱监督图像语义分割方法。算法使用弱监督数据和图像显著性训练随机森林分类器用于语义纹元森林特征(Semantic Texton Forest,
23 2020-09-03 -
可互操作的Java和JavaScript AES128192256加密算法代码
基于网上的JavaScript代码和标准AES算法改进,可实现JavaScript和Java的AES/128/192/256位加密解密互操作。
23 2020-05-19
暂无评论