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

【文件属性】：

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

文件大小：530KB

文件格式：PDF

更新时间：2022-09-13 07:37:52

并行计算

面向多核环境的BDD工具设计与优化，施佳鑫，陈榕，针对传统二分决策图(BDD)可扩展性（Scalability）问题，提出了一种面向多核处理器的并行BDD库的方法，利用顺序锁(seqlock)以及原子性比较��