机译:NDetermin:推论并行性正确性的不确定性顺序规范
机译:NDSeq:运行时检查并行性的不确定性顺序规范
机译:延迟通过并行参数优化优化顺序模拟器的执行
机译:顺序和并行SystemC模拟器中不确定行为的因果关系
机译:MIPS指令集模拟器的设计,用于SystemC中的多核处理器研究。
机译:对HIV +成人心血管风险相关行为的SystemCHANGE干预的随机对照试验
机译:大规模并行自适应序贯后路模拟器 计算环境
机译:NDetermin:推断并行性正确性的不确定性顺序规范