课题基金 / 基金详情

Codesign: A higher-order approach

Codesign: A higher-order approach
协同设计：更高阶的方法
批准号：
EP/K015168/1
负责人：
George Constantinides
金额：
$37.86万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2013
资助国家：
英国
项目状态：
已结题
起止时间：
2013 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FK015168%2F1
关键词：
Codesignhigherorderapproach

项目摘要

项目成果

George Constantinides的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
Overhauling SC atomics in C11 and OpenCL
彻底修改 C11 和 OpenCL 中的 SC 原子
DOI： 10.1145/2837614.2837637
发表时间： 2016
期刊：
影响因子： --
作者： [Batty M]
通讯作者： Batty M
Automatically comparing memory consistency models
自动比较内存一致性模型
DOI： 10.1145/3009837.3009838
发表时间： 2017
期刊：
影响因子： --
作者： [Wickerson J]
通讯作者： Wickerson J
Global Analysis of C Concurrency in High-Level Synthesis
DOI： 10.1109/tvlsi.2020.3026112
发表时间： 2020-10
期刊： IEEE Transactions on Very Large Scale Integration (VLSI) Systems
影响因子： 2.8
作者： [Nadesh Ramanathan;G. Constantinides;John Wickerson]
通讯作者： Nadesh Ramanathan;G. Constantinides;John Wickerson
Hardware Synthesis of Weakly Consistent C Concurrency
弱一致性C并发的硬件综合
DOI： 10.1145/3020078.3021733
发表时间： 2017
期刊：
影响因子： --
作者： [Ramanathan N]
通讯作者： Ramanathan N
共 7 条
    Centre for Spatial Computational Learning
    • 批准号：
      EP/S030069/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $154.4万
    • 财政年份：
      2019
    • 负责人：
      George Constantinides
    • 依托单位：
      Imperial College London
    Reliable Numerical Computation with Parallel Unreliable Technologies
    • 批准号：
      EP/I020357/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $127.73万
    • 财政年份：
      2011
    • 负责人：
      George Constantinides
    • 依托单位：
      Imperial College London
    Real-time Numerical Optimization in Reconfigurable Hardware with Application to Model-Predictive Control
    • 批准号：
      EP/G031576/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $67.19万
    • 财政年份：
      2009
    • 负责人：
      George Constantinides
    • 依托单位：
      Imperial College London
    Support for International Workshop on Applied Reconfigurable Computing in 2008
    • 批准号：
      EP/G001065/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $0.94万
    • 财政年份：
      2008
    • 负责人：
      George Constantinides
    • 依托单位：
      Imperial College London
    国内基金
    海外基金
    高维杨图的Schur函数和仿射Yangian
    • 批准号：
      12101184
    • 项目类别：
      青年科学基金项目（C类）
    • 资助金额：
      30.0万元
    • 批准年份：
      2021
    • 负责人：
      王娜
    • 依托单位：
      河南大学
    Higher Teichmüller理论中若干控制型问题的研究
    • 批准号：
      12071338
    • 项目类别：
      面上项目
    • 资助金额：
      52.0万元
    • 批准年份：
      2020
    • 负责人：
      戴嵩
    • 依托单位：
      天津大学
    高桡度(Higher-Twist)算符和量子色动力学因子化