메뉴 건너뛰기




Volumn , Issue , 2009, Pages 1-12

Communication-sensitive static dataflow for parallel message passing applications

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PERFORMANCE; ARBITRARY NUMBER; BUG DETECTION; COMMUNICATION PATTERN; COMMUNICATION TOPOLOGIES; COMPILER ANALYSIS; CONTROL-FLOW GRAPHS; DATAFLOW; DEBUGGERS; PROCESS INTERACTION; REAL APPLICATIONS; RUNTIME; RUNTIME OPTIMIZATION; RUNTIME SYSTEMS; SYMBOLIC ANALYSIS;

EID: 67650509253     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2009.32     Document Type: Conference Paper
Times cited : (56)

References (22)
  • 3
  • 5
    • 2442670256 scopus 로고    scopus 로고
    • NASA Advanced Supercomputing (NAS) Division
    • NASA Advanced Supercomputing (NAS) Division. NAS Parallel Benchmarks. http://www.nas.nasa.gov/Resources/Software/npb.html.
    • NAS Parallel Benchmarks
  • 10
    • 84860018802 scopus 로고    scopus 로고
    • Lawrence Livermore National Lab. ASCI Purple Benchmarks. http://www.llnl.gov/asci/platforms/purple/rfp/benchmarks.
    • ASCI Purple Benchmarks
  • 15
    • 84978523064 scopus 로고    scopus 로고
    • University of Tennessee
    • University of Tennessee. High Performance Linpack. http://www.netlib.org/ benchmark/hpl/.
    • High Performance Linpack
  • 16
    • 38449120055 scopus 로고    scopus 로고
    • Practical model-checking method for verifying correctness of mpi programs
    • Franck Cappello, Thomas Hrault, and Jack Dongarra, editors, PVM/MPI, Springer
    • Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, and William Gropp. Practical model-checking method for verifying correctness of mpi programs. In Franck Cappello, Thomas Hrault, and Jack Dongarra, editors, PVM/MPI, volume 4757 of Lecture Notes in Computer Science, pages 344-353. Springer, 2007.
    • (2007) Lecture Notes in Computer Science , vol.4757 , pp. 344-353
    • Pervez, S.1    Gopalakrishnan, G.2    Kirby, R.M.3    Palmer, R.4    Thakur, R.5    Gropp, W.6
  • 17
    • 0034197208 scopus 로고    scopus 로고
    • ROSE: Compiler support for object-oriented frameworks
    • Dan Quinlan. Rose: Compiler Support for Object-oriented Frameworks. Parallel Processing Letters, 10(2-3):215-226, 2000. (Pubitemid 32253536)
    • (2000) Parallel Processing Letters , vol.10 , Issue.2-3 , pp. 215-226
    • Quinlan, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.