NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.016 seconds)
1

基本対称関数に基づく節をもつCNF論理式の充足可能性判定

KUSAKARI, Keiichirou, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, UMANO, Yohei, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 馬野, 洋平 01 January 2010 (has links)
No description available.
高速化
基本対称関数
充足可能性
SATソルバ
2

実応用電磁界有限要素解析のための高性能線形ソルバに関する研究

仙波, 和樹 23 March 2015 (has links)
京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19127号 / 情博第573号 / 新制||情||100(附属図書館) / 32078 / 京都大学大学院情報学研究科システム科学専攻 / (主査)教授 中島 浩, 教授 中村 佳正, 教授 石井 信 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM
電磁界有限要素解析
高速化
代数マルチグリッド前処理
折り畳み前処理
マルチスレッド並列処理
007

Page generated in 0.021 seconds