software architecture; formal specification; formal verification; software prototyping; software tools; scheduling; component-based systems design; formal specification; software design; formal verification; scheduling algorithm; software architecture modeling; Web-based software architecture prototyping system;
机译:使用Polychrony的AADL中嵌入式软件体系结构的定时行为建模和仿射调度
机译:基于时间线的遗传算法软件项目调度模型
机译:基于抢占式硬件调度程序引擎和不同调度算法的nMPRA CPU体系结构的实现
机译:软件架构建模中的调度算法
机译:智能非易失性存储器控制器的设计:体系结构建模,系统分析,并行I / O处理和调度算法。
机译:云中的工作流即服务:体系结构和调度算法
机译:使用进化算法自动改进软件架构模型的性能,可靠性和成本