|
Search the dblp DataBase
Takashi Takenaka:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. [Citation Graph (0, 0)][DBLP] ASP-DAC, 1999, pp:177-180 [Conf]
- Masahiro Hori, Yuichi Nakamur, Hirayuki Satoh, Keiichi Maruyama, Toshiyuki Kama, Seigo Honda, Takashi Takenaka, Fumimaro Sekine
Knowledge-level analysis for eliciting composable scheduling knowledge. [Citation Graph (0, 0)][DBLP] AI in Engineering, 1995, v:9, n:4, pp:253-264 [Journal]
- Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Symbolic model checking of extended finite state machines with linear constraints over integer variables. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2006, v:37, n:6, pp:64-72 [Journal]
Search in 0.001secs, Finished in 0.001secs
|