Searching for authors named "Kohei Suenaga" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
