Concurrency; Bug Reproduction; Local Execution; Constraint Solving; Algorithms; Design; Performance; Theory;
机译:CLAP:记录本地执行以重现并发失败
机译:局部全局并发路径规划和执行
机译:局部衰竭的模式及其同时化疗治疗局部晚期非小细胞肺癌的危险因素
机译:CLAP:记录本地执行以重现并发失败
机译:集成了并发控制和代理执行支持,并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
机译:啮齿动物共定位脑电图和局部场电位的同时记录
机译:预测X86可执行文件的广义执行迹线中的并发失败