atomicity; dynamic analysis; reduction;
机译:Atomizer:多线程程序的动态原子检查器
机译:Atomizer:多线程程序的动态原子性检查器
机译:Velodrome:一个完善的多线程程序动态原子检查器
机译:Atomizer:用于多线程程序的动态原子检查器
机译:有效检测多线程程序中的原子集可串行性违规。
机译:动态编程在确定棋类和棋类最佳比赛中的应用
机译:Atomizer:多线程程序的动态原子性检查器
机译:动态规划在国际象棋和跳棋中最佳游戏确定中的应用