Introduction to Program Synthesis
Introduction to Program Synthesis © Armando Solar-Lezama. 2018. All rights reserved. Lecture 1: Introduction and definitions The dream of automating software development has been present from the early days of the computer age. Already back in 1945, as part of his vision for the Automatic Computing Engine, Alan Turing argued that Instruction tables will have to be made up by mathematicians with co
Computer Laboratory – Course material 2010–11: Usability of Programming Languages
Principal lecturer: Dr Alan Blackwell Taken by: MPhil ACS Syllabus Lecture notes Lecture slides Assignments In order to accommodate coursework within the short Easter term, the structure of the assignments as advertised in the syllabus has been modified as follows: Assignment A (40%) - Background and experiment proposal: Friday 13 May Assignment B (60%) - Full report with analysis and findings: Mo
XP Epsiode
10 Papers Every Programmer Should Read (At Least Twice) 946 Posted by Michael Feathers Fri, 27 Feb 2009 02:49:00 GMT I spent most of yesterday afternoon working on a paper I’m co-writing. It was one of those days when the writing came easy. I was moving from topic to topic, but then I realized that I was reaching too far backward – I was explaining things which I shouldn’t have had to explain to t
6.189 Multicore Programming Primer
This page is not maintained. Please search for current computer architecture groups at https://www.csail.mit.edu/research. This is the home page for the Computer Architecture Group (CAG) at the Massachusetts Institute of Technology's Computer Science and Artificial Intelligence Laboratory. Active CAG Projects Carbon Curl Oxygen Commit O2S Related Groups Computation Structures Group Related Courses
WATANBAE Hiroshi
渡邉浩志 (WATANABE Hiroshi) 東京大学 新領域創成科学研究科 人間環境学専攻 バイオメカニクス分野 ( 工学系研究科 機械工学専攻 気付) E-Mail: nabe@sml.k.u-tokyo.ac.jp 略歴 研究概要 有限要素法プログラミング演習（fortran, C のソースコードつき）（開発版 Last update 2000 July. 12） 趣味のページ 便利なツール データベース 流体構造 2012年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・非線形有限要素法特論（冬） 2011年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・有限要素法特論（冬） 大学院講義：非線形有限要素法特論(2010) 大学院講義：有限要素法特論(2009) 大学院講義：非線形有限要
Fortranチューニング/並列プログラミング虎の巻
｢スカラー･チューニング講習会｣と｢並列プログラミング(MPI)講習会｣で配布したテキスト 理研スパコン・システム講習会（内部向け）のうち､ ｢スカラー･チューニング講習会｣と｢並列プログラミング(MPI)講習会｣で配布したテキストは、下記からダウンロード可能ですのでご自由にお使い下さい（当ページはリンクフリーです）。なお、 理研スパコン・システムのユーザーの方は、講習会で配布した、理研スパコン・システムに固有の使い方について説明した ｢補足資料 ｣ も参照して下さい。 「補足資料」は理研HPCポータル(IDが必要)の「Document」の「Programming Class Materials」の「Scalar tuning and Parallel programming (Supplement)」にあります。 注意 原稿をイメージデータとして読み込んでPDFファイル化したため ､ サ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
突如見知らぬ言語に出会ってしまった俺達は
YouTube - Lecture 2 Introduction to CELL B.E. | MIT 6.189 Multicore Programming Primer, IAP 2007
MIT OpenCourseWare OCW Home
http://nkl.cc.u-tokyo.ac.jp/08s/
Cellプログラミングチュートリアル - PS3 Linux Information Site / Cell/B.E.のパワーを体験しよう