|
Publication List - Takuo Watanabe (8 / 250 entries)
Journal Paper
International Conference (Reviewed)
-
Satoshi Takimoto,
Sosuke Moriguchi,
Takuo Watanabe.
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search,
10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2025),
Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe '25),
ACM,
pp. 15-25,
Oct. 2025.
-
Go Suzuki,
Takuo Watanabe,
Sosuke Moriguchi.
Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors,
22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR 2025),
Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR ’25),
ACM,
pp. 57-70,
Oct. 2025.
-
Sosuke Moriguchi,
Satoshi Takimoto,
Mizuki Shirai,
Takuo Watanabe.
Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists,
13th Workshop on Computation: Theory and Practice (WCTP 2024),
Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024),
Atlantis Press,
pp. 7-19,
Apr. 2025.
Domestic Conference (Not reviewed / Unknown)
-
Go Suzuki,
Takuo Watanabe,
Sosuke Moriguchi.
8KiB程度の省電力コプロセッサで動くmruby/copro,
第27回 組込みシステム技術に関するサマーワークショップ(SWEST27),
Aug. 2025.
Official location
-
Yusuke Miyashita,
Sosuke Moriguchi,
Takuo Watanabe.
組込みシステム向けFPGA・CPU SoC による疎行列に着目したCNNの協調計算手法,
情報処理学会第69回組込みシステム研究会(SIGEMB69),
情報処理学会研究報告,
情報処理学会,
Vol. 2024-EMB-69,
No. 2,
July 2025.
Official location
-
Go Suzuki,
Takuo Watanabe,
Sosuke Moriguchi.
組込みデバイスのメモリ保護ユニットを活用したメモリ管理手法に向けた事前評価,
日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025),
Mar. 2025.
-
Satoshi Takimoto,
Sosuke Moriguchi,
Takuo Watanabe.
定理証明支援系のためのライブラリ検索システム作成に向けて,
日本ソフトウェア科学会第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025),
Mar. 2025.
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|