机译:带有线程和可重入锁的程序的轻量级死锁分析
Univ Bologna Dept Comp Sci & Engn INRIA Focus Bologna Italy;
Deadlock analysis; Threads and reentrant locks; Lams; Circularities; Static semantics;
机译:带有线程和可重入锁的程序的轻量级死锁分析
机译:TeamWork:全局同步线程以检测多线程程序的实际死锁
机译:死锁映射:多线程程序的动态死锁检测
机译:具有线程和可重入锁的程序的轻量级死锁分析
机译:用于双夹爪机器人的无死锁的柔性制造单元的建模,调度和性能评估:一种约束编程方法。
机译:编程的死亡-1 /编程死亡 - 配体1轴阻滞在经复制或转移头和颈部鳞状细胞癌中由人乳头瘤病毒状态分层:系统评价和荟萃分析
机译:多线程程序的动态死锁分析