スポンサーリンク
群馬大学工学部情報工学科 | 論文
- 集合分割の定数時間生成
- 直並列グラフの列挙
- マトロイド被覆問題に対する近似アルゴリズム
- 窓なし部屋の個数がたかだかκの方形描画の高速列挙アルゴリズム(グラフとネットワーク)
- 窓なし部屋の個数が高々kの方形描画の高速列挙アルゴリズム(セッション1)
- 分散環境における***計算機を利用したオブジェクトデータベース処理の効率化
- 二重固定極性リード・マラー論理式
- 集合値写像により記述される区分的台形回路のすべての解を求めるアルゴリズム
- 状態に依存したプログラムの合成
- 相互排他アルゴリズムのメモリ競合解析
- 単純型付き項書換え系における停止性の自動証明
- 単純型付き項書換え系における停止性の自動証明
- せん断1(砂質土)(第20回土質工学研究発表会)
- 複雑なトランジスタモデルを含む非線形抵抗回路網の区分的線形解析
- 可変長メッセージに対するTFS-DCAの性能評価
- パーミュテーショナルグラフの独立全域木
- パーミュテーショナルグラフのブロードキャスティング
- オブジェクト指向データベースシステムにおける画像オブジェクトの構成と実装
- 配列を用いたキャッシュコンシャスな索引木の提案
- 配列を用いたキャッシュコンシャスな索引木の提案