AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:分布式应用程序属性的高效模型检查:多媒体案例研究
Nicola Mazzocca; Antonella Santone; Valeria Vittorini; Gigliola Vaglini;
机译:分布式应用程序属性的有效模型检查:多媒体案例研究
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:基于UDP的分布式应用程序的软件模型检查
机译:现代分布式交互式多媒体应用的可靠性建模与分析 - 以分布式歌剧性能为例
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:纵向研究中的时滞响应:分布式时滞非线性模型在职业人群中的应用
机译:高效分布式SAT和基于SAT的分布式有界模型检验
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。