执行序列相关论文
针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于弱硬实时约束,提出了一种基于裁剪的调......
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法（PBSD）的定位效果.文中主要围绕两个问题进行研究：（1）是否可以通......
竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可......
为了达到更准确、更高效的程序时间复杂度,解决复杂度分析中的循环下的复杂情况,如多个跳出点、嵌套循环和非数值域循环等,提出了......
