课题基金 / 基金详情

Making software more reliable using a new model for entropies of computers' internal state

Making software more reliable using a new model for entropies of computers' internal state
使用计算机内部状态熵的新模型使软件更加可靠
批准号：
DP120101413
负责人：
Prof Charles Morgan
金额：
$19.37万
依托单位：
The University of New South Wales
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2012
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2012-01-01 至 2017-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP120101413
关键词：
Makingsoftwaremorereliableusing

项目摘要

项目成果

Prof Charles Morgan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
A new mathematical analysis of the way computer systems exchange data between their components has led to novel design approaches for the programs implementing those systems. This reduces their cost and increases their reliability, with improvements ranging from small-scale smart devices to widely distributed internet protocols.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation
  • 批准号：
    DP0879529
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $13.54万
  • 财政年份：
    2008
  • 负责人：
    Prof Charles Morgan
  • 依托单位：
    The University of New South Wales
Economical and practical design and analysis of probabilistic distributed systems
  • 批准号：
    DP0345457
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $53.67万
  • 财政年份：
    2003
  • 负责人：
    Prof Charles Morgan
  • 依托单位：
    The University of New South Wales
国内基金
海外基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
  • 批准号：
    90818016
  • 项目类别：
    重大研究计划
  • 资助金额：
    50.0万元
  • 批准年份：
    2008
  • 负责人：
    傅忠传
  • 依托单位：
    哈尔滨工业大学