2007 |
4 | EE | Liangwei Ge,
Song Chen,
Kazutoshi Wakabayashi,
Takashi Takenaka,
Takeshi Yoshimura:
Max-Flow Scheduling in High-Level Synthesis.
IEICE Transactions 90-A(9): 1940-1948 (2007) |
2006 |
3 | EE | Takashi Takenaka,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan 37(6): 64-72 (2006) |
1999 |
2 | EE | Takashi Takenaka,
Junji Kitamichi,
Teruo Higashino,
Kenichi Taniguchi:
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
ASP-DAC 1999: 177-180 |
1995 |
1 | EE | Masahiro Hori,
Yuichi Nakamur,
Hirayuki Satoh,
Keiichi Maruyama,
Toshiyuki Kama,
Seigo Honda,
Takashi Takenaka,
Fumimaro Sekine:
Knowledge-level analysis for eliciting composable scheduling knowledge.
AI in Engineering 9(4): 253-264 (1995) |