缓存BDD swMATH编号: 19401 软件作者: 吕冠峰、苏凯乐、徐燕燕 描述: CacBDD:具有动态缓存管理的BDD包。本文提出了一种新的高效的二进制决策图(BDD)包CacBDD。它实现了一种动态缓存管理算法,该算法考虑了计算表的命中率和可用内存。在组合电路的BDD基准测试和模型检查上的实验表明,CacBDD与最新的BDD包CUDD相比效率更高。 主页: http://link.springer.com/chapter/10.1007/978-3-642-39799-8_15 相关软件: CUDD公司;github;哈斯卡BDD;SMCDEL公司;WhyML公司;Why3号机组;联合尽职调查;BDD公司;禁用JBDD;西尔万;生锈;VeriFast公司;VCC(沃尔沃汽车公司);电子稳定控制系统/Java;伙计;规格#;达夫尼;标准;演示;MCMAS公司 引用于: 3文件 全部的 前5名6位作者引用 2 马尔文·加廷格 2 苏凯乐 2 van Benthem,Johan F.A.K。 2 范·艾伊克(Jan van Eijck) 1 莱恩·伦瑞奇 1 保罗·A·G·西维洛蒂。 连载1篇 1 逻辑与计算杂志 在2个字段中引用 3 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文