刷新
{{item.name}}会员
Lightweight and Modular JavaScript System for Internet of Things
用于物联网的轻量级模块化 JavaScript 系统
基本信息
- 批准号：16K00103
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
JavaScript 仮想機械記述のためのドメイン特化言語
JavaScript 用于描述虚拟机的特定领域语言
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：高野保真; 鵜川始陽; 岩崎英哉
- 通讯作者：岩崎英哉
Transactional Sapphire Lessons in High-Performance, On-the-fly Garbage Collection
高性能、动态垃圾收集中的事务性蓝宝石课程
- DOI：10.1145/3226225
- 发表时间：2018
- 期刊：
- 影响因子：1.3
- 作者：Ugawa T
- 通讯作者：Ugawa T
Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN
使用 SPIN 可视化内存模型感知模型检查的反例
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Matsumoto Kosuke; Ugawa Tomoharu
- 通讯作者：Ugawa Tomoharu
SPIN用メモリモデルライブラリmmlibを使った並行コピーGCのモデル検査
使用 SPIN 内存模型库 mmlib 进行并行复制 GC 的模型检查
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：飯干 寛幸;松元 稿如;鵜川 始陽
- 通讯作者：鵜川 始陽
{{
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 }}
Ugawa Tomoharu其他文献
A verifier of directed acyclic graphs for model checking with memory consistency models
用于使用内存一致性模型进行模型检查的有向无环图验证器
- DOI：
10.1007/978-3-319-70389-3_4 - 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Ugawa Tomoharu;Abe Tatsuya;Maeda Toshiyuki;Tatsuya Abe - 通讯作者：
Tatsuya Abe
データフロー要求の変更に伴う波及効果解析
数据流需求变化引起的涟漪效应分析
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Ugawa Tomoharu; Iwasaki Hideya;大西 淳 - 通讯作者：
大西 淳
Ugawa Tomoharu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ugawa Tomoharu', 18)}}的其他基金
Persistent Managed Heap on Non-Volatile Memory
非易失性内存上的持久托管堆
- 批准号：
19K11904 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
近似計算型組込みシステムの効率的解析・設計のための基盤技術
近似计算型嵌入式系统高效分析与设计的基础技术
- 批准号：
23K20377 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
嵌入式系统模型设计混合模型检验方法的建立
- 批准号：
18K11234 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
プログラマブルデバイスとマイコンの協調制御による組込みシステム設計支援環境の構築
通过可编程器件和微控制器的协同控制构建嵌入式系统设计支持环境
- 批准号：
24919002 - 财政年份：2012
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Scientists
環境発電に適した組込みシステムのアーキテクチャとOS制御による電力管理技術の研究
适用于能量收集的嵌入式系统架构和操作系统控制的电源管理技术研究
- 批准号：
23680003 - 财政年份：2011
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
視覚障害学生のための組込みシステム学習支援環境の開発
为视障学生开发嵌入式系统学习支持环境
- 批准号：
21650218 - 财政年份：2009
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
組込みシステムの柔軟な設計探索と再利用を実現するコンポーネント機構
实现嵌入式系统灵活设计探索和复用的组件机制
- 批准号：
09J07139 - 财政年份：2009
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
組込みシステムに適したコンポーネント技術についての研究
适用于嵌入式系统的组件技术研究
- 批准号：
08J06327 - 财政年份：2008
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Sec膜透過・組込みシステムの制御
二次膜渗透/集成系统控制
- 批准号：
20059019 - 财政年份：2008
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
組込みシステムのリアルタイム性能と応答性を考慮したソフトウェア資産移行支援
考虑嵌入式系统的实时性能和响应能力的软件资产迁移支持
- 批准号：
18800053 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (Start-up)
組込みシステム向け立体音響処理に関する研究とその実装
嵌入式系统立体声处理研究及其实现
- 批准号：
18700088 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)