首页> 外文OA文献 >Hardware/Software Interface Assurance with Conformance Checking

【2h】

Hardware/Software Interface Assurance with Conformance Checking

机译：硬件/软件界面与一致性检查保证

代理获取

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

页面导航

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

著录项

作者
Li Lei;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Multi-core model checking and maximum satisfiability applied to hardware-software partitioning [J] . Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galv??o Dos Santos Junior, International Journal of Embedded Systems . 2017,第6期

机译：应用于硬件软件分区的多核模型检查和最大可靠性
2. For checking software without hardware, FPGAs are the answer [J] . DAVID MALINIAK Electronic Design . 2008,第20期

机译：对于没有硬件的软件检查，FPGA是答案
3. Hardware/software optimization for array & pointer boundary checking against buffer overflow attacks [J] . Shao ZL, Cao JN, Chan KCC, Journal of Parallel and Distributed Computing . 2006,第9期

机译：用于数组和指针边界检查的硬件/软件优化，以防止缓冲区溢出攻击
4. Checking the hardware-software interface in spec# [C] . Kevin Bierhoff, Chris Hawblitzel Workshop on Programming languages and operating systems . 2007

机译：检查规范中的硬件-软件接口
5. Hardware/Software Interface Assurance with Conformance Checking [D] . Lei, Li 2015

机译：具有一致性检查的硬件/软件接口保证
6. Development of image quality assurance measures of the ExacTrac localization system using commercially available image evaluation software and hardware for image‐guided radiotherapy [O] . Dennis N. Stanley, Nikos Papanikolaou, Alonso N. Gutierrez 2014

机译：使用市售的图像评估软件和用于图像引导放射治疗的硬件开发ExacTrac定位系统的图像质量保证措施
7. Hardware/Software Interface Assurance with Conformance Checking [O] . Lei Li 2015

机译：具有一致性检查的硬件/软件接口保证
8. Software Concept for Checking Engineering Designs for Conformance with Codes and Standards. [R] . Lopez, L. A., Elam, S., Reed, K. 1989

机译：检查工程设计符合规范和标准的软件概念。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号