Quantitative Analysis; Resource Consumption; Amortized Analysis; Functional Programming; Static Analysis;
机译:多元摊销资源分析
机译:多元摊销资源分析
机译:提高整数仿真优化的效率:通过数据包络分析和正交阵列减少搜索空间
机译:基于类型的摊销资源分析与整数和数组
机译:摊销分析的新应用
机译:At-TAX:拟南芥发育表达分析和转录本鉴定的全基因组切片阵列资源
机译:多元摊销资源分析