スポンサーリンク
金沢大学理工学域電子情報学類 | 論文
- 実時間画像処理VLSIの研究(招待講演,システムLSIの応用と要素技術,プロセッサ,DSP,画像処理技術及び一般)
- 実時間オプティカルフロープロセッサの開発とFPGAを用いた検証システムの構築(スマートパーソナルシステム,一般)
- 導電性布を用いたウェアラブルデバイスの機能再構成に関する検討(UBI7:ネットワーク・デバイス制御)
- 導電性布を用いたウェアラブルデバイスの機能再構成に関する検討(UBI7:ネットワーク・デバイス制御)
- ASSP向けVLIWコード圧縮技法
- ASSP向けVLIWコード圧縮技法
- ASSP向けVLIWコード圧縮技法
- 浮動小数点累乗演算器の高速化
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- CafeOBJ入門(1) : 形式手法とCafeOBJ
- LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
- モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
- OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
- 項書き換えシステムにおける可簡約演算子とその応用