multi-processor system on chip; constraint programming; network on chip; real-time; design space exploration; automation;
机译:可组合且可预测的多处理器SOC上的实时流应用程序的数据流形式化
机译:从模态实时流处理应用程序中自动提取数据流模型
机译:将形式化性能分析嵌入到实时流应用程序的MPSoC设计周期中
机译:基于NOC的基于MPSoC的自动化设计流程
机译:第一原理建模与实验的经验设计和实时数据管理相结合,可自动控制制药业务。
机译:初级卫生保健医疗实践中的信息流评估以及使这些过程自动化的数据库管理应用程序的设计和实现
机译:准确分析实时流处理应用:使用DataFlow模型和定时自动机