...
机译:DOL-BIP关键:用于严格的设计和混合关键性多核系统的工具链
Swiss Fed Inst Technol Comp Engn &
Commun Networks Lab CH-8092 Zurich Switzerland;
Mentor F-38334 Inovallee Montbonnot France;
Mentor F-38334 Inovallee Montbonnot France;
Swiss Fed Inst Technol Comp Engn &
Commun Networks Lab CH-8092 Zurich Switzerland;
Swiss Fed Inst Technol Comp Engn &
Commun Networks Lab CH-8092 Zurich Switzerland;
WINGS ICT Solut PC 189 Syggrou Ave Athens 17121 Greece;
Swiss Fed Inst Technol Comp Engn &
Commun Networks Lab CH-8092 Zurich Switzerland;
Univ Grenoble Alpes CNRS VERIMAG F-38000 Grenoble France;
Univ Grenoble Alpes CNRS VERIMAG F-38000 Grenoble France;
THALES Res &
Technol F-91767 Palaiseau France;
THALES Res &
Technol F-91767 Palaiseau France;
THALES Res &
Technol F-91767 Palaiseau France;
Kalray SA F-38330 Montbonnot St Martin France;
Real-time systems; Mixed-criticality systems; Multi-core scheduling; Rigorous design; Software synthesis; Avionics;
机译:DOL-BIP关键:用于严格的设计和混合关键性多核系统的工具链
机译:基于AXI的多核片上系统(SOC)的性能分析单元(PAU)的设计与实现
机译:对设计指南传播和实施策略以及对严格评估结果的解释中理论运用的系统评价
机译:IELE:为区块链精心设计的语言和工具生态系统
机译:工具链框架的设计和实现,以在单元平台上支持OpenMP单一源编译。
机译:对设计指南发布和实施策略以及对严格评估结果的解释中理论运用的系统评价
机译:DOL-BIP关键:用于混合关键性多核系统的严格设计和实施的工具链
机译:严格设计和实施容错环境系统技术报告系列