See this document in CiteSeerX!

Semantic Checking in HPJava  (Make Corrections)  
Bryan Carpenter, Geoffrey Fox, Guansong Zhang



  Home/Search   Context   Related

 
View or download:
syr.edu/projects/pcrc/...translation.ps
rice.edu/pub/CRPC...CRPCTR99802.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  syr.edu/projects/pcrc/HPJava/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The article discusses various rules about use of distributed arrays in HPJava programs. These rules are peculiar to the HPspmd programming model. They can be enforced by a combination of static semantic checks, compile-time analysis and compiler-generated run-time checks. We argue that the the cost of any necessary run-time checks should be acceptable, because, by design, the associated computations can be lifted out of inner loops. (Update)

Similar documents (at the sentence level):
76.9%:   Semantic Checking in HPJava - Carpenter, Fox, Zhang (2000)   (Correct)
20.9%:   An HPspmd Programming Model (Extended Abstract) - Carpenter, al. (1999)   (Correct)

Active bibliography (related documents):   More   All
0.4:   HPspmd: Data Parallel SPMD Programming Models from Fortran to.. - Carpenter, Fox (1998)   (Correct)
0.1:   HPJava: Programming Support for High-Performance.. - Lee, Carpenter, Fox, Lim (2004)   (Correct)
0.1:   Platforms for HPJava: Runtime Support for Scalable Programming in.. - Lim (2003)   (Correct)

Similar documents based on text:   More   All
1.1:   Benchmarking HPJava: Prospects for Performance - Lee, Carpenter, Fox, Lim   (Correct)
0.9:   Towards Efficient Compilation of the HPJava Language for High.. - Lee (2003)   (Correct)
0.5:   Considerations in HPJava language design and implementation - Zhang, Carpenter, Fox, Li, .. (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ carpenter-semantic,
  author = "Bryan Carpenter and Geoffrey Fox and Guansong Zhang",
  title = "Semantic Checking in {HPJava}",
  url = "citeseer.ist.psu.edu/331208.html" }
Citations (may not include all citations):
912   MPI: A Message-Passing Interface Standard - Interface - 1995  ACM
835   High Performance Fortran language specification - Fortran - 1993  ACM
394   The High Performance Fortran Handbook (context) - Koelbel, Loveman et al. - 1994
145   Compiling global name-space parallel loops for distributed e.. (context) - Koelbel, Mehrotra - 1991
115   Communication optimizations for irregular scientific computa.. - Das, Uysal et al. - 1994  ACM   DBLP
74   Updating distributed variables in local computations (context) - Gerndt - 1990
34   The Global Array: Nonuniform -memory-access programming mode.. - Nieplocha, Harrison et al. - 1996
30   ScaLAPACK User's Guide (context) - Blackford, Choi et al. - 1997  ACM
27   Systems engineering for high performance computing software:.. - Parashar, Browne
19   A ZPL programming guide (context) - Snyder - 1997
16   A simple parallel extension to Fortran (context) - Numrich, Steidel - 1997
16   Towards a Java environment for SPMD programming - Carpenter, Zhang et al. - 1998  ACM   DBLP
14   Language bindings for a data-parallel runtime - Carpenter, Fox et al. - 1998  ACM   DBLP
12   Run-time data distribution for blockstructured applications .. - Fink, Baden - 1995

Documents on the same site (http://www.npac.syr.edu/projects/pcrc/HPJava/):
An HPspmd Programming Model (Extended Abstract) - Carpenter, al. (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC