Understanding concurrent programs using rely-guarantee thinking
使用依赖保证思维理解并发程序
基本信息
- 批准号:DP130102901
- 负责人:
- 金额:$ 21.67万
- 依托单位:
- 依托单位国家:澳大利亚
- 项目类别:Discovery Projects
- 财政年份:2013
- 资助国家:澳大利亚
- 起止时间:2013-01-01 至 2016-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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)
会议论文数量(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 }}
Em/Prof Ian Hayes其他文献
Em/Prof Ian Hayes的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Em/Prof Ian Hayes', 18)}}的其他基金
Design and verification of correct, efficient and secure concurrent systems
正确、高效、安全的并发系统的设计和验证
- 批准号:
DP190102142 - 财政年份:2019
- 资助金额:
$ 21.67万 - 项目类别:
Discovery Projects
An extensible framework for analysis of Java language-based security conformance
用于分析基于 Java 语言的安全一致性的可扩展框架
- 批准号:
LP140100700 - 财政年份:2015
- 资助金额:
$ 21.67万 - 项目类别:
Linkage Projects
Software Quality Improvement Through Static Analysis and Annotation
通过静态分析和注释提高软件质量
- 批准号:
LP0989643 - 财政年份:2011
- 资助金额:
$ 21.67万 - 项目类别:
Linkage Projects
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems
结合时间段和远程反应程序以实现高级可靠的实时系统
- 批准号:
DP0987452 - 财政年份:2009
- 资助金额:
$ 21.67万 - 项目类别:
Discovery Projects
Analysing and Generating Fault-Tolerant Real-Time Systems
分析和生成容错实时系统
- 批准号:
DP0558408 - 财政年份:2005
- 资助金额:
$ 21.67万 - 项目类别:
Discovery Projects
Derivation and timing analysis of concurrent real-time software
并发实时软件的推导及时序分析
- 批准号:
DP0209722 - 财政年份:2002
- 资助金额:
$ 21.67万 - 项目类别:
Discovery Projects
相似国自然基金
VLSI并发式(CONCURRENT)阵列声纳信号处理系统
- 批准号:68880207
- 批准年份:1988
- 资助金额:3.0 万元
- 项目类别:专项基金项目
相似海外基金
Concurrent Aerobic Exercise and Cognitive Training to Prevent Alzheimer's in at-risk Older Adults
同时进行有氧运动和认知训练可预防高危老年人的阿尔茨海默病
- 批准号:
10696409 - 财政年份:2023
- 资助金额:
$ 21.67万 - 项目类别:
Concurrent substance use and psychiatric disorders: a pipeline to investigate shared genomic liability and causal effects
并发物质使用和精神疾病:研究共同基因组责任和因果效应的管道
- 批准号:
10575767 - 财政年份:2023
- 资助金额:
$ 21.67万 - 项目类别:
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性变化
- 批准号:
10538100 - 财政年份:2022
- 资助金额:
$ 21.67万 - 项目类别:
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性
- 批准号:
10709585 - 财政年份:2022
- 资助金额:
$ 21.67万 - 项目类别:
Verification of Concurrent Programs
并发程序验证
- 批准号:
572489-2022 - 财政年份:2022
- 资助金额:
$ 21.67万 - 项目类别:
University Undergraduate Student Research Awards
Verification of Concurrent and Distributed Programs
并发和分布式程序的验证
- 批准号:
562008-2021 - 财政年份:2021
- 资助金额:
$ 21.67万 - 项目类别:
University Undergraduate Student Research Awards
A low-input compatible, end-to-end kitted HiChIP workflow for concurrent analyses of transcriptional protein binding and chromatin interactions toward a mechanistic understanding of gene regulation
低输入兼容、端到端配套的 HiChIP 工作流程,用于同时分析转录蛋白结合和染色质相互作用,从而从原理上理解基因调控
- 批准号:
10383712 - 财政年份:2021
- 资助金额:
$ 21.67万 - 项目类别:
Vaccination against antigens induced by TAP downregulation in concurrent and future tumors
针对当前和未来肿瘤中 TAP 下调诱导的抗原的疫苗接种
- 批准号:
10664957 - 财政年份:2021
- 资助金额:
$ 21.67万 - 项目类别:
A low-input compatible, end-to-end kitted HiChIP workflow for concurrent analyses of transcriptional protein binding and chromatin interactions toward a mechanistic understanding of gene regulation
低输入兼容、端到端配套的 HiChIP 工作流程,用于同时分析转录蛋白结合和染色质相互作用,从而从原理上理解基因调控
- 批准号:
10259543 - 财政年份:2021
- 资助金额:
$ 21.67万 - 项目类别:
Vaccination against antigens induced by TAP downregulation in concurrent and future tumors
针对当前和未来肿瘤中 TAP 下调诱导的抗原的疫苗接种
- 批准号:
10456230 - 财政年份:2021
- 资助金额:
$ 21.67万 - 项目类别: