论文作者
周军蕊
ACSA 论文清单中的作者，当前收录 4 篇相关论文。
全部论文
2015 · 高性能计算与并行算法
Local State Reusing for Efficient Model Checking of Multithreaded Programs
关注大规模并行算法、超算平台和性能优化，是 HPC 方向的重要条目。
2013 · 综合科研成果
Quantitative Analysis of Inter-block Dependence in Speculative Execution
该条目来自 ACSA 论文清单，可继续补充摘要、分类证据与全文解读。
2011 · 综合科研成果
Implementation of String Match Algorithm BMH on GPU Using CUDA
该条目来自 ACSA 论文清单，可继续补充摘要、分类证据与全文解读。
2014 · 综合科研成果
矩阵形状无关的并行编译优化
该条目来自 ACSA 论文清单，可继续补充摘要、分类证据与全文解读。