多线程并发程序相关论文
针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法。扫描......
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法......
针对传统方法多线程并发程序访问数据误差检测存在检测精度低、能耗高的问题,提出多线程并发程序访问数据误差静态检测方法。扫描......
