キーワード CSNagoya が含まれる動画 ： 5 件中 1 - 5 件目
種類:
- タグ
- キーワード
対象:
CoqでGCを証明してみたよ （ CSNagoya 第5回GC本読書会 vol.5）
CSNagoya 第5回GC本読書会におけるid:mzp さんの発表です。スライド - http://d.hatena.ne.jp/mzp/20100808/gc みずぴー日記 - http://d.hatena.ne.jp/mzp/ CSNagoya - http://www.jamboree.jp/cs/
iPhone/iPadのメモリ管理 （ CSNagoya 第5回GC本読書会 vol.5）
CSNagoya 第5回GC本読書会におけるid:sunflatさんの発表です。スライド - http://www.slideshare.net/sunflat/iphone-and-ipad-memory-management サンフラットの開発日記 - http://d.hatena.ne.jp/sunflat/ CSNagoya - http://www.jamboree.jp/cs/
Precise Garbage Collection for C の紹介 （ CSNagoya 第5回GC本読書会 vol.5）
CSNagoya 第5回GC本読書会におけるid:miura1729 さんの発表です。スライド - http://www.slideshare.net/miura1729/precise-garbagecollection-forc miura1729の日記 - http://d.hatena.ne.jp/miura1729/ CSNagoya - http://www.jamboree.jp/cs/
GC in C++0x（ CSNagoya 第5回GC本読書会 vol.5）
CSNagoya 第5回GC本読書会における @yak_ex さんの発表です。スライド - http://www.slideshare.net/yak1ex/gc-in-c0x-4923195 物置 - http://yak3.myhome.cx:8080/junks/ CSNagoya - http://www.jamboree.jp/cs/
[rk10][29S03] yarv2llvmはどう失敗したのか
![[rk10][29S03] yarv2llvmはどう失敗したのか](https://nicovideo.cdn.nimg.jp/thumbnails/11929507/11929507)
Hideki Miura (CSNagoya)
yarv2llvmはCRubyのVMの命令列をllvmに変換するトランスレータである。生成するllvmの実行効率を上げるために、型推論を用いるのが特徴である。 yarv2llvmはフィボナッチ級数プログラムでRuby1.9の約40倍の実行速度を得るなど、一定の成果が得られた。一方で、事前に予想していたことではあるが、すべてのRubyプログラムがうまくllvmに変換できるわけではないことも明らかになった。 この発表ではyarv2llvmではうまく変換できないRubyプログラム例とその解決案を説明する。さらに、フルセットRubyをサポートすることを目的に現在開発中の次世代トランスレータ(ytl)の概要を紹介する。