Oregon Programming Languages Summer School
Oregon Programming Languages Summer School — July 22-August 3, 2013 Types, Logic, and Verification Speakers Organizers Curriculum Schedule Participants Coq Preparation and Boot Camp Several of the course lecture sequences will assume basic familiarity with the use of the Coq proof assistant. In particular, the lecture sequence Software Foundations in Coq, based on the book of the same name [availa
458 Lecture Notes
458 Lecture Notes 458 Lecture Notes 01-intro 02-threads 03-scalable_sync 04-concurrent_data_structures 05-coherence_etc 06-MPI.pdf 07-OpenMP 08-speedup 09-TM 10-SEDA_Capriccio 11-distribution 12-SDSM 2006-03-29_kshen_parallel_IO.pdf fault_tolerance Gauss MP_architecture parallelization README.txt SunFire_Regatta This directory contains lecture notes for CSC2/458, spring 2008. These are posted on
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
