退出
我的积分:
中文文献批量获取
外文文献批量获取
陈俊; 朱艳丽; 古乐声;
中国计算机学会;
实时数据库; 并发控制; NSCC协议; Petri网; 协议验证;
机译:实时数据库系统的并发控制协议分析
机译:CIRS:用于复制实时数据库的状态感知并发控制协议
机译:在Uppaal中对选定的实时数据库并发控制协议进行建模
机译:实时数据库的并发控制协议和Petri网的分析基础
机译:用于实时数据库系统的基于语义的并发控制协议和分布式软件代理。
机译:包括非并发控制患者在分析平台试验中:值得吗?
机译:具有乐观并发控制的实时数据库性能分析
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:实时数据库管理系统的重放恢复协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。