Скачать Linnk AI
•
Научный ассистент
>
Войти
аналитика
-
OpenMP 程式自動修復
LLOR:自動修復 OpenMP 程式中資料競爭錯誤的工具
LLOR 是一款能夠自動修復 C/C++ 和 Fortran 語言 OpenMP 程式中資料競爭錯誤的工具,它採用基於反例的修復技術,並透過插入或移除同步機制來確保程式的正確性。
1