Searching for authors named "Kohei Suenaga" – sorted by Relevance.
-
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
- Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts Kohei Suenaga 1
- Cited by 1 (0 self) – Add To MetaCart
-
Fractional Ownerships for Safe Memory Deallocation
- Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku
- Add To MetaCart
-
A.: The Interface Definition Language for Fail-Safe C
- The Interface Definition Language for Fail-Safe C Kohei Suenaga † Yutaka Oiwa † Eijiro Sumii
- Cited by 2 (0 self) – Add To MetaCart
-
Extension of type-based approach to generation of stream processing programs by automatic insertion of buffering primitives
- Insertion of Buffering Primitives Kohei Suenaga ∗ , Naoki Kobayashi ∗∗ , and Akinori Yonezawa
- Cited by 4 (0 self) – Add To MetaCart
-
Resource usage analysis for the π-calculus
- Resource Usage Analysis for the π-Calculus Naoki Kobayashi 1 , Kohei Suenaga 2 , and Lucian
- Cited by 4 (0 self) – Add To MetaCart
-
RESOURCE USAGE ANALYSIS FOR THE π-CALCULUS ∗
- , KOHEI SUENAGA b , AND LUCIAN WISCHIK c a 6-3-09, Aoba, Aramaki-aza, Aoba-ku, Sendai, Miyagi, Japan e
- Add To MetaCart

