ATOS10
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
開始行:
[[イベント情報]]
*第10回AT研究会オープンアカデミックセッション(ATOS10) [#v...
日時:2014年10月15日(水) 15:00~17:00 (14:45より開場)
会場:山梨大学甲府キャンパス 情報メディア館4階会議室
http://sojo.yamanashi.ac.jp/facilities/facil-kofu/media-4...
http://www.yamanashi.ac.jp/modules/footer_menu/index.php?...
** 講演1. 高速SATソルバーのアルゴリズムと並列化の動向 [#c...
***講演者:鍋島英知(山梨大学) [#m1e7c9d1]
***アブストラクト [#q8326332]
命題論理式の充足可能性判定問題(SAT)は,計算機科学における...
** 講演2.細粒度性能チューニング事例データベースの構築と、...
*** 講演者:橋本 政朋(理化学研究所 計算科学研究機構) [#...
*** アブストラクト [#y42bc8e9]
我々は、高度な専門的知識を要する性能チューニング作業を支...
細粒度性能チューニング事例データベースとは、専門家による...
本発表ではこれらの取り組みについて、その概要を説明する。
終了行:
[[イベント情報]]
*第10回AT研究会オープンアカデミックセッション(ATOS10) [#v...
日時:2014年10月15日(水) 15:00~17:00 (14:45より開場)
会場:山梨大学甲府キャンパス 情報メディア館4階会議室
http://sojo.yamanashi.ac.jp/facilities/facil-kofu/media-4...
http://www.yamanashi.ac.jp/modules/footer_menu/index.php?...
** 講演1. 高速SATソルバーのアルゴリズムと並列化の動向 [#c...
***講演者:鍋島英知(山梨大学) [#m1e7c9d1]
***アブストラクト [#q8326332]
命題論理式の充足可能性判定問題(SAT)は,計算機科学における...
** 講演2.細粒度性能チューニング事例データベースの構築と、...
*** 講演者:橋本 政朋(理化学研究所 計算科学研究機構) [#...
*** アブストラクト [#y42bc8e9]
我々は、高度な専門的知識を要する性能チューニング作業を支...
細粒度性能チューニング事例データベースとは、専門家による...
本発表ではこれらの取り組みについて、その概要を説明する。
ページ名: