OpenMP並行程式自動化驗證理論與工具之開發

Project title

OpenMP並行程式自動化驗證理論與工具之開發

Internal ID

100-2221-E-002-122-MY3

Principal Investigator

Start Date

August 1, 2012

End Date

July 31, 2013

Partner Organizations

National Science and Technology Council