机译:并发程序的符号预测分析
NEC Laboratories America, Princeton, NJ, USA;
University of California, San Diego, CA, USA;
University of California, Berkeley, CA, USA;
NEC Laboratories America, Princeton, NJ, USA;
NEC Laboratories America, Princeton, NJ, USA;
concurrent trace program; predictive analysis; happens-before; context bounding; SMT; SAT;
机译:具有符号计数器抽象的并发布尔程序的可达性分析
机译:关于“使用符号计数器抽象的并发布尔程序的可达性分析”的撤回通知[PROCS9(2012)1363–1370]
机译:定时并发约束编程的符号模型
机译:并发程序的符号预测分析
机译:对基于课程的测验(CBM),学业进步测验(MAP)和新英格兰共同评估计划(NECAP)的并发和预测效度进行分析。
机译:具有固定编程时间表的人为固定间隔绩效:参数分析
机译:答:并行程序的符号预测分析