机译:NDSeq:运行时检查并行性的不确定性顺序规范
机译:NDSeq:运行时检查并行性的不确定性顺序规范
机译:自动并行化:在基于任务的并行运行时执行顺序程序
机译:回到未来:现有顺序运行时系统的增量并行化
机译:NDSeq:并行正确性的不确定性顺序规范的运行时检查
机译:现有顺序运行时系统的增量并行化。
机译:基于错误检查和纠正的短极化码并行解码算法
机译:快速构建用于检查非确定性规范的确定性实现的自适应检查序列
机译:NDetermin:推断并行性正确性的不确定性顺序规范