当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
设计与性能分析
--
性能分析、功能分析
基于矩阵半张量积模型检测算法的研究与实现
基于BDDs的离散实时时态逻辑RTCTL*的符号化模型检测及证据生成
并发系统中基于偏序规约的状态空间约简与应用
大规模复杂IT系统可靠性、性能、能耗关联建模理论及其优化技术研究
基于对象的分布式协调服务研究与实现
液冷计算机污染度控制研究
基于图论的形式化验证方法的研究与实现
基于增量检查点进程迁移机制研究
带参协议形式化验证的研究
基于可达性分析和距离算法的系统可靠性研究
广义可能性计算树逻辑表达能力的研究
计算机系统的性能参数及速度研究
抗辐射的三冗余高可靠星载计算机系统的研究
异构分布计算系统可靠性分析及优化方法研究
集成供应商的FMEA的硬件样机测试质量改善模式研究--以S公司N270型号硬件样机为例
电子计算机中电子产品的可靠性研究
基于块聚集的MapReduce性能研究与优化
大规模并行计算系统软件低功耗关键技术研究
基于能耗和成本的资源管理与调度策略研究
基于分治和参数化的队列网络模型系统的性能优化
动态系统可靠性分析关键技术研究
计算机系统性能评测与分析
超级计算机系统性能平衡性预先评价方法研究
实时随机系统的分析诊断与控制研究
[1]
