...
机译:在并发的面向对象程序的部分顺序缩减中利用对象转义和锁定信息
Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan KS, 66506, USA;
software model checking; software verifcation; partial order reduction; escape analysis; locking discipline;
机译:并发面向对象程序的编程模型
机译:面向对象数据库系统中用于并发控制的多粒度锁定模型
机译:矛盾图着色算法计算并发的面向对象程序切片
机译:评估切片的效果,以减少并发的面向对象程序的模型
机译:简单的并发面向对象编程:基于生成器的实现
机译:OOTFD(面向对象的转录因子数据库):TFD的面向对象的后继者。
机译:在并发的面向对象程序的部分顺序缩减中利用对象转义和锁定信息