机译:更正为:基于构造的基于模型的多核嵌入式系统反应流软件设计
Aristotle Univ Thessaloniki Dept Informat Thessaloniki Greece;
Mentor Montbonnot St Martin France;
UGA VERIMAG Grenoble France;
Deimos Space Madrid Spain;
Process network; Model of computation; Model transformation; Timed-automata; Critical systems; Multi-core processors;
机译:基于构建的基于模型的多核嵌入式系统反应流软件设计
机译:实时嵌入式控制系统的基于Cpu模型的机电/硬件/软件协同设计技术
机译:片上支持多核嵌入式系统中的软件验证和调试
机译:跨设计环境的按构造正确转换,用于基于模型的嵌入式软件开发
机译:用于基于模型的嵌入式实时软件设计和分析的技术和工具。
机译:通过多核任务映射和DVFS温度传感器辅助延长了卫星嵌入式系统的使用寿命
机译:基于模型的嵌入式软件开发的跨设计环境的正确构造转换
机译:多核处理器:嵌入式分布式模型控制的一种支持技术(postprint);会议文件