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 | STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of DelawareAdd to Reading ListSource URL: vsl.cis.udel.eduDownload Document from Source WebsiteFile Size: 155,82 KBShare Document on Facebook |