机译:嵌套事务环境中的虚拟分区算法及其正确性
机译:嵌套事务环境中的虚拟分区算法及其正确性
机译:使用嵌套事务和I / O自动机的并发线性哈希结构算法的形式化和正确性
机译:事务存储系统中封闭嵌套事务的并发执行的正确性
机译:关于虚拟分区算法在嵌套事务环境中的正确性
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:算法复杂性的增加是否需要更高准确性的代价?低收入国家艾滋病毒感染者慢性咳嗽三级管理的三种算法的虚拟比较
机译:事务存储系统中封闭嵌套事务的并发执行的正确性
机译:在嵌套虚拟化环境中检测硬件辅助的管理程序Rootkit。