program diagnostics; program verification; embedded software; intensive numerical computations; interrupt-driven programs; nondeterministic sequential programs; numerical runtime errors; numerical static analysis; sequential programs; sequentialization algorithm; Concurrent computing; Embedded software; Embedded systems; Real-time systems; Schedules; Semantics; Syntactics; Abstract Interpretation; Embedded Software; Interrupt-Driven Programs; Sequentialization; Static Analysis;
机译:通过顺序化对中断驱动程序中的运行时错误进行静态分析
机译:通过优先级上限协议同步的中断驱动程序的静态分析
机译:中断驱动程序的堆栈大小分析
机译:通过顺序化对中断驱动程序进行数值静态分析
机译:核聚变等离子体中循环二次编程优化的热传递方程和物理约会的数值解
机译:一种新的数值方法使用结合顺序二次规划的生物启发式启发法来求解原子的Thomas-Fermi模型
机译:通过序列化的中断驱动程序的数值静态分析