首页> 外文OA文献 >Implementation of Read-k-times BDDs on top of standard BDD packages

【2h】

Implementation of Read-k-times BDDs on top of standard BDD packages

机译：在标准BDD包之上实现Read-k-times BDD

页面导航

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

著录项

作者
Wolfgang Günther; Rolf Drechsler;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Biddy-a multi-platform academic BDD package [J] . Robert Meolic Journal of software . 2012,第6期

机译：Biddy-多平台学术BDD软件包
2. Biddy - a multi-platform academic BDD package [J] . Robert Meolic Journal of software . 2012,第6期

机译：Biddy-多平台学术BDD软件包
3. Evaluating The Benefits Of Context-sensitive Points-to Analysis Using A Bdd-based Implementation [J] . ONDREJ LHOTAK, LAURIE HENDREN ACM transactions on software engineering and methodology . 2009,第1期

机译：使用基于Bdd的实现评估上下文敏感点分析的好处
4. Implementation of read-k-times BDDs on top of standard BDD packages [C] . Gunther, W., Drechsler, . 2001

机译：在标准BDD包之上实现k次读取BDD
5. Developing and implementing an intervention programme in science and technology for topics of physics for standard IX. [D] . Pillai, Tara R. 2013

机译：针对标准IX制定并实施一项针对物理主题的科学技术干预计划。
6. Standardised packaging and new enlarged graphic health warnings for tobacco products in Australia—legislative requirements and implementation of the Tobacco Plain Packaging Act 2011 and the Competition and Consumer (Tobacco) Information Standard 2011 [O] . Michelle Scollo, Kylie Lindorff, Kerri Coomber, -1

机译：澳大利亚烟草制品的标准化包装和新的扩大的图形健康警告— 2011年烟草无装饰包装法和 2011年竞争与消费者（烟草）信息标准的立法要求和实施
7. MORE: An Alternative Implementation of BDD-Packages by Multi-Operand Synthesis [O] . Andreas Hett, Rolf Drechsler, Bernd Becker 1996

机译：更多：多操作数合成的BDD包的替代实现
8. Continued Development and Implementation of a Standard Graphics Package for the AFIT VAX 11/780 [R] . Tarbell, P. B. 1981

机译：继续开发和实施aFIT VaX 11/780的标准图形包

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号