スポンサーリンク
九州大学工学部情報工学科 | 論文
- リエナール方程式の区分線形近似による解の誤差に関する一考察
- 確率的手法によるCRCW PRAM間の模倣について
- 積極的決済を可能とするエスクロー型匿名電子小切手システム
- 日本語文における並列構造の簡便な推定法および推敲支援への適用
- 双方向学習支援システムMICE
- 文章推敲における並列構造の指摘
- ファンイン制限つきトランスダクション法におけるゲート変更の導入
- 遅延を考慮したトランスダクション法におけるファンイン制限手法
- トランスダクション法のための3段初期回路生成手続きの改良とその評価
- OR表現を含むデータベース質問に対する自然言語表現の生成
- メッシュバス上での最小全域木アルゴリズム
- 計算機マニュアルの分かりやすさの定量的評価方法
- 『順風』: MSP (Multi threaded Streaming/FIFO)型ベクトル・プロセッサ・プロトタイプ : MSFV アーキテクチャに関する評価 (並列処理)
- 『順風』 : MSF(Multithreaded Streaming/FIFO)型 ベクトル・プロセッサ・プロトタイプ : MSFVアーキテクチャに関する評価
- 注釈付き論理プログラミングへの含意の入れ子表現の導入について
- Annotated Logic Programmingにおける矛盾の処理について
- 並行処理プログラムにおける共有変数のデータフローテスト基準
- 並行プログラムにおける広域データフローテスト基準の拡張
- 並行プログラムにおける広域データフローを用いたテスト基準の提案
- Rainbow型電子署名の鍵長削減に関する一考察