退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用事件 - b复制数据库系统中分布式事务执行的正式验证
Pooja Sharma; Raghuraj Singh;
机译:OLTP数据库系统的快速分布式事务和强一致性复制
机译:使用事件 - B分布式系统检查点算法的正式规范和验证
机译:在复制的多版本数据库中高效执行只读事务
机译:为事件驱动的硬实时嵌入式系统计算数据库中事务的最坏情况执行时间
机译:分布式数据库系统中的确定性事务执行。
机译:网络物理系统中控制模块的正式验证
机译:分布式与集中式数据库系统:事务执行成本和性能分析
机译:替换数据库管理系统的实时数据时,用于防止内存丢失的DBMS事务管理系统
机译:通过分布式数据库防止未授权交易的执行的设备和方法
机译:编号机制,数据完整性验证机制,事务重新执行机制和分布式事务处理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。