机译:程序间并发程序的精确切片
School of Computer Science and Engineering, Southeast University, Nanjing 211189, China,Key Laboratory of Computer Network and Information Integration, Ministry of Education, Southeast University, Nanjing 211189, China;
China Huawei Technologies Co. Ltd, Nanjing 210012, China;
program slicing; concurrent programs; reachability analysis; context sensitivity; dependence analysis;
机译:并发程序的精确切片:对并发程序的静态切片算法的评估
机译:并行程序的精确过程间相关性分析
机译:基于依赖性的基于依赖性的切片的语义正确性,可能是非误解计划
机译:根据程序到达性图形切片并发的交换性程序
机译:过程间分析和并发程序的验证。
机译:双极性切片GRAPPA用于同时进行多层EPI的同时重影校正和切片分离
机译:精确切割并发程序