首页> 外文OA文献 >Ascertaining Uncertainty for Efficient Exact Cache Analysis : Tech report. Extended version of CAV 2017 'Ascertaining Uncertainty for Efficient Exact Cache Analysis' paper

【2h】

Ascertaining Uncertainty for Efficient Exact Cache Analysis : Tech report. Extended version of CAV 2017 'Ascertaining Uncertainty for Efficient Exact Cache Analysis' paper

机译：为高效的精确缓存分析确定不确定性：技术报告。 CAV 2017的扩展版本“确定高效精确缓存分析的不确定性”论文

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Touzeau Valentin; Maiza Claire; Monniaux David; Reineke Jan;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Network cache design under stationary requests: Exact analysis and Poisson approximation [J] . Panigrahy Nitish K., Li Jian, Towsley Don, Computer networks . 2020,第Octa24期

机译：静止请求下的网络缓存设计：精确分析和泊松近似
2. Exact analysis of TTL cache networks [J] . Daniel S. Berger, Philipp Gland, Sahil Singla, Performance Evaluation . 2014,第sepa期

机译：TTL缓存网络的精确分析
3. Exact Analysis of the Cache Behavior of Nested Loops [J] . Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2001,第5期

机译：嵌套循环的缓存行为的精确分析
4. Ascertaining Uncertainty for Efficient Exact Cache Analysis [C] . Valentin Touzeau, Claire Maïza, David Monniaux, International conference on computer aided verification . 2017

机译：确定不确定性以进行准确的高速缓存分析
5. Analysis of extended pedigrees ascertained for asthma. [D] . Teerlink, Craig C. 2009

机译：确定哮喘的血统谱系分析。
6. Exact and efficient inference procedure for meta-analysis and its application to the analysis of independent 2 × 2 tables with all available data but without artificial continuity correction [O] . Lu Tian, Tianxi Cai, Marc A. Pfeffer, -1

机译：精确而有效的荟萃分析程序并将其应用于具有所有可用数据但不进行人工连续性校正的独立2×2表分析
7. Ascertaining Uncertainty for Efficient Exact Cache Analysis : Tech report. Extended version of CAV 2017 "Ascertaining Uncertainty for Efficient Exact Cache Analysis" paper [O] . Touzeau Valentin, Maiza Claire, Monniaux David, 2017

机译：为高效的精确缓存分析确定不确定性：技术报告。 CAV 2017的扩展版本“确定高效精确缓存分析的不确定性”论文
8. Numerical Uncertainty Analysis for Computational Fluid Dynamics using Student T Distribution -- Application of CFD Uncertainty Analysis Compared to Exact Analytical Solution. [R] . Groves, C. E., Ilie, M., Shallhorn, P. A. 2014

机译：基于学生T分布的计算流体动力学数值不确定性分析 - CFD不确定性分析与精确解析解的应用。

Ascertaining Uncertainty for Efficient Exact Cache Analysis : Tech report. Extended version of CAV 2017 'Ascertaining Uncertainty for Efficient Exact Cache Analysis' paper

摘要

著录项

相似文献

相关主题

期刊订阅