dblp.uni-trier.dewww.uni-trier.de

Takashi Takenaka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EELiangwei 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
3EETakashi 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
2EETakashi 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
1EEMasahiro 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)

Coauthor Index

1Song Chen [4]
2Liangwei Ge [4]
3Teruo Higashino [2] [3]
4Seigo Honda [1]
5Masahiro Hori [1]
6Toshiyuki Kama [1]
7Junji Kitamichi [2]
8Keiichi Maruyama [1]
9Yuichi Nakamur [1]
10Kozo Okano [3]
11Hirayuki Satoh [1]
12Fumimaro Sekine [1]
13Kenichi Taniguchi [2] [3]
14Kazutoshi Wakabayashi [4]
15Takeshi Yoshimura [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)