Dynamic Program Slicing; JavaScript; Program Debugging;
机译:并发程序的精确切片:对并发程序的静态切片算法的评估
机译:Warped-Slicer:通过动态资源划分对GPU多程序进行有效的SM内切片
机译:程序间并发程序的精确切片
机译:用于客户端JavaScript程序的高效和精确的动态切片
机译:JavaScript程序的精确静态分析
机译:利用可切换的DNA /上转换纳米复合材料进行精确的肿瘤靶向和有效的光动力治疗的预保护策略
机译:精确切割并发程序
机译:大型嵌入式C程序的精确高效静态数组绑定检测