Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
VLD2005-108
長い反例のみを持つ設計誤りに対する帰納的推論を用いた検証手法
○西原 佑・松本剛史・藤田昌宏（東大）
pp. 1 - 6
VLD2005-109
システムレベル設計における電力モデル化とライブラリ構築の一手法
○押川克寛・福井正博（立命館大）
pp. 7 - 12
VLD2005-110
データの局所的活性化率を考慮した高精度静的電力解析の一手法
○山本達也・山下 優・押川克寛・福井正博（立命館大）
pp. 13 - 18
VLD2005-111
設計ナビゲーション機構を有するシステムLSI設計のためのHW/SW分割システム
○小島洋平・戸川 望（早大）・橘 昌良（高知工科大）・柳澤政生・大附辰夫（早大）
pp. 19 - 24
VLD2005-112
動的フローに適応したネットワークプロセッサの改良とその評価
○田淵英孝・小原俊逸・戸川 望・柳澤政生・大附辰夫（早大）
pp. 25 - 30
VLD2005-113
クラスタ分割を用いたスケジューリング法の効率化
○砂走裕一・小平行秀・高橋篤司（東工大）
pp. 31 - 36
VLD2005-114
メモリ配置最適化によるウェイ予測キャッシュの低消費電力化
○今井陽平・本田晋也・冨山宏之・高田広章（名大）
pp. 37 - 42
VLD2005-115
SIMD型プロセッサコアの自動合成におけるパイプライン構成最適化手法
○栗原 輝・戸川 望・柳澤政生・大附辰夫（早大）
pp. 43 - 48
VLD2005-116
デジタルシネマ用JPEG 2000エンコーダ向け並列CBMアルゴリズム及びLSIアーキテクチャ
○伊東 健・池永 剛（早大）・中村 創（富士通デバイス）
pp. 49 - 54
VLD2005-117
IEEE802.16e対応LDPCデコーダの高性能化に関する検討
○我喜屋良太・和田知久（琉球大）
pp. 55 - 60
VLD2005-118
奥行情報を用いた携帯端末向けリアルタイム人物抽出LSI
○有門智弘・後藤 敏・池永 剛（早大）
pp. 61 - 66
VLD2005-119
Ｃ言語による粒子追跡システムの設計
○上津寛和・大口貴裕・上甲憲市・酒井皓司・神戸尚志（近畿大）
pp. 67 - 72
VLD2005-120
Java言語によるシステムＬＳＩ設計環境の提案
○小山 学・寺井裕幸・中原和彦・松本真樹（近畿大）・山田晃久（シャープ）・神戸尚志（近畿大）
pp. 73 - 78
VLD2005-121
高位検証における等価論理式への変換手法について
○鄭 光フン・木村晋二（早大）
pp. 79 - 84
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。