刷新
{{item.name}}会员
Static Analysis of Concurrent Programs
并发程序的静态分析
基本信息
- 批准号：415729-2011
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Amy, Matthew其他文献
On the controlled-NOT complexity of controlled-NOT-phase circuits
- DOI：
10.1088/2058-9565/aad8ca - 发表时间：
2019-01-01 - 期刊：
- 影响因子：6.7
- 作者：
Amy, Matthew;Azimzadeh, Parsiad;Mosca, Michele - 通讯作者：
Mosca, Michele
Polynomial-Time T-Depth Optimization of Clifford plus T Circuits Via Matroid Partitioning
- DOI：
10.1109/tcad.2014.2341953 - 发表时间：
2014-10-01 - 期刊：
- 影响因子：2.9
- 作者：
Amy, Matthew;Maslov, Dmitri;Mosca, Michele - 通讯作者：
Mosca, Michele
Art by firelight? Using experimental and digital techniques to explore Magdalenian engraved plaquette use at Montastruc (France).
- DOI：
10.1371/journal.pone.0266146 - 发表时间：
2022 - 期刊：
- 影响因子：3.7
- 作者：
Needham, Andy;Wisher, Izzy;Langley, Andrew;Amy, Matthew;Little, Aimee - 通讯作者：
Little, Aimee
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits
- DOI：
10.1109/tcad.2013.2244643 - 发表时间：
2013-06-01 - 期刊：
- 影响因子：2.9
- 作者：
Amy, Matthew;Maslov, Dmitri;Roetteler, Martin - 通讯作者：
Roetteler, Martin
Amy, Matthew的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Amy, Matthew', 18)}}的其他基金
Formal methods for reliable, high-performance quantum computing
可靠、高性能量子计算的形式化方法
- 批准号：
RGPIN-2022-03319 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for reliable, high-performance quantum computing
可靠、高性能量子计算的形式化方法
- 批准号：
DGECR-2022-00363 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Launch Supplement
Verification and repair of faulty software systems
故障软件系统的验证和修复
- 批准号：
475593-2015 - 财政年份：2015
- 资助金额：
$ 0.33万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
相似国自然基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：合作创新研究团队
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
基于Meta-analysis的新疆棉花灌水增产模型研究
- 批准号：41601604
- 批准年份：2016
- 资助金额：22.0 万元
- 项目类别：青年科学基金项目
大规模微阵列数据组的meta-analysis方法研究
- 批准号：31100958
- 批准年份：2011
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
用“后合成核磁共振分析”（retrobiosynthetic NMR analysis）技术阐明青蒿素生物合成途径
- 批准号：30470153
- 批准年份：2004
- 资助金额：22.0 万元
- 项目类别：面上项目
相似海外基金
A Binary Analysis Framework for Instrumenting and Controlling Concurrent Behaviors of Microarchitectures
用于检测和控制微架构并发行为的二进制分析框架
- 批准号：
22K11968 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Concurrent hpk-Mesh Adaptation and Shape Optimization of Complex Geometries through an Adjoint-Based Discontinuous Petrov-Galerkin Isogeometric Analysis
通过基于伴随的不连续 Petrov-Galerkin 等几何分析并行 hpk 网格自适应和复杂几何形状优化
- 批准号：
RGPIN-2019-04791 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Concurrent hpk-Mesh Adaptation and Shape Optimization of Complex Geometries through an Adjoint-Based Discontinuous Petrov-Galerkin Isogeometric Analysis
通过基于伴随的不连续 Petrov-Galerkin 等几何分析并行 hpk 网格自适应和复杂几何形状优化
- 批准号：
RGPIN-2019-04791 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Analysis of concurrent data structures
并发数据结构分析
- 批准号：
550087-2020 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards
Concurrent hpk-Mesh Adaptation and Shape Optimization of Complex Geometries through an Adjoint-Based Discontinuous Petrov-Galerkin Isogeometric Analysis
通过基于伴随的不连续 Petrov-Galerkin 等几何分析并行 hpk 网格自适应和复杂几何形状优化
- 批准号：
RGPIN-2019-04791 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Concurrent hpk-Mesh Adaptation and Shape Optimization of Complex Geometries through an Adjoint-Based Discontinuous Petrov-Galerkin Isogeometric Analysis
通过基于伴随的不连续 Petrov-Galerkin 等几何分析并行 hpk 网格自适应和复杂几何形状优化
- 批准号：
RGPIN-2019-04791 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Concurrent EMG and EEG Analysis for Quantitative Motor Assessment
用于定量运动评估的同步肌电图和脑电图分析
- 批准号：
538323-2019 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Engage Grants Program
Testing and analysis of concurrent and heterogeneous computing software
并发异构计算软件测试与分析
- 批准号：
356003-2013 - 财政年份：2017
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
SHF: Small: Semantics, Static Analysis, and Refencing of Concurrent Programs with Weak Memory Models
SHF：小型：具有弱内存模型的并发程序的语义、静态分析和引用
- 批准号：
1617717 - 财政年份：2016
- 资助金额：
$ 0.33万 - 项目类别：
Standard Grant
Testing and analysis of concurrent and heterogeneous computing software
并发异构计算软件测试与分析
- 批准号：
356003-2013 - 财政年份：2016
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual