NGS: Methods to Evaluate the Performance of Distributed Software

NGS:评估分布式软件性能的方法

基本信息

  • 批准号:
    0203971
  • 负责人:
  • 金额:
    $ 44.04万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2002
  • 资助国家:
    美国
  • 起止时间:
    2002-09-15 至 2005-01-31
  • 项目状态:
    已结题

项目摘要

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)
会议论文数量(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 }}

Gianfranco Ciardo其他文献

The footprint form of a matrix: definition, properties, and an application
矩阵的足迹形式:定义、属性和应用
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
使用决策图对异步系统进行有界可达性检查
Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models
稀疏矩阵上克罗内克运算的复杂性及其在马尔可夫模型求解中的应用
  • DOI:
  • 发表时间:
    1997
  • 期刊:
  • 影响因子:
    0
  • 作者:
    P. Buchholz;Gianfranco Ciardo;A. Kemper
  • 通讯作者:
    A. Kemper
Distributed and Structured Analysis Approaches to Study Large and Complex Systems
研究大型复杂系统的分布式和结构化分析方法
  • DOI:
    10.1007/3-540-44667-2_10
  • 发表时间:
    2002
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Gianfranco Ciardo
  • 通讯作者:
    Gianfranco Ciardo
Symbolic Model-checking Analyzer for Reliability and Timing Version 1 . 1 Design Implementation and Documentation
可靠性和时序符号模型检查分析器版本 1。
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Gianfranco Ciardo;Ming;Andrew S. Miner;Rob Jones;Robert M. Marmorstein;Radu I. Siminiceanu;A. Yu
  • 通讯作者:
    A. Yu

Gianfranco Ciardo的其他文献

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

{{ truncateString('Gianfranco Ciardo', 18)}}的其他基金

SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems
SHF:小型:用于验证计算系统的逻辑、时序和概率属性的分层符号框架
  • 批准号:
    1442586
  • 财政年份:
    2014
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Standard Grant
SHF: Small: A Hierarchical Symbolic Framework to Verify Logic, Timing, and Probabilistic Properties of Computing Systems
SHF:小型:用于验证计算系统的逻辑、时序和概率属性的分层符号框架
  • 批准号:
    1018057
  • 财政年份:
    2010
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Standard Grant
CAREER: Advanced Decision Procedures forWords, Trees and Lists
职业:单词、树和列表的高级决策程序
  • 批准号:
    0954132
  • 财政年份:
    2010
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Continuing Grant
SGER: Symbolic Computation of Bounds on Timing and Probabilistic Properties of Computing Systems
SGER:计算系统的时序和概率属性界限的符号计算
  • 批准号:
    0848463
  • 财政年份:
    2008
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Standard Grant
ITR: Automated Verification of Asynchronous Software Systems
ITR:异步软件系统的自动验证
  • 批准号:
    0501748
  • 财政年份:
    2004
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Continuing Grant
NGS: Methods to Evaluate the Performance of Distributed Software
NGS:评估分布式软件性能的方法
  • 批准号:
    0501747
  • 财政年份:
    2004
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Continuing Grant
ITR: Automated Verification of Asynchronous Software Systems
ITR:异步软件系统的自动验证
  • 批准号:
    0219745
  • 财政年份:
    2002
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Continuing Grant

相似国自然基金

Computational Methods for Analyzing Toponome Data
  • 批准号:
    60601030
  • 批准年份:
    2006
  • 资助金额:
    17.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Novel Digital Methods to Evaluate Functional and Pulmonary Outcomes following Pediatric Acute Respiratory Failure
评估小儿急性呼吸衰竭后功能和肺部结果的新型数字方法
  • 批准号:
    10724042
  • 财政年份:
    2023
  • 资助金额:
    $ 44.04万
  • 项目类别:
Advanced Fetal MRI Methods to Evaluate Prenatal Organ Development and Predict Postnatal Outcome in Congenital Heart Disease
先进的胎儿 MRI 方法可评估先天性心脏病的产前器官发育并预测产后结果
  • 批准号:
    477989
  • 财政年份:
    2023
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Operating Grants
Establishment of the methods to evaluate cartilage conduction hearing and benefits of cartilage conduction hearing aids
软骨传导听力评估方法的建立及软骨传导助听器的益处
  • 批准号:
    23K08940
  • 财政年份:
    2023
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Developing causal inference methods to evaluate and leverage spillover effects through social Interactions for designing improved HIV prevention interventions
开发因果推理方法,通过社会互动评估和利用溢出效应,设计改进的艾滋病毒预防干预措施
  • 批准号:
    10762679
  • 财政年份:
    2023
  • 资助金额:
    $ 44.04万
  • 项目类别:
Genital Infection Symptoms Among Syrian Refugee Women in Lebanon: A Mixed-Methods Study to Adapt, Pilot Test, and Preliminarily Evaluate an Evidence-Based Intervention
黎巴嫩叙利亚难民妇女的生殖器感染症状:一项混合方法研究,以适应、试点测试和初步评估循证干预措施
  • 批准号:
    10805723
  • 财政年份:
    2023
  • 资助金额:
    $ 44.04万
  • 项目类别:
NSF Postdoctoral Fellowship in Biology: Evaluate how the spatial distribution of discrete genetic patterns influences ancestry estimation in spatial and nonspatial methods
NSF 生物学博士后奖学金:评估离散遗传模式的空间分布如何影响空间和非空间方法中的祖先估计
  • 批准号:
    2209320
  • 财政年份:
    2022
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Fellowship Award
Using mixed methods to evaluate self- and other-generated TDM content as predictors of socioemotional well-being in sexual and gender minority (SGM) and non-SGM adolescents
使用混合方法评估自我和他人生成的 TDM 内容,作为性少数和性别少数 (SGM) 和非 SGM 青少年社会情感健康的预测因子
  • 批准号:
    10532015
  • 财政年份:
    2022
  • 资助金额:
    $ 44.04万
  • 项目类别:
Using mixed methods to evaluate self- and other-generated TDM content as predictors of socioemotional well-being in sexual and gender minority (SGM) and non-SGM adolescents
使用混合方法评估自我和他人生成的 TDM 内容,作为性少数和性别少数 (SGM) 和非 SGM 青少年社会情感健康的预测因子
  • 批准号:
    10703468
  • 财政年份:
    2022
  • 资助金额:
    $ 44.04万
  • 项目类别:
Enhancement of dynamic fracture simulation method for RC structures to evaluate and optimize the performance of various demolition methods
增强钢筋混凝土结构的动态断裂模拟方法,以评估和优化各种拆除方法的性能
  • 批准号:
    22K04291
  • 财政年份:
    2022
  • 资助金额:
    $ 44.04万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A simulation of genome evolution to evaluate ancestral genome reconstruction methods
模拟基因组进化来评估祖先基因组重建方法
  • 批准号:
    564780-2021
  • 财政年份:
    2021
  • 资助金额:
    $ 44.04万
  • 项目类别:
    University Undergraduate Student Research Awards
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了