论文研究-面向多核环境的BDD工具设计与优化 .pdf

【文件属性】：
文件名称：论文研究-面向多核环境的BDD工具设计与优化 .pdf
文件大小：530KB
文件格式：PDF
更新时间：2022-09-13 07:37:52
并行计算 面向多核环境的BDD工具设计与优化，施佳鑫，陈榕，针对传统二分决策图(BDD)可扩展性（Scalability）问题，提出了一种面向多核处理器的并行BDD库的方法，利用顺序锁(seqlock)以及原子性比较��