刷新
{{item.name}}会员
Experimental runtime complexity analysis of logic programs
逻辑程序的实验运行时复杂度分析
基本信息
- 批准号：ARC : DP0209846
- 负责人：
- 金额：$ 12.9万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2002
- 资助国家：澳大利亚
- 起止时间：2002-01-01 至 2006-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
逻辑程序的实验运行时复杂性分析。虽然声明性语言提高了程序员的工作效率，但它们使程序员更难理解其代码的性能。我们将构建一个工具，使用分析数据和程序分析来允许程序员预测其程序的运行时间。
项目成果
期刊论文数量（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 }}
Dr Zoltan Somogyi其他文献
Dr Zoltan Somogyi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Dr Zoltan Somogyi', 18)}}的其他基金
Experimental runtime complexity analysis of logic programs
逻辑程序的实验运行时复杂度分析
- 批准号：
DP0209846 - 财政年份：2002
- 资助金额：
$ 12.9万 - 项目类别：
Discovery Projects
相似国自然基金
基于受管理运行时系统的大型软件内存泄漏论问题及解决方法研究
- 批准号：61073010
- 批准年份：2010
- 资助金额：34.0 万元
- 项目类别：面上项目
相似海外基金
CAREER: Compiler and Runtime Support for Sampled Sparse Computations on Heterogeneous Systems
职业：异构系统上采样稀疏计算的编译器和运行时支持
- 批准号：
2338144 - 财政年份：2024
- 资助金额：
$ 12.9万 - 项目类别：
Continuing Grant
CNS Core: Small: Ensuring Privacy by Runtime Analog Sanitization of Solid State Storage Devices
CNS 核心：小型：通过固态存储设备的运行时模拟清理确保隐私
- 批准号：
2403540 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant
FMitF: Track I: Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems
FMITF：第一轨：综合语义检查器以进行生产分布式系统的运行时验证
- 批准号：
2318937 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究：FMitF：轨道 II：运行时验证的跨语言支持
- 批准号：
2319473 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant
ACED Fab: Runtime Reconfigurable Array (RTRA) Technology for AI/ML
ACED Fab：适用于 AI/ML 的运行时可重构阵列 (RTRA) 技术
- 批准号：
2315295 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant
Innovative software for the mining industry that automatically designs optimally shaped slopes in any lithology within a suitably short runtime
适用于采矿业的创新软件，可在适当短的运行时间内自动设计任何岩性的最佳形状斜坡
- 批准号：
10078412 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Collaborative R&D
CAREER: An Automated Compiler-Runtime Framework for Democratizing Secure Collaborative Computation
职业：用于民主化安全协作计算的自动编译器运行时框架
- 批准号：
2238671 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Continuing Grant
Fine-Grained Monitoring of Signal Temporal Logic and Its Applications in Quality Assurance of Cyber Physical Systems
信号时域逻辑的细粒度监控及其在信息物理系统质量保证中的应用
- 批准号：
23K16865 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究：FMitF：轨道 II：运行时验证的跨语言支持
- 批准号：
2319472 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant
Collaborative Research: SHF: Small: Scalable and Extensible I/O Runtime and Tools for Next Generation Adaptive Data Layouts
协作研究：SHF：小型：可扩展和可扩展的 I/O 运行时以及下一代自适应数据布局的工具
- 批准号：
2401274 - 财政年份：2023
- 资助金额：
$ 12.9万 - 项目类别：
Standard Grant