Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Identifying trophic variation in a marine suspension feeder:DNA- and stable isotope-based dietary analysis in Mytilus spp.

Accurate field data on trophic interactions for suspension feeders are lacking, and new approaches to dietary analysis are necessary. Polymerase chain reaction-denaturing gradient gel electrophoresis (PCR-DGGE) was integrated with stable isotope analysis to examine dietary patterns in suspension-feeding Mytilus spp. from seven spatially discrete locations within a semi-enclosed marine bay (Strangford Lough, Northern Ireland) during June 2009. Results of the two methods were highly correlated, reflecting dietary variation in a similar manner. Variation in PCR-DGGE data was more strongly correlated with the principal environmental gradient (distance from the opening to the Irish Sea), while values of dC and dN became progressively enriched, suggesting a greater dependence on animal tissue and benthic microalgae. Diatoms and crustaceans were the most frequently observed phylotypes identified by sequencing, but specific DNA results provided little support for the trophic trends observed in the stable isotope data. This combined approach offers an increased level of trophic insight for suspension feeders and could be applied to other organisms. © 2012 Springer-Verlag Berlin Heidelberg.