课题基金 / 基金详情

NGS: Methods to Evaluate the Performance of Distributed Software

NGS: Methods to Evaluate the Performance of Distributed Software
NGS:评估分布式软件性能的方法
批准号:
0203971
负责人:
Gianfranco Ciardo
金额:
$44.04万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-15 至 2005-01-31

项目摘要

项目成果

Gianfranco Ciardo的其他基金

相似基金

相关文献

中文摘要
翻译
我们的目标是合作研究,旨在消除在软件性能工程过程中广泛采用马尔可夫链建模技术的计算障碍。我们将从不同和互补的角度来处理这个问题,并拥有必要的手段来解决许多剩余的计算问题。拟议的研究结果将为马尔可夫建模领域开辟新的、可能是意想不到的研究活动,在具有国家和国际重要性的非常不同的领域中,并提供一条通往由现成软件模块构建的系统的组成性能评估的途径。
英文摘要
EIA-0203971 Gianfranco Ciardo College of William & Mary Structured Methods to Evaluate the Performance of Distributed SoftwareOur goal is a collaborative research effort aimed at removing the computational barriers to the widespread adoption of Markov chain modeling technology in the software performance engineering process. We will approach the problem from different and complementary points of view, and have the necessary means to solve many of the remaining computational issues. The results of the proposed research will open up the Markov modeling field to a surge of new, and probably unanticipated, research activity in very diverse areas of national and international importance, and provide a path towards the compositional performance assessment of systems built from off-the-shelf software modules.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems
  • 批准号:
    1442586
  • 项目类别:
    Standard Grant
  • 资助金额:
    $12.57万
  • 财政年份:
    2014
  • 负责人:
    Gianfranco Ciardo
  • 依托单位:
SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems
  • 批准号:
    1018057
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2010
  • 负责人:
    Gianfranco Ciardo
  • 依托单位:
CAREER: Advanced Decision Procedures forWords, Trees and Lists
  • 批准号:
    0954132
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $49.96万
  • 财政年份:
    2010
  • 负责人:
    Gianfranco Ciardo
  • 依托单位:
SGER: Symbolic Computation of Bounds on Timing and Probabilistic Properties of Computing Systems
  • 批准号:
    0848463
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2008
  • 负责人:
    Gianfranco Ciardo
  • 依托单位:
国内基金
海外基金
Computational Methods for Analyzing Toponome Data