刷新
{{item.name}}会员
Analysing Computer Arithmetic to Improve Software Reliability
分析计算机算法以提高软件可靠性
基本信息
- 批准号：DP140102194
- 负责人：
- 金额：$ 26.9万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2014
- 资助国家：澳大利亚
- 起止时间：2014-07-01 至 2018-07-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Most computer programs deal with integers. Automated tools designed to verify the correct behaviour of software usually assume the software deals with idealised mathematical integers, since this simplifies reasoning significantly. In reality, most programs work with integer number representations that approximate the ideal. This compromises the soundness of many verification tools. This project will design sound reasoning tools that are aware of the true nature of computer integer arithmetic.
大多数计算机程序都处理整数。旨在验证软件正确行为的自动化工具通常假设软件处理理想化的数学整数，因为这大大简化了推理。实际上，大多数程序都使用接近理想值的整数表示形式。这损害了许多验证工具的可靠性。该项目将设计合理的推理工具，了解计算机整数算术的真正本质。
项目成果
期刊论文数量（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 }}
Prof Harald Sondergaard其他文献
Prof Harald Sondergaard的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Harald Sondergaard', 18)}}的其他基金
Effective software vulnerability detection for web services
Web 服务的有效软件漏洞检测
- 批准号：
LP140100437 - 财政年份：2015
- 资助金额：
$ 26.9万 - 项目类别：
Linkage Projects
相似国自然基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
- 批准号：62375132
- 批准年份：2023
- 资助金额：54.00 万元
- 项目类别：面上项目
Journal of Computer Science and Technology
- 批准号：61224001
- 批准年份：2012
- 资助金额：20.0 万元
- 项目类别：专项基金项目
Journal of Computer Science and Technology
- 批准号：61040017
- 批准年份：2010
- 资助金额：4.0 万元
- 项目类别：专项基金项目
相似海外基金
Computer Arithmetic for Cryptography and Reliable Security: Algorithms and Architectures
密码学和可靠安全的计算机算法：算法和架构
- 批准号：
RGPIN-2020-05798 - 财政年份：2022
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Computer Generation of Explicit Formulas for Jacobian Arithmetic on Hyperelliptic Curves
超椭圆曲线雅可比算术显式公式的计算机生成
- 批准号：
574796-2022 - 财政年份：2022
- 资助金额：
$ 26.9万 - 项目类别：
University Undergraduate Student Research Awards
Computer Arithmetic for Cryptography and Reliable Security: Algorithms and Architectures
密码学和可靠安全的计算机算法：算法和架构
- 批准号：
RGPIN-2020-05798 - 财政年份：2021
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Computer Arithmetic for Cryptography and Reliable Security: Algorithms and Architectures
密码学和可靠安全的计算机算法：算法和架构
- 批准号：
RGPIN-2020-05798 - 财政年份：2020
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Mirrored Memristor Crossbar Array for Digital and Analog Implementation of Computer Arithmetic and, Spiking Neural Networks
用于计算机算术和尖峰神经网络的数字和模拟实现的镜像忆阻器交叉阵列
- 批准号：
RGPIN-2019-04693 - 财政年份：2019
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Low Power, Area Efficient, High Speed Algorithms and Architectures for Computer Arithmetic, Pattern Recognition and Cryptosystems
用于计算机算术、模式识别和密码系统的低功耗、面积高效、高速算法和架构
- 批准号：
1686-2013 - 财政年份：2017
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Low Power, Area Efficient, High Speed Algorithms and Architectures for Computer Arithmetic, Pattern Recognition and Cryptosystems
用于计算机算术、模式识别和密码系统的低功耗、面积高效、高速算法和架构
- 批准号：
1686-2013 - 财政年份：2016
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Low Power, Area Efficient, High Speed Algorithms and Architectures for Computer Arithmetic, Pattern Recognition and Cryptosystems
用于计算机算术、模式识别和密码系统的低功耗、面积高效、高速算法和架构
- 批准号：
1686-2013 - 财政年份：2015
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
Low Power, Area Efficient, High Speed Algorithms and Architectures for Computer Arithmetic, Pattern Recognition and Cryptosystems
用于计算机算术、模式识别和密码系统的低功耗、面积高效、高速算法和架构
- 批准号：
1686-2013 - 财政年份：2014
- 资助金额：
$ 26.9万 - 项目类别：
Discovery Grants Program - Individual
SHF: Small: Collaborative Proposal: Efficient Computer Algebra Techniques for Scalable Verification of Galois Field Arithmetic
SHF：小型：协作提案：用于伽罗瓦域算术可扩展验证的高效计算机代数技术
- 批准号：
1320385 - 财政年份：2013
- 资助金额：
$ 26.9万 - 项目类别：
Standard Grant