Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
ICD2005-225
Verifying Deep Bugs by Model Checking and Inductive Approach
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita (Tokyo Univ.)
pp. 1 - 6
ICD2005-226
An algorithm for power modeling and library building for system level design
Katsuhiro Oshikawa, Masahiro Fukui (Rits)
pp. 7 - 12
ICD2005-227
An accurate static power analysis method which considers local switching activities
Tatsuya Yamamoto, Yuu Yamashita, Katsuhiro Oshikawa, Masahiro Fukui (Rits)
pp. 13 - 18
ICD2005-228
A hardware/software partitioning system with design navigation for system LSIs
Yohei Kojima, Nozomu Togawa (Waseda Univ.), Masayoshi Tachibana (Kouchi Univ. of Technology), Masao Yanagisawa, Tatsuo Ohtsuki (Waseda Univ.)
pp. 19 - 24
ICD2005-229
Improved Network Processor for Dynamic Packet Flows and Its Experimental Evaluations
Hidetaka Tabuchi, Shunitsu Kohara, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki (Waseda Univ.)
pp. 25 - 30
ICD2005-230
Improvement of Clustering Based Clock Scheduling Method
Yuuichi Sunahashiri, Yukihide Kohira, Atsushi Takahashi (Tokyo Tech)
pp. 31 - 36
ICD2005-231
A Code Placement Technique for Power Minimization of Way-Predicting Caches
Yohei Imai, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.)
pp. 37 - 42
ICD2005-232
A pipeline architecture optimization algorithm for SIMD-type processor core synthesis
Akira Kurihara, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki (Waseda Univ.)
pp. 43 - 48
ICD2005-233
Parallel CBM Algorithm and Architecture for JPEG 2000 Encoder for Digital Cinema
Takeshi Ito, Takeshi Ikenaga (WASEDA Univ.), Sou Nakamura (FDI)
pp. 49 - 54
ICD2005-234
Investigation on high performance LDPC decoder for IEEE802.16e
Ryota Gakiya, Tomohisa Wada (Univ. Ryukyu)
pp. 55 - 60
ICD2005-235
A Real-time Object Detection LSI Based on Stereo Vision for Mobile Videophone
Tomohiro Arikado, Satoshi Goto, Takeshi Ikenaga (Waseda Univ.)
pp. 61 - 66
ICD2005-236
C-based design of a Particle Tracking System
Hirokazu Uetsu, Takahiro Ohguchi, Kenichi Jyoko, Koji Sakai, Takashi Kambe (Kinki Univ.)
pp. 67 - 72
ICD2005-237
A System LSI Design Environment with Java Language
Manabu Koyama, Hiroyuki Terai, Kazuhiko Nakahara, Masaki Matsumoto (Kinki Univ.), Akihisa Yamada (SHARP), Takashi Kambe (Kinki Univ.)
pp. 73 - 78
ICD2005-238
Conversion Method from High-Level hardware Description to Equivalence Logic Formulae
Kwanghoon Jung, Shinji Kimura (Waseda Univ)
pp. 79 - 84