Realistic Uncheatable Benchmarks

现实的、不可欺骗的基准

基本信息

  • 批准号:
    9634665
  • 负责人:
  • 金额:
    $ 24.22万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1996
  • 资助国家:
    美国
  • 起止时间:
    1996-09-01 至 2000-08-31
  • 项目状态:
    已结题

项目摘要

The project on the design of realistic uncheatable benchmarks strives to achieve a more sophisticated design methodology of computer performance benchmarks, based on the theory of computational complexity. The goal is to integrate ideas from randomization and cryptography with realistic existing benchmark in everyday use. There has been tremendous progress in theoretical computer science in recent years, especially with regard to the power of randomization and interaction. These ideas are well suited to the design of uncheatable benchmarks. The purpose of benchmark testing is to estimate the performance and reliability of hardware and software systems. By and large existing benchmark design has focused on "typical" programs and data sets for the system. The problem of making benchmarks resistant to tampering has been mostly ignored. The on-going research in this project has demonstrated the feasibility of applying ideas from computational complexity and cryptography to a wide variety of existing benchmarks, and making them more accurate, resistant to tampering and thus more trustworthy.***
设计真实的不可欺骗基准的项目致力于实现基于计算复杂性理论的更复杂的计算机性能基准设计方法。其目标是将随机化和密码学的想法与日常使用的现实现有基准相结合。近年来,理论计算机科学取得了巨大的进步,特别是在随机化和交互作用的力量方面。这些想法非常适合设计不可欺骗的基准。基准测试的目的是评估硬件和软件系统的性能和可靠性。大体上,现有的基准设计侧重于系统的“典型”程序和数据集。让基准抗篡改的问题基本上被忽视了。该项目正在进行的研究已经证明了将计算复杂性和密码学的思想应用于各种现有基准测试的可行性,并使它们更准确、更耐篡改,从而更值得信任。*

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Jin-Yi Cai其他文献

A computational proof of complexity of some restricted counting problems
  • DOI:
    10.1016/j.tcs.2010.10.039
  • 发表时间:
    2011-05-20
  • 期刊:
  • 影响因子:
  • 作者:
    Jin-Yi Cai;Pinyan Lu;Mingji Xia
  • 通讯作者:
    Mingji Xia
Quadratic Lower Bound for Permanent Vs. Determinant in any Characteristic
  • DOI:
    10.1007/s00037-009-0284-2
  • 发表时间:
    2010-02-24
  • 期刊:
  • 影响因子:
    1.000
  • 作者:
    Jin-Yi Cai;Xi Chen;Dong Li
  • 通讯作者:
    Dong Li
A Note on the Determinant and Permanent Problem
  • DOI:
    10.1016/0890-5401(90)90036-h
  • 发表时间:
    1990
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jin-Yi Cai
  • 通讯作者:
    Jin-Yi Cai
Holographic reduction, interpolation and hardness
全息还原、插值和硬度
  • DOI:
    10.1007/s00037-012-0044-6
  • 发表时间:
    2012-05
  • 期刊:
  • 影响因子:
    1.4
  • 作者:
    Jin-Yi Cai;Pinyan Lu;Mingji Xia
  • 通讯作者:
    Mingji Xia
Dichotomy for Holant∗ Problems on the Boolean Domain
  • DOI:
    10.1007/s00224-020-09983-8
  • 发表时间:
    2020-06-22
  • 期刊:
  • 影响因子:
    0.400
  • 作者:
    Jin-Yi Cai;Pinyan Lu;Mingji Xia
  • 通讯作者:
    Mingji Xia

Jin-Yi Cai的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Jin-Yi Cai', 18)}}的其他基金

AF: Small: Classification Program for Counting Problems
AF:小:计数问题的分类程序
  • 批准号:
    1714275
  • 财政年份:
    2017
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
AF: Small: Counting Problems, Holographic Algorithms and Dichotomy Theorems
AF:小:计数问题、全息算法和二分定理
  • 批准号:
    1217549
  • 财政年份:
    2012
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Counting Problems and Dichotomy Theorems
计数问题和二分定理
  • 批准号:
    0914969
  • 财政年份:
    2009
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Holographic Algorithms and Reductions
全息算法和简化
  • 批准号:
    0830488
  • 财政年份:
    2008
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Some Problems in Complexity Theory
复杂性理论中的一些问题
  • 批准号:
    0511679
  • 财政年份:
    2005
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Continuing Grant
Some Problems in Structural and Lattice Complexity
结构和格复杂性的一些问题
  • 批准号:
    0208013
  • 财政年份:
    2002
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Worst-Case v.s. Average-Case Complexity and Applications to Secure Cryptography
最坏情况与最差情况
  • 批准号:
    0196197
  • 财政年份:
    2000
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Worst-Case v.s. Average-Case Complexity and Applications to Secure Cryptography
最坏情况与最差情况
  • 批准号:
    9820806
  • 财政年份:
    1999
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Standard Grant
Uncheatable Benchmarks
不可欺骗的基准
  • 批准号:
    9319393
  • 财政年份:
    1993
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Continuing Grant
PYI: A Study of Computational Complexity Theory
PYI:计算复杂性理论研究
  • 批准号:
    9496107
  • 财政年份:
    1993
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Continuing Grant

相似海外基金

Uncheatable Benchmarks
不可欺骗的基准
  • 批准号:
    9319393
  • 财政年份:
    1993
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Continuing Grant
Uncheatable Benchmarks
不可欺骗的基准
  • 批准号:
    9304718
  • 财政年份:
    1993
  • 资助金额:
    $ 24.22万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了