スポンサーリンク
金沢大学理工学域電子情報学類 | 論文
- 項書き換えシステムにおける可簡約演算子とその応用
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
- B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
- LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
- B-1 代数仕様言語CafeOBJのための拡張可能な前処理系(プログラムの理論,B.ソフトウェア)
- CyARM : 非視覚モダリティによる空間認識装置(入出力デバイス, インタラクション: 技術と展開)
- CyARM : 非視覚的モダリティによる「直感」のインタフェース(S61 ムバコン・ユーザビリティ-知的クラスター「札幌ITカロッツェリアの創成」)
- 非周期的な画素配置を持つCMOSイメージセンサの基礎検討 (情報センシング)
- C-12-16 デューティ比制御によるキャパシタ断熱充電技術(電源回路・ノイズ対策,C-12.集積回路,一般セッション)
- 改良型ABC-MT-CMOS回路を用いたスタンバイ電流0.9μAの低消費電力DSPコア
- 改良型ABC-MT-CMOS回路を用いたスタンバイ電流0.9μAの低消費電力DSPコア
- 電子百葉箱「ウェザーバケット」の開発
- 方向マスクを用いたH.264/AVC高速画面内予測アルゴリズムの性能改善(研究速報)
- C-12-23 アフィン動きモデル推定プロセッサ用逆行列計算回路(C-12. 集積回路ABC(ロジック・センサ),一般セッション)
- 低遅延画像伝送システム用JPEG2000コーデックLSIの開発(システムオンシリコン,RFID技術及び一般)
- C-12-14 ビットプレーン並列方式によるJPEG2000 EBCOT回路の開発(C-12.集積回路B(ディジタル),一般講演)
- C-12-13 JPEG 2000離散ウェーブレット変換回路の高性能化および小面積化(C-12.集積回路B(ディジタル),一般講演)
- 二次元状に配置された抵抗素子に対する省配線読み出し方式の検討
- User-defined on-demand matching