首页> 外文OA文献 >Deadlock-Detection in Component-Based Systems is NP-hard.

【2h】

Deadlock-Detection in Component-Based Systems is NP-hard.

机译：基于组件的系统中的死锁检测非常困难。

页面导航

著录项
相似文献
相关主题

著录项

作者
Minnameier Christoph;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Local and global deadlock-detection in component-based systems are NP-hard [J] . Christoph Minnameier Information Processing Letters . 2007,第3期

机译：基于组件的系统中的本地和全局死锁检测非常困难
2. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems [J] . Esther Palomar, Xiaohong Chen, Zhiming Liu, Sensors . 2016,第11期

机译：基于组件的可扩展智能城市系统互操作性建模：以整合能源需求响应系统为例
3. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems [J] . Esther Palomar, Xiaohong Chen, Zhiming Liu, Sensors . 2016,第11期

机译：基于组件的可扩展智能城市系统互操作性建模：以整合能源需求响应系统为例
4. Architecture support for runtime integration and verification of component-based Systems of Systems [C] . Gonzalez Alberto, Piel Eric, Gross Hans-Gerhard IEEE/ACM International Conference on Automated Software Engineering Workshops . 2008

机译：架构支持运行时的集成和验证组件的系统系统
5. Predictable, System-Level Fault Tolerance in a Component-based Real-time Operating System. [D] . Song, Jiguo. 2017

机译：基于组件的实时操作系统中可预测的系统级容错。
6. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems [O] . Esther Palomar, Xiaohong Chen, Zhiming Liu, 2014

机译：可扩展的智能城市系统互操作性的基于组件的建模：以能源需求响应系统集成为例
7. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems [O] . Palomar, Esther, Chen, Xiaohong, Liu, Zhiming, 2016

机译：可扩展的智能城市系统互操作性的基于组件的建模：以能源需求响应系统集成为例

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号