退出
我的积分:
中文文献批量获取
外文文献批量获取
吴国伟; 李张;
大连理工大学,软件学院,辽宁,大连,116024;
最坏执行时间; Java字节码; 实时Java;
机译:对分析友好型处理器的最坏情况执行时间的可扩展且精确的估计和调试:模型检查的回归
机译:用可靠的知识代替猜想:使用符号执行推断出经过验证的精确的最坏情况执行时间范围
机译:基于模型的航空电子应用程序的最坏情况执行时间感知并行化
机译:全自动导出精确的程序流约束,以进行更严格的最坏情况执行时间分析
机译:硬实时系统的交互式最坏情况执行时间分析。
机译:勘误表开发一种快速精确的数字图像分析方法以量化冠层密度和结构复杂性
机译:通过符号执行时间精确的硬件模型来计算最坏情况执行时间(WCET)
机译:最坏情况示例使用linesearch方法进行数值优化,并进行不精确的梯度评估
机译:用于模拟最坏情况争用以确定在处理器上执行的应用程序的最坏情况执行时间的系统和方法
机译:一种使用隐式路径枚举技术自动估计实时系统最坏情况执行时间的系统和方法
机译:一种使用隐式路径枚举技术自动估算实时系统最坏情况执行时间的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。