课题基金 / 基金详情

Understanding concurrent programs using rely-guarantee thinking

Understanding concurrent programs using rely-guarantee thinking
使用依赖保证思维理解并发程序
批准号：
DP130102901
负责人：
Em/Prof Ian Hayes
金额：
$21.67万
依托单位：
The University of Queensland
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2013
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2013-01-01 至 2016-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP130102901
关键词：
Understandingconcurrentprogramsusingrely

项目摘要

项目成果

Em/Prof Ian Hayes的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design and verification of correct, efficient and secure concurrent systems
  • 批准号：
    DP190102142
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $32.31万
  • 财政年份：
    2019
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
An extensible framework for analysis of Java language-based security conformance
  • 批准号：
    LP140100700
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $26.81万
  • 财政年份：
    2015
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
Software Quality Improvement Through Static Analysis and Annotation
  • 批准号：
    LP0989643
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $19.35万
  • 财政年份：
    2011
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems
  • 批准号：
    DP0987452
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $20.09万
  • 财政年份：
    2009
  • 负责人：
    Em/Prof Ian Hayes
  • 依托单位：
    The University of Queensland
国内基金
海外基金
VLSI并发式(CONCURRENT)阵列声纳信号处理系统
  • 批准号：
    68880207
  • 项目类别：
    专项基金项目
  • 资助金额：
    3.0万元
  • 批准年份：
    1988
  • 负责人：
    马远良
  • 依托单位：
    西北工业大学