首页> 外文OA文献 >Graph-tree-based software control flow checking for COTS processors on pico-satellites

【2h】

Graph-tree-based software control flow checking for COTS processors on pico-satellites

机译：微型卫星上COTS处理器的基于图树的软件控制流检查

代理获取

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

页面导航

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

著录项

作者
Yang Mu; Wang Hao; Zheng Yangming; Jin Zhonghe;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Graph-tree-based software control flow checking for COTS processors on pico-satellites [J] . Yang Mu, Wang Hao, Zheng Yangming, 中国航空学报（英文版） . 2013,第002期

机译：微型卫星上COTS处理器的基于图树的软件控制流检查
2. CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing [J] . Amir Rajabzadeh, Seyed Ghassem Miremadi Microelectronics & Reliability . 2006,第5a6期

机译：CFCET：COTS处理器中使用执行跟踪的基于硬件的控制流检查技术
3. A software control flow checking technique in multi-core processors [J] . Iman Mohammad Reza Heidari, Yaghmaie Pejman International Journal of Embedded Systems . 2020,第2期

机译：多核处理器中的软件控制流量检查技术
4. COTS, workflow, and software process management: an exploration of software engineering tool development [C] . Barnes, A., Gray, Software Engineering Conference, 2000. Proceedings. 2000 Australian . 2000

机译：COTS，工作流和软件过程管理：软件工程工具开发探索
5. Extending the COCOMO II software cost model to estimate effort and schedule for software systems using commercial -off -the -shelf (COTS) software components: The COCOTS model [D] . Abts, Christopher Mark 2004

机译：扩展COCOMO II软件成本模型，以使用现成的商用（COTS）软件组件估算软件系统的工作量和进度：COCOTS模型
6. SNPflow: A Lightweight Application for the Processing Storing and Automatic Quality Checking of Genotyping Assays [O] . Hansi Weissensteiner, Margot Haun, Sebastian Schönherr, -1

机译：sNpflow：为处理存储和自动质量检查基因分型分析的轻量级应用
7. Bipartite graph-based control flow checking for COTS-based small satellites [O] . Wang Honghao, Wang Huiquan, Jin Zhonghe 2015

机译：基于二分图的控制流检查基于COTs的小卫星
8. Method for enhancing the process of software tool evaluation and selection: COTS, heritage, and custom software reviewed [R] . Equils, D. J. 2004

机译：增强软件工具评估和选择过程的方法：审查COTs，遗产和定制软件

Graph-tree-based software control flow checking for COTS processors on pico-satellites

著录项

引文网络

相似文献

相关主题

期刊订阅