机译:并行程序中的同步死锁检测
University of Northern British Columbia, 3333 University Way, Prince George, BC, Canada V2N 4Z9;
parallel programming; distributed memory; shared memory; MPI;
机译:并发程序中自动死锁检测的框架
机译:死锁映射:多线程程序的动态死锁检测
机译:障碍同步并发程序的死锁和WCET分析
机译:并行程序的死锁检测
机译:透明的数据流检测和在工作流调度中的使用:并发和避免死锁。
机译:体外极化Caco-2肠上皮细胞的全球转录程序与正常结肠癌和结肠癌中的基因表达程序之间的平行性
机译:提高并发程序测试扩展性的技术:结合静态分析和测试以进行死锁检测
机译:分布式程序符号综合中并行死锁解决方案