システムソフトウェアのための安全性と記述性に優れた領域特化言語とその構成法

一种具有良好安全性和描述性的系统软件领域特定语言及其构造方法

基本信息

  • 批准号:
    23K11055
  • 负责人:
  • 金额:
    $ 3.08万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2023
  • 资助国家:
    日本
  • 起止时间:
    2023-04-01 至 2026-03-31
  • 项目状态:
    未结题

项目摘要

项目成果

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

岩崎 英哉其他文献

ファイル移送に基づく分散ファイルシステムの設計と実装
基于文件传输的分布式文件系统的设计与实现
ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装
Jikes RVM上使用位图标记实现标记紧凑垃圾回收
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    森川 和哉;鵜川 始陽;岩崎 英哉
  • 通讯作者:
    岩崎 英哉
Android上のごみ集めにおける停止時間の削減 (ポスター)
减少 Android 上垃圾收集的停机时间(海报)
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中野 陽基;鵜川 始陽;岩崎 英哉
  • 通讯作者:
    岩崎 英哉
最適化機構を持つ C++ 並列スケルトンライブラリ
具有优化机制的C++并行骨架库
ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる実装
使用元编程实现领域特定语言处理系统实现支持库
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    塩田 雅人;岩崎 英哉
  • 通讯作者:
    岩崎 英哉

岩崎 英哉的其他文献

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

{{ truncateString('岩崎 英哉', 18)}}的其他基金

一般的な再帰構造をもつ関数プログラムの融合変換とその実用化
具有一般递归结构的函数程序的融合变换及其实际应用
  • 批准号:
    10139210
  • 财政年份:
    1998
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (A)
関数プログラムの再帰構造の抽象化とプログラム融合変換に関する研究
函数式程序递归结构抽象及程序融合变换研究
  • 批准号:
    09245207
  • 财政年份:
    1997
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
S式指向のプログラミングシステムの構築に関する研究
面向S表达式的编程系统构建研究
  • 批准号:
    09780254
  • 财政年份:
    1997
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
構成的手法によるプログラムの効率化に関する研究
使用组合方法的程序效率研究
  • 批准号:
    07780227
  • 财政年份:
    1995
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
記号処理言語の新しい評価機構の関する研究
符号处理语言新评估机制研究
  • 批准号:
    06780235
  • 财政年份:
    1994
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

堅牢で高性能なシステムソフトウェアのための基礎と応用
稳健和高性能系统软件的基础知识和应用
  • 批准号:
    24KJ0133
  • 财政年份:
    2024
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Creation of Scalable Computers and their System Software for Post-Moore Era
为后摩尔时代创建可扩展计算机及其系统软件
  • 批准号:
    20H00593
  • 财政年份:
    2020
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
高性能計算技術とマイクロサービス化技術の融合に関する研究
高性能计算技术与微服务技术融合研究
  • 批准号:
    20K11837
  • 财政年份:
    2020
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A study on computer memory systems achieving drastic energy efficiency by controllably accepting bit-flip errors
通过可控地接受位翻转错误来实现显着能源效率的计算机存储系统研究
  • 批准号:
    19H01108
  • 财政年份:
    2019
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Research of Sanitizers for Distributed Concurrent Systems
分布式并发系统消毒剂研究
  • 批准号:
    19K11900
  • 财政年份:
    2019
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Visualizing Network Processing in NFV Infrastructures and Developing Analytical Methods for NFV Management
可视化 NFV 基础设施中的网络处理并开发 NFV 管理分析方法
  • 批准号:
    19K11940
  • 财政年份:
    2019
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
ロボットを用いたシステムソフトウェア教育支援環境に関する研究
利用机器人的系统软件教育支撑环境研究
  • 批准号:
    19H00186
  • 财政年份:
    2019
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
ロボットを用いたOS教育支援環境に関する研究
基于机器人的OS教育支持环境研究
  • 批准号:
    17H00214
  • 财政年份:
    2017
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
A study on software-based emulation of next-generation memory devices
下一代存储器件的软件仿真研究
  • 批准号:
    16K00115
  • 财政年份:
    2016
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
3次元積層によるヘテロジニアスマルチコアプロセッサの仮想化と資源管理の研究
基于3D堆叠的异构多核处理器虚拟化及资源管理研究
  • 批准号:
    16J06711
  • 财政年份:
    2016
  • 资助金额:
    $ 3.08万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了