Department of Computer Science University of York, York, U.K.;
rnDepartment of Computer Science University of York, York, U.K.;
design; languages; performance;
机译:通过将多核通信API(mcapi)与编译时虚拟化相结合来定位复杂的嵌入式体系结构
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑
机译:软件产品系列体系结构的软件性能调整:实时嵌入式系统领域中的两个案例研究
机译:使用编译时虚拟化将非标准架构暴露于嵌入式软件
机译:多线程嵌入式软件的动态分析,以显示违反原子性的行为。
机译:在资源受限的物联网设备中嵌入软件代理的体系结构
机译:使用编译时虚拟化开发嵌入式软件
机译:非标准分析和嵌入式软件