刷新
{{item.name}}会员
Session-typed programming in unreliable communication environment
不可靠通信环境下的会话式编程
基本信息
- 批准号：17K12662
- 负责人：
- 金额：$ 2.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（37）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Session Types Without Sophistry - System Description
- DOI：10.1007/978-3-030-59025-3_5
- 发表时间：2020-09
- 期刊：
- 影响因子：0
- 作者：O. Kiselyov;Keigo Imai
- 通讯作者：O. Kiselyov;Keigo Imai
Multiparty Session Programming with Global Protocol Combinators
- DOI：10.4230/darts.6.2.18
- 发表时间：2020-05
- 期刊：
- 影响因子：0
- 作者：Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
- 通讯作者：Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査
通过混合选择和超时增强多方会话类型的轻量级检查
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Keigo Imai;Rumyana Neykova;Nobuko Yoshida;Shoji Yuen;今井敬吾
- 通讯作者：今井敬吾
{{
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 }}
Imai Keigo其他文献
ソフトウェア・ハードウェア連携による深層学習処理の高効率化・高精度化・応用に向けた取り組み～エッジ・クラウド間連携を例にして～
通过软硬件协同，努力实现深度学习处理的更高效率、更高精度和应用～以边云协同为例～
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Guo Liye;Ko Hsiang-Shang;Imai Keigo;Yoshida Nobuko;Hu Zhenjiang;和田康孝 - 通讯作者：
和田康孝
ソフトとハードの連携によるコンピューターシステムの高効率化に向けた取り組み
努力通过软件和硬件的链接来提高计算机系统的效率
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Kiselyov Oleg;Imai Keigo;青戸武蔵，和田康孝，三ツ木萌;和田康孝 - 通讯作者：
和田康孝
Software-Based Resource Management Techniques for Computer Systems of Various Scales
各种规模计算机系统的基于软件的资源管理技术
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Imai Keigo;Yoshida Nobuko;Yuen Shoji;Yasutaka Wada - 通讯作者：
Yasutaka Wada
Parallel Processing and Parallelizing Compilation Technique for "Green Computing"
“绿色计算”的并行处理与并行编译技术
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Imai Keigo;Jacques Garrigue;Yasutaka Wada - 通讯作者：
Yasutaka Wada
Imai Keigo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
次世代モバイルコンピューティングのための通信と測位を融合する通信プロトコルの研究
下一代移动计算融合通信和定位的通信协议研究
- 批准号：
09J04171 - 财政年份：2009
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for JSPS Fellows
自律移動センシングロボットによるネットワークの通信プロトコルに関する研究
自主移动传感机器人网络通信协议研究
- 批准号：
08J10136 - 财政年份：2008
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for JSPS Fellows
スマートアンテナを利用するアドホックネットワーク通信プロトコルに関する研究
基于智能天线的自组织网络通信协议研究
- 批准号：
06J07000 - 财政年份：2006
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for JSPS Fellows
ユビキタス環境でのグループ通信プロトコルの設計と実装に関する研究
泛在环境下群组通信协议的设计与实现研究
- 批准号：
06J08999 - 财政年份：2006
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for JSPS Fellows
アドホックネットワークモビリティのための間欠的通信プロトコルの研究
自组织网络移动性间歇通信协议研究
- 批准号：
17700077 - 财政年份：2005
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
不要電磁波解析による情報漏洩を防ぐセキュア無線通信プロトコルの開発
开发安全无线通信协议，防止由于不必要的电磁波分析而导致信息泄露
- 批准号：
17760325 - 财政年份：2005
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
アドホックネットワークの実用化に向けた省電力通信プロトコルの研究
自组织网络实际应用的节能通信协议研究
- 批准号：
17300020 - 财政年份：2005
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
アドホックネットワークにおける通信プロトコルに関する研究
自组网通信协议研究
- 批准号：
04J50672 - 财政年份：2004
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for JSPS Fellows
大規模ネットワークにおけるGridFTPのための通信プロトコルの研究開発
大型网络中GridFTP通信协议的研究与开发
- 批准号：
16016261 - 财政年份：2004
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
耐不安定性を持つモバイルアドホックネットワークのための通信プロトコルの研究
不稳定移动自组织网络通信协议研究
- 批准号：
15700072 - 财政年份：2003
- 资助金额：
$ 2.58万 - 项目类别：
Grant-in-Aid for Young Scientists (B)