GPGPUããã°ã©ãã³ã°ã®ããã®Rubyè¨èªå¦çç³»Ikra GPGPUã¯ãã®æ§è½ã注ç®ãããä¸æ¹ã§ãããã°ã©ãã³ã°ã®æéãåé¡ã¨ãªã£ã¦ãã¾ããããã§ãRubyããã®è¨èªå¤æã«ããç°¡åã«GPGPUããã°ã©ã ãä½æãããã¨ã®ã§ããè¨èªå¦çç³»Ikraãææ¡ãã¾ããè¨èªå¤æã¨ããææ³ãç¨ãããã¨ã«ãããã«ã¼ãã«(GPUå®è¡é¨)å ãRubyã§è¨è¿°ãããã¨ãå¯è½ã¨ãªãã¾ãã ã½ã¼ã¹ã³ã¼ã https://prg-titech.github.io/ikra-ruby/ é¢é£ããã¸ã§ã¯ã Ikraããã¸ã§ã¯ãããæ´¾çãã¦ä½ã¬ãã«è¨èªãä»è¨èªã§ã®ç 究ãã¾ãä»æ§æ¤è¨¼ãªã©ã«ãåãçµãã§ãã¾ãã DynaSOAr: Efficient Parallel Object Allocator for GPGPU Proof of Soundness of Concurrent Separation Logic for
{{#tags}}- {{label}}
{{/tags}}