Languages, compilers and virtual machines for scientists

为科学家提供的语言、编译器和虚拟机

基本信息

  • 批准号:
    105411-2010
  • 负责人:
  • 金额:
    $ 3.13万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2014
  • 资助国家:
    加拿大
  • 起止时间:
    2014-01-01 至 2015-12-31
  • 项目状态:
    已结题

项目摘要

Programmers develop their programs in high-level languages and it is the job of compilers to convert those high-level programs into efficient executable programs for a variety of architectures, including the recently developed mulitcore architectures that are commonly found in laptop and desktop computers.
程序员用高级语言开发他们的程序,编译器的工作是将这些高级程序转换为各种体系结构的高效可执行程序,包括最近开发的笔记本电脑和台式计算机中常见的多核体系结构。

项目成果

期刊论文数量(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 }}

Hendren, Laurie其他文献

Collaborative Runtime Verification with Tracematches
  • DOI:
    10.1093/logcom/exn077
  • 发表时间:
    2010-06-01
  • 期刊:
  • 影响因子:
    0.7
  • 作者:
    Bodden, Eric;Hendren, Laurie;Naeem, Nomair A.
  • 通讯作者:
    Naeem, Nomair A.

Hendren, Laurie的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Hendren, Laurie', 18)}}的其他基金

Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
  • 批准号:
    RGPIN-2015-05288
  • 财政年份:
    2019
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
  • 批准号:
    1000231947-2017
  • 财政年份:
    2019
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
  • 批准号:
    RGPIN-2015-05288
  • 财政年份:
    2018
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
  • 批准号:
    1000231947-2017
  • 财政年份:
    2018
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
  • 批准号:
    RGPIN-2015-05288
  • 财政年份:
    2017
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
  • 批准号:
    1000223884-2010
  • 财政年份:
    2017
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Canada Research Chairs
Compiler Tools and Techniques
编译器工具和技术
  • 批准号:
    1000223884-2010
  • 财政年份:
    2016
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
  • 批准号:
    RGPIN-2015-05288
  • 财政年份:
    2016
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
  • 批准号:
    RGPIN-2015-05288
  • 财政年份:
    2015
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
  • 批准号:
    1223884-2010
  • 财政年份:
    2015
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Canada Research Chairs

相似海外基金

Security and compilers for machine learning
机器学习的安全性和编译器
  • 批准号:
    2906291
  • 财政年份:
    2024
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Studentship
CAREER: A Framework for Co-design and Optimization of Programmable Hardware Accelerators and Compilers
职业:可编程硬件加速器和编译器协同设计和优化的框架
  • 批准号:
    2238006
  • 财政年份:
    2023
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Continuing Grant
Equality Saturation for Deep Learning Compilers
深度学习编译器的等式饱和
  • 批准号:
    2873105
  • 财政年份:
    2023
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Studentship
Automated, Scalable, and Machine Learning-Driven Approach for Generating and Optimizing Scientific Application Codes
用于生成和优化科学应用代码的自动化、可扩展且机器学习驱动的方法
  • 批准号:
    22H03600
  • 财政年份:
    2022
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
SHF: Small: Software Testing Cognizant of Just-in-time Compilers
SHF:小型:了解即时编译器的软件测试
  • 批准号:
    2217696
  • 财政年份:
    2022
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Standard Grant
Enhancing Programming and Machine Learning Education for Students with Visual Impairments through the Use of Compilers, AI and Cloud Technologies
通过使用编译器、人工智能和云技术加强对视力障碍学生的编程和机器学习教育
  • 批准号:
    2202632
  • 财政年份:
    2022
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Standard Grant
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
  • 批准号:
    RGPIN-2019-04207
  • 财政年份:
    2022
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
SHF:Small: Debug Information Validation for Optimizing Compilers
SHF:Small:优化编译器的调试信息验证
  • 批准号:
    2114627
  • 财政年份:
    2021
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Standard Grant
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
  • 批准号:
    RGPIN-2019-04207
  • 财政年份:
    2021
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
  • 批准号:
    RGPIN-2019-04207
  • 财政年份:
    2020
  • 资助金额:
    $ 3.13万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了