首页> 外文OA文献 >Applications of polyhedral computations to the analysis and verification of hardware and software systems

【2h】

Applications of polyhedral computations to the analysis and verification of hardware and software systems

机译：多面计算在硬件和软件系统的分析和验证中的应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Bagnara Roberto; Hill Patricia M.; Zaffanella Enea;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Applications of polyhedral computations to the analysis and verification of hardware and software systems [J] . Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Theoretical computer science . 2009,第46期

机译：多面计算在硬件和软件系统的分析和验证中的应用
2. IEEE 802.15.4/ZigBee hardware and software open the applications windows - By employing standard hardware and software, you can quickly develop low-cost, bug-free systems [J] . TOM BALPH, LARRY ROSHAK Embedded Systems Europe . 2007,第81期

机译：IEEE 802.15.4 / ZigBee硬件和软件打开应用程序窗口-通过使用标准的硬件和软件，您可以快速开发低成本，无错误的系统
3. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems [J] . Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Science of Computer Programming . 2008,第1a2期

机译：Parma Polyhedra库：寻求一套完整的数值抽象，以分析和验证硬件和软件系统
4. A computational model for SAT-based verification of hardware-dependent low-level embedded system software [C] . Schmidt Bernard, Villarraga Carlos, Bormann Jorg, 2013 18th Asia and South Pacific Design Automation Conference . 2013

机译：基于SAT的硬件相关底层嵌入式系统软件验证的计算模型
5. Application of software verification techniques to hardware design verification. [D] . Megargee, Michael Richard. 1987

机译：软件验证技术在硬件设计验证中的应用。
6. Application of mixsep software package: Performance verification of male-mixed DNA analysis [O] . NA HU, BIN CONG, TAO GAO, -1

机译：mixsep软件包的应用：男性混合DNA分析的性能验证
7. Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems [O] . Bagnara, Roberto, Hill, Patricia M., Zaffanella, Enea 2008

机译：多面体计算在分析和验证中的应用硬件和软件系统

Applications of polyhedral computations to the analysis and verification of hardware and software systems

著录项

引文网络

相似文献

相关主题

期刊订阅