Formal analysis of MPI-based parallel programs.
The article analyzes parallel computer programs which were developed using the Message Passing Interface (MPI) application programming interface (API). The article examines the importance of MPI in high-performance computing (HPC) and looks at methods of debugging applications. Other topics include...
| Publicado en: | Communications of the ACM Vol. 54; no. 12; pp. 82 - 92 |
|---|---|
| Autores principales: | , , , , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Dec2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=69924581&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 69924581 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2011 vid: 54 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 69924581 10.1145/2043174.2043194 ppf: 82 ppct: 10 formats: tig: atl: Formal analysis of MPI-based parallel programs. aug: au: Gopalakrishnan, Ganesh Kirby, Robert M. Siegel, Stephen Thakur, Rajeev Gropp, William Lusk, Ewing De Supinski, Bronis R. Schulz, Martin Bronevetsky, Greg su: Message passing (Computer science) Parallel processing Application program interfaces High performance computing Debugging Parallel programming sug: subj: Message passing (Computer science) Parallel processing Application program interfaces High performance computing Debugging Parallel programming ab: The article analyzes parallel computer programs which were developed using the Message Passing Interface (MPI) application programming interface (API). The article examines the importance of MPI in high-performance computing (HPC) and looks at methods of debugging applications. Other topics include dynamic verification, symbolic execution, and static analysis. The author examines the ISP Formal Verification Tool, the Graphical Explorer of Message passaging (GEM) tool, and the Distributed Analyzer of MPI (DAMPI). pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|