...
机译:MARTE / CCSL的定期调度:理论与实践
Shanghai Key Laboratory of Trustworthy Computing, ECNU, Shanghai, China,MoE International Joint Lab of Trustworthy Software, ECNU, Shanghai, China;
Shanghai Key Laboratory of Trustworthy Computing, ECNU, Shanghai, China,MoE International Joint Lab of Trustworthy Software, ECNU, Shanghai, China;
MoE International Joint Lab of Trustworthy Software, ECNU, Shanghai, China,Universite Cote d'Azur, CNRS, I3S, France,INRIA Sophia Antipolis Mediterranee, France;
Periodic scheduling; MARTE/CCSL; Maude; Rewriting logic; Model checking;
机译:元素周期表-预测极端性能和创建新型高性能定向材料(纤维,晶须)的基础。理论,实践与展望
机译:对数周期天线的理论与实践
机译:运行时期MPSOC的DAG调度能量最小化:理论与实践
机译:最后期限公平调度:在多处理器系统中架起成对配对调度的理论和实践
机译:当今计算机系统的计划:桥接理论和实践
机译:松动的貂的释放后运动和栖息地的选择
机译:2015年预防性儿科医疗保健建议:实践委员会和实践医学委员会和明亮的期货周期时间表工作组
机译:生产调度研究综述:理论与实践