BriefGPT.xyz
Ask
alpha
关键词
complex control flow
搜索结果 - 1
MM
由 (条件) 终止证明驱动的资源分析
该论文提出了一种资源分析方法,它使用终止分析结果驱动成本关系系统(CRS)的生成,并且最终生成的线性有界 CRS(LB-CRS)克服了现有技术产生复杂程序流程的成本函数难以解决的问题,作者还制定了一种名为 MaxCore 的资源分析工具,并
→
PDF
5 years ago
Prev
Next