最適化検証つきコンパイラの理論と実証のための展開

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 最適化検証つきコンパイラの理論と実証のための展開
Title Transcription: サイテキカケンショウツキコンパイラノリロントジッショウノタメノテンカイ
Author/Editor: 佐藤周行, 東京大学 [著]
Author Heading: 佐藤, 周行サトウ, ヒロユキ
東京大学トウキョウダイガク
Publication, Distribution, etc.: [佐藤周行]
Publication Date: 2005-2007
2008.3
Publication Date (W3CDTF): 2005
2007
Extent: 5, 52p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 分散スケジューリング / セキュリティ / 検証 / 自律分散性 / 最適化ブンサンスケジューリング / セキュリティ / ケンショウ / ジリツブンサンセイ / サイテキカ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17500016
Holding library: 国立国会図書館
Call No.: Y151-H17500016
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009454363
http://id.ndl.go.jp/bib/000009454363
Bibliographic Record Category (NDL): 214