WCET; Parallelism; Multi-core; Abstract interpretation; Abstract execution;
机译:在不执行硬件/软件协同仿真的情况下并行执行分析
机译:并行嵌入式软件时序分析的进化测试
机译:并行嵌入式软件时序分析的进化测试
机译:使用抽象执行的并行软件时序分析
机译:硬件/软件共同设计的虚拟机的线程级并行执行。
机译:sPARTA:用于植物miRNA和裂解的mRNA数据集的综合分析的并行管线包括新的miRNA目标识别软件
机译:并行嵌入式实时软件实践经验时序分析