首页> 外文OA文献 >Incremental Compilation for Parallel Logic Verification Systems

【2h】

Incremental Compilation for Parallel Logic Verification Systems

机译：并行逻辑验证系统的增量编译

页面导航

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

著录项

作者
Russell Tessier; Snigdha Jana;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Incremental compilation for parallel logic verification systems [J] . Tessier R., Jana S. IEEE transactions on very large scale integration (VLSI) systems . 2002,第5期

机译：并行逻辑验证系统的增量编译
2. Incremental compilation for parallel logic verification systems [J] . Tessier R., Jana S. IEEE transactions on very large scale integration (VLSI) systems . 2002,第5期

机译：并行逻辑验证系统的增量编译
3. Soft component automata: Composition, compilation, logic, and verification [J] . Kappe Tobias, Lion Benjamin, Arbab Farhad, Science of Computer Programming . 2019,第Sepa1期

机译：软组件自动机：组成，编译，逻辑和验证
4. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic [C] . Simon Lunel, Stefan Mitsch, Benoit Boyer, World Congress on Formal Methods . 2019

机译：差分动态逻辑中计算机控制系统的并行组成和模块化验证
5. Incremental Parallelization of Existing Sequential Runtime Systems. [D] . Swaine, James. 2014

机译：现有顺序运行时系统的增量并行化。
6. Massively parallel classical logic via coherent dynamics of an ensemble of quantum systems with dispersion in size [O] . Hugo Gattuso, R. D. Levine, F. Remacle 2020

机译：通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
7. Experimental verification of parallel processing on a hybrid optical parallel array logic system [O] . Tanida Jun, Nakagawa Jun, Yagyu Eiji, 2013

机译：混合光学并行阵列逻辑系统上并行处理的实验验证
8. Parallel Incremental Compilation [R] . Gafter, N. M. 1990

机译：并行增量编译

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号