Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
モデル チェックに Promela を使用して Spin を評価していますが、処理時間が問題になります。マルチコアを使用して計算を改善できることを見てきましたが、計算を高速化するための GPU/Cuda サポートについてはどうですか? 私はこれを行うことができますか？
エイドリアンよろしく