Tools; Benchmark testing; Arrays; Computer bugs; Data models; Analytical models;
机译:多面计算在硬件和软件系统的分析和验证中的应用
机译:关于<重点类型=“斜体”> m 重点> -clique自由间隔子图Polytope:多面体分析和应用
机译:自动验证设备驱动程序中的数据竞赛自由
机译:使用多面体分析来验证OpenMP应用程序是否自由竞争
机译:适用于大型OpenMP应用程序的低开销数据竞赛检测技术
机译:实验验证的转录因子结合位点模型在ChIP-Seq数据计算分析中的应用
机译:多面计算在硬件和软件系统的分析和验证中的应用