First Page | Document Content | |
---|---|---|
![]() Date: 2015-05-22 11:27:31Concurrent computing Application programming interfaces Message Passing Interface Jack Dongarra Model checking Formal verification Bill Gropp Actor model Computer cluster Computing Parallel computing Computer programming | Add to Reading List |