読者です 読者をやめる 読者になる 読者になる

はまやんはまやんはまやん

hamayanhamayan's blog

研究

Windows BashでGKLEEを動作させるまで

GKLEEとは GPUプログラムの検証ソフトウェア Utah大学の研究成果 サイト 実行環境 Windows 10 Home 64bits Windows Bash GKLEE コミットf77577343c67a3f1815ce5e802e2c933f8df876a 環境構築 1. 必要な物を入れる sudo apt-get install git bison flex libboo…

並列プロセス概観

並列プロセスの形式的解析 この辺を見ると大体つかめる https://ja.wikipedia.org/wiki/並行性 https://ja.wikipedia.org/wiki/プロセス計算 並列的相互作用と通信 共有メモリ通信 メッセージパッシング通信 メッセージパッシング通信 Erlang, Occamなどでプ…

モデル検査とその手法

モデル検査 システムがある性質を満たすかを形式的に検証すること。 システムはプログラムとか仕様でもいい。 ある性質は活性とか、単にこういう値にならないとか。以下、よく使われる手法。 帰納法 論文 2011年 Software Verification Using k-Induction

GPUプログラム検証まとめ

GPUプログラム検証? プログラム検証という研究分野がある。 検証の意味合いについては色々あるが、GPUプログラム上での検証は主にデータ競合の検知が重要となる。 そのデータ競合の検知についての最近の研究についてまとめていく。最近の事情の俯瞰には、書…