机译:障碍同步并发程序的死锁和WCET分析
Vienna Univ Technol Inst Comp Aided Automat Vienna Austria;
Vienna Univ Technol Inst Comp Aided Automat Vienna Austria;
Barrier synchronization; Worst-case execution time analysis; Deadlocks; Kronecker algebra; Concurrent systems; Multi-threaded programs;
机译:基于Petri网结构的并发程序的死锁特性分析
机译:运行时死锁跟踪和防止并发多线程程序:一种基于学习的方法
机译:并发程序中自动死锁检测的框架
机译:并发SSA,用于一般的屏障同步并行程序
机译:使用静态程序分析检测OpenMP程序中的并发错误。
机译:具有固定编程时间表的人为固定间隔绩效:参数分析
机译:提高并发程序测试扩展性的技术:结合静态分析和测试以进行死锁检测