Zobrazit v EDS

Formal analysis of MPI-based parallel programs.

Uloženo v:
Podrobná bibliografie
Název: Formal analysis of MPI-based parallel programs.
Autoři: Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, Greg
Zdroj: Communications of the ACM. Dec2011, Vol. 54 Issue 12, p82-91. 10p.
Témata: *MESSAGE passing (Computer science), *PARALLEL processing, *APPLICATION program interfaces, *HIGH performance computing, *DEBUGGING, *PARALLEL programming
Abstrakt: 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).
Databáze: Academic Search Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:asx&genre=article&issn=00010782&ISBN=&volume=54&issue=12&date=20111201&spage=82&pages=82-91&title=Communications of the ACM&atitle=Formal%20analysis%20of%20MPI-based%20parallel%20programs.&aulast=Gopalakrishnan%2C%20Ganesh&id=DOI:10.1145/2043174.2043194
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Gopalakrishnan%20G
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: asx
DbLabel: Academic Search Index
An: 69924581
RelevancyScore: 1269
AccessLevel: 6
PubType: Periodical
PubTypeId: serialPeriodical
PreciseRelevancyScore: 1269.06958007813
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal analysis of MPI-based parallel programs.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Gopalakrishnan%2C+Ganesh%22">Gopalakrishnan, Ganesh</searchLink><br /><searchLink fieldCode="AR" term="%22Kirby%2C+Robert+M%2E%22">Kirby, Robert M.</searchLink><br /><searchLink fieldCode="AR" term="%22Siegel%2C+Stephen%22">Siegel, Stephen</searchLink><br /><searchLink fieldCode="AR" term="%22Thakur%2C+Rajeev%22">Thakur, Rajeev</searchLink><br /><searchLink fieldCode="AR" term="%22Gropp%2C+William%22">Gropp, William</searchLink><br /><searchLink fieldCode="AR" term="%22Lusk%2C+Ewing%22">Lusk, Ewing</searchLink><br /><searchLink fieldCode="AR" term="%22De+Supinski%2C+Bronis+R%2E%22">De Supinski, Bronis R.</searchLink><br /><searchLink fieldCode="AR" term="%22Schulz%2C+Martin%22">Schulz, Martin</searchLink><br /><searchLink fieldCode="AR" term="%22Bronevetsky%2C+Greg%22">Bronevetsky, Greg</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Communications+of+the+ACM%22">Communications of the ACM</searchLink>. Dec2011, Vol. 54 Issue 12, p82-91. 10p.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: *<searchLink fieldCode="DE" term="%22MESSAGE+passing+%28Computer+science%29%22">MESSAGE passing (Computer science)</searchLink><br />*<searchLink fieldCode="DE" term="%22PARALLEL+processing%22">PARALLEL processing</searchLink><br />*<searchLink fieldCode="DE" term="%22APPLICATION+program+interfaces%22">APPLICATION program interfaces</searchLink><br />*<searchLink fieldCode="DE" term="%22HIGH+performance+computing%22">HIGH performance computing</searchLink><br />*<searchLink fieldCode="DE" term="%22DEBUGGING%22">DEBUGGING</searchLink><br />*<searchLink fieldCode="DE" term="%22PARALLEL+programming%22">PARALLEL programming</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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).
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=asx&AN=69924581
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/2043174.2043194
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 82
    Subjects:
      – SubjectFull: MESSAGE passing (Computer science)
        Type: general
      – SubjectFull: PARALLEL processing
        Type: general
      – SubjectFull: APPLICATION program interfaces
        Type: general
      – SubjectFull: HIGH performance computing
        Type: general
      – SubjectFull: DEBUGGING
        Type: general
      – SubjectFull: PARALLEL programming
        Type: general
    Titles:
      – TitleFull: Formal analysis of MPI-based parallel programs.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Gopalakrishnan, Ganesh
      – PersonEntity:
          Name:
            NameFull: Kirby, Robert M.
      – PersonEntity:
          Name:
            NameFull: Siegel, Stephen
      – PersonEntity:
          Name:
            NameFull: Thakur, Rajeev
      – PersonEntity:
          Name:
            NameFull: Gropp, William
      – PersonEntity:
          Name:
            NameFull: Lusk, Ewing
      – PersonEntity:
          Name:
            NameFull: De Supinski, Bronis R.
      – PersonEntity:
          Name:
            NameFull: Schulz, Martin
      – PersonEntity:
          Name:
            NameFull: Bronevetsky, Greg
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Text: Dec2011
              Type: published
              Y: 2011
          Identifiers:
            – Type: issn-print
              Value: 00010782
          Numbering:
            – Type: volume
              Value: 54
            – Type: issue
              Value: 12
          Titles:
            – TitleFull: Communications of the ACM
              Type: main
ResultId 1