CWI, Amsterdam, The Netherlands;
CWI, Amsterdam, The Netherlands Christian-Albrechts-University Kiel, Germany;
机译:死锁映射:多线程程序的动态死锁检测
机译:TeamWork:全局同步线程以检测多线程程序的实际死锁
机译:用于死锁检测的多线程测试综合
机译:同步重圈多线程呼叫图中的自动死锁检测
机译:散列,缓存和同步:延迟屏蔽多线程应用程序的内存技术
机译:通过同步算法和多线程代理应用程序改进UDP的OPC UA发布 - 订阅机制
机译:多线程多态类型汇编语言中死锁检测的类型推断