首页> 外文OA文献 >BDDNOW: A Parallel BDD Package

【2h】

BDDNOW: A Parallel BDD Package

机译：BDDNOW：并行BDD包

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kim Milvang-Jensen And; Kim Milvang-jensen; Alan J. Hu;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A BDD-Based Method for LFSR Parallelization with Application to Fast CRC Encoding [J] . Elena Dubrova, Shohreh Sharif Mansouri Journal of multiple-valued logic and soft computing . 2013,第5a6期

机译：基于BDD的LFSR并行化方法及其在快速CRC编码中的应用
2. On Some Extensions to GA Package: Hybrid Optimisation, Parallelisation and Islands EvolutionOn some extensions to GA package: hybrid optimisation, parallelisation and islands evolution [J] . Luca Scrucca The R Journal . 2017,第1期

机译：关于GA套件的某些扩展：混合优化，并行化和孤岛演变关于GA套件的一些扩展：混合优化，并行化和孤岛演变
3. Biddy-a multi-platform academic BDD package [J] . Robert Meolic Journal of software . 2012,第6期

机译：Biddy-多平台学术BDD软件包
4. BDDNOW: A Parallel BDD Package [C] . Kim Milvang-Jensen, Alan J. Hu International conference on formal methods in Computer-Aided design . 1998

机译：BDDNow：并行BDD包
5. Exposure to Health Warning Labels on Waterpipe Tobacco Packages: An Application of the Modified Extended Parallel Process Model on Quitting Behavior from Three Waves of the PATH Study [D] . Kumar, Jayaprakash. 2019

机译：在水管烟草包装上接触健康警告标签：改进的扩展并行过程模型在路径研究三波的戒烟行为中的应用
6. affyPara—a Bioconductor Package for Parallelized Preprocessing Algorithms of Affymetrix Microarray Data [O] . Markus Schmidberger, Esmeralda Vicedo, Ulrich Mansmann 2009

机译：affyPara-用于Affymetrix芯片数据的并行预处理算法的生物导体包装
7. BDDNOW: A Parallel BDD Package [O] . Kim Milvang-Jensen Department, Kim Milvang-jensen 1998

机译：BDDNOW：并行BDD包

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号