View in EDS HTML Full Text

Formal analysis of MPI-based parallel programs.

Saved in:
Bibliographic Details
Title: Formal analysis of MPI-based parallel programs.
Authors: Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, Greg
Source: Communications of the ACM; Dec2011, Vol. 54 Issue 12, p82-91, 10p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
FullText Text:
  Availability: 1
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 69924581
AccessLevel: 2
PubType: Periodical
PubTypeId: serialPeriodical
PreciseRelevancyScore: 0
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="AU" term="%22Gopalakrishnan%2C+Ganesh%22">Gopalakrishnan, Ganesh</searchLink><br /><searchLink fieldCode="AU" term="%22Kirby%2C+Robert+M%2E%22">Kirby, Robert M.</searchLink><br /><searchLink fieldCode="AU" term="%22Siegel%2C+Stephen%22">Siegel, Stephen</searchLink><br /><searchLink fieldCode="AU" term="%22Thakur%2C+Rajeev%22">Thakur, Rajeev</searchLink><br /><searchLink fieldCode="AU" term="%22Gropp%2C+William%22">Gropp, William</searchLink><br /><searchLink fieldCode="AU" term="%22Lusk%2C+Ewing%22">Lusk, Ewing</searchLink><br /><searchLink fieldCode="AU" term="%22De+Supinski%2C+Bronis+R%2E%22">De Supinski, Bronis R.</searchLink><br /><searchLink fieldCode="AU" term="%22Schulz%2C+Martin%22">Schulz, Martin</searchLink><br /><searchLink fieldCode="AU" 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
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=69924581
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/2043174.2043194
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 82
    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