Department of Information and Computer Sciences Saitama University Saitama, 338-8570, Japan;
program slicing; concurrency; value-dependent behavior; timing-dependent behavior; wholeness principle; uncertainty principle; self-measurement principle;
机译:并发程序的精确切片:对并发程序的静态切片算法的评估
机译:计算面向特征的并发程序的动态切片
机译:并发AspectJ程序的动态切片:一种显式的上下文相关方法
机译:并发的面向方面程序的上下文敏感动态切片
机译:用于并行设计和动态分配嵌入系统的车辆的动态编程方法。
机译:双极性切片GRAPPA用于同时进行多层EPI的同时重影校正和切片分离
机译:用于程序依赖性分析,切片和并发面向对象程序验证的可扩展且准确的方法
机译:用于计算流体动力学算法的并行编程的FORTRaN语言的并发扩展