课题基金 / 基金详情

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