首页> 外文OA文献 >A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems

【2h】

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems

机译：多核系统中自适应N变量程序的层次形式框架

页面导航

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

著录项

作者
Li Tan; Axel Krings;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Scientific computations on multi-core systems using different programming frameworks [J] . Panagiotis D. Michailidis, Konstantinos G. Margaritis Applied numerical mathematics . 2016,第juna期

机译：使用不同的编程框架在多核系统上进行科学计算
2. A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems [J] . Ibrhim Hamada, Khattab Sherif, Elsayed Khaled, Building and Environment . 2020,第Auga期

机译：基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
3. A Formal Modeling Framework for the Implementation of Gaze Guiding as an Adaptive Computer-Based Job Aid for the Control of Complex Technical Systems [J] . Benjamin Weyers, Barbara Frank, Annette Kluge International journal of human-computer interaction . 2020,第6a10期

机译：作为控制复杂技术系统的自适应计算机的工作辅助，揭示凝视的正式建模框架
4. A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems [C] . Tan Li, Krings Axel . 2010

机译：多核系统中自适应N变量程序的分层形式框架
5. Adaptive dynamic scheduling of FFT on hierarchical memory and multi-core architectures [D] . Ali, Ayaz 2008

机译：分层内存和多核架构上的FFT自适应动态调度
6. A Formal Model for Adaptive Free Choice in Complex Systems [O] . Ian Durham 2020

机译：复杂系统中自适应自由选择的正式模型
7. A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems [O] . Aldini, Alessandro 2016

机译：集体自适应系统中信任和信誉建模的正式框架

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems

著录项

引文网络

相似文献

相关主题

期刊订阅