运行时错误相关硕士博士期刊学术论文 - 皮皮文库

运行时错误相关论文

中断驱动型程序数值性质的静态分析技术

中断驱动型程序在嵌入式软件中是一类常见的并发实现方式，并且中断驱动程序广泛应用于一些对安全和稳定性要求极高的领域（包括航空航......

学位

嵌入式软件中断驱动型程序顺序化静态分析抽象解释运行时错误过程间分析

基于模型的设计,带来创新的自由

1996年6月,Ariane5火箭发射失败,导致数十亿美元的巨大损失,原因就是在四上运行的算法拿到了五上用,但它的处理器换了,导致了数据......

看过本文同时还关注