서브메뉴
검색
Formal Analysis of MPI-based Parallel Programs
Formal Analysis of MPI-based Parallel Programs
Detailed Information
- Material Type
- 기사
- ISSN
- 00010782
- Author
- Gopalakrishnan, G.
- Title/Author
- Formal Analysis of MPI-based Parallel Programs / Gopalakrishnan, G. ; Kirby, R.M. ; Siegel, S. ; Thakur, R. ; Gropp, W. ; Lusk, E. ; de Supinski, B.R. ; Schulz, M. ; Bronevetsky, G.
- Publish Info
- Broadway, NY : Association for Computing Machinery, 2011.
- Material Info
- pp. p.82-91
- General Note
- included reference
- Added Entry-Personal Name
- Kirby, R.M.
- Added Entry-Personal Name
- Siegel, S.
- Added Entry-Personal Name
- Thakur, R.
- Added Entry-Personal Name
- Gropp, W.
- Added Entry-Personal Name
- Lusk, E.
- Added Entry-Personal Name
- de Supinski, B.R.
- Added Entry-Personal Name
- Schulz, M.
- Added Entry-Personal Name
- Bronevetsky, G.
- Host Item Entry
- Communications of the ACM. : Vol. 54 No. 12 (2011. 12) 2011, 12
- Electronic Location and Access
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250346
MARC
008200113s2011 ai aa eng■022 ▼a00010782
■1001 ▼aGopalakrishnan, G.
■24510▼aFormal Analysis of MPI-based Parallel Programs ▼dGopalakrishnan, G.▼eKirby, R.M.▼eSiegel, S.▼eThakur, R.▼eGropp, W.▼eLusk, E.▼ede Supinski, B.R.▼eSchulz, M.▼eBronevetsky, G.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2011.
■300 ▼app. p.82-91
■500 ▼aincluded reference
■7001 ▼aKirby, R.M.
■7001 ▼aSiegel, S.
■7001 ▼aThakur, R.
■7001 ▼aGropp, W.
■7001 ▼aLusk, E.
■7001 ▼ade Supinski, B.R.
■7001 ▼aSchulz, M.
■7001 ▼aBronevetsky, G.
■773 ▼tCommunications of the ACM.▼gVol. 54 No. 12 (2011. 12)▼d2011, 12
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS058940▼b60077699▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
