School of Electrical and Computer Science National University of Sciences and Technology Islamabad Pakistan;
Institute of Computer Engineering Vienna University of Technology Vienna Austria;
Chair for Embedded Systems Karlsruhe Institute of Technology Karlsruhe Germany;
Thermal stability; Power system stability; Stability criteria; Model checking; Analytical models; Thermal analysis;
机译:在多线程工作负载下模型检查驱动动态热管理技术的公平比较
机译:水系统管理的系统动力学与面向对象贝叶斯网络建模的比较分析
机译:湿地区模糊逻辑控制器建模的结果与温室热能评价的比较分析及湿地区的模糊逻辑控制器
机译:Candy-TM:使用模型检查的多核动态热管理对比分析
机译:SRAM结构的功率/热建模和动态热管理。
机译:红皇后动力学在遗传漂移下能存活多长时间?进化模型与生态进化模型的比较分析
机译:使用三维耦合热 - 流体动力学计算机模型的汽车发动机室内热管理分析:热辐射建模