机译:嵌入式软件中时间约束感知的断言优化
Fault-detection optimization; Software-level fault tolerance; Time-constrained embedded software; Transient fault; Soft error; Executable assertion;
机译:嵌入式软件中时间约束感知的断言优化
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:单元测试用于优化嵌入式软件开发:Frank Buechner介绍了如何通过单元测试减少嵌入式应用程序中的软件错误。
机译:通过模型驱动的设计实现对嵌入式软件的基于动态声明的验证
机译:用于嵌入式处理器中存储器功率优化的硬件/软件技术。
机译:嵌入式系统中分数微积分数值方法的优化
机译:嵌入式软件中全局一致性可执行断言的系统设计