Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers

深化与验证器集成的高级建模语言实现的实现技术

基本信息

  • 批准号：
    26280024
  • 负责人：
    Ueda Kazunori
  • 金额：
    $ 10.98万
  • 依托单位：
    Waseda University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2014
  • 资助国家：
    日本
  • 起止时间：
    2014-04-01 至 2017-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Monitoring Temporal Properties Using Interval Analysis
使用区间分析监控时间属性
ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析
使用混合约束处理系统 HyLaGI 使用微小误差进行模型分析
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石井大輔;冨田 尭;米崎直樹;伊藤剛史，松本翔太，上田和紀;別納健市，松本翔太，若槻祐彰，上田和紀;恒川 雄太郎，上田 和紀;松澤 望，上田 和紀;Kazunori Ueda;松本翔太，上田和紀;石井大輔;Kazunori Ueda and Yusuke Yoshimoto;若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
  • 通讯作者：
    若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀
グラフ書換え系における静的グラフ型検査
图重写系统中的静态图类型检查
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石井大輔;冨田 尭;米崎直樹;伊藤剛史，松本翔太，上田和紀;別納健市，松本翔太，若槻祐彰，上田和紀;恒川 雄太郎，上田 和紀;松澤 望，上田 和紀;Kazunori Ueda;松本翔太，上田和紀;石井大輔;Kazunori Ueda and Yusuke Yoshimoto;若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀;吉元佑介，上田和紀
  • 通讯作者：
    吉元佑介，上田和紀
ハイブリッド制約処理系 Hyrose における区間ニュートン法を用いたシミュレーション実行
在混合约束处理系统 Hyrose 中使用区间牛顿法进行仿真
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石井 大輔;米崎 直樹;若槻 祐彰，松本 翔太，上田 和紀;伊藤 剛史，松本 翔太，上田 和紀;和田 努，松本 翔太，上田 和紀
  • 通讯作者：
    和田 努，松本 翔太，上田 和紀
LMNtal GitHub
LMNtal GitHub
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Ueda Kazunori其他文献

Multi-overlay information management for IoT-oriented P2P network applications
面向物联网的P2P网络应用的多重叠加信息管理

Ueda Kazunori的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Ueda Kazunori', 18)}}的其他基金

Evolution and development of high-level modeling languages integrating programming lanuguage technologies
集成编程语言技术的高级建模语言的演变和发展
  • 批准号：
    18H03223
  • 财政年份：
    2018
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Developing highly functional 3D-printing technologies supported by advanced programming methodologies
开发由先进编程方法支持的高性能 3D 打印技术
  • 批准号：
    18K19788
  • 财政年份：
    2018
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)

相似海外基金

言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
使用语言处理框架创建一个兼顾性能和开发效率的语言平台
  • 批准号：
    23K28058
  • 财政年份：
    2024
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
マルチコア並列計算に対応した関数型言語処理系の実現
兼容多核并行计算的函数式语言处理系统的实现
  • 批准号：
    19K11893
  • 财政年份：
    2019
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
高水準GPGPUプログラミング言語処理系の形式検証
高级GPGPU编程语言处理系统的形式化验证
  • 批准号：
    18J11727
  • 财政年份：
    2018
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
不揮発性メモリを利用可能な言語処理系の実現
可利用非易失性存储器的语言处理系统的实现
  • 批准号：
    14J01818
  • 财政年份：
    2014
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Javaによる次世代Prolog言語処理系及びそのアプリケーションの開発
使用Java开发下一代Prolog语言处理系统及其应用
  • 批准号：
    15700038
  • 财政年份：
    2003
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
自動メモリ管理方式を中心とした並列言語処理系の最適化に関する研究
以自动内存管理方法为核心的并行语言处理系统优化研究
  • 批准号：
    00J08839
  • 财政年份：
    2000
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
並列言語処理系の実装技法とその正当性に関する研究
并行语言处理系统的实现技术及有效性研究
  • 批准号：
    97J07683
  • 财政年份：
    1998
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
効率的な制約命令型言語処理系の研究・開発とGUIへの応用
高效约束命令式语言处理系统的研发及其在GUI中的应用
  • 批准号：
    97J07502
  • 财政年份：
    1998
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
多様な並行オブジェクトモデルをサポートする言語処理系の研究
支持多种并发对象模型的语言处理系统研究
  • 批准号：
    09780243
  • 财政年份：
    1997
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
並列計算のための自己反映オブジェクト指向言語処理系
用于并行计算的自反射面向对象语言处理系统
  • 批准号：
    08780247
  • 财政年份：
    1996
  • 资助金额：
    $ 10.98万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了