A Verification Language for High Performance Computing
Presenter
Event Type
Workshop
Applications
Correctness
Debugging
Reliability
SIGHPC Workshop
Verification
TimeSunday, November 12th9:10am - 10am
Location501
Description
Presenter
Presentation
The International Conference for High Performance Computing, Networking, Storage and Analysis
