embedded systems; instruction sets; system-on-chip; formal specification; program assemblers; virtual machines; software tools; systems analysis; complex system-on-chip platform design; STMicroelectronics; retargetable technology; embedded software optim;
机译:基于嵌入式数值软件的去耦服务预测框架的参数设计与性能分析
机译:一类专用嵌入式软件框架的系统可靠性分析
机译:一类专用嵌入式软件框架的系统可靠性分析
机译:用于嵌入式软件分析的ISA重新批准框架
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:脂质实验分析(ALEX):高分辨率Shot弹枪脂质组学数据分析软件框架
机译:一类专用嵌入式软件框架的系统可靠性分析
机译:利用基于FpGa的片上系统架构的嵌入式软件认证方法的综合安全性分析和实现框架。