The rodent model of myocardial infarction (MI) is extensively used in heart failure studies. However, long-term follow-up of echocardiographic left ventricular (LV) function parameters such as the myocardial performance index (MPI) and its ratio with the fractional shortening (LVFS/MPI) has not been validated in conjunction with invasive indexes, such as those derived from the conductance cathe...

Individuals with congenital disorders of glycosylation (CDG) have recessive mutations in genes required for protein N-glycosylation, resulting in multi-systemic disease. Despite the well-characterized biochemical consequences in these individuals, the underlying cellular defects that contribute to CDG are not well understood. Synthesis of the lipid-linked oligosaccharide (LLO), which serves as ...

My research concentrates on e cient implementation of parallel le systems. Its main focus are MPI-IO systems for distributed memorymultiprocessors. The target platform for the developed code is the NEC Cenju-3 supercomputer, however the sources are directly portable to any homogeneous MPP running the Mach 3.0 microkernel. An important feature of my implementation is that I/O nodes of the underl...

We explore issues related to the application of finite-state verification techniques to scientific computation software employing the widely-used Message-Passing Interface (MPI). Many of the features of MPI that are important for programmers present significant difficulties for model checking. In this paper, we examine a small parallel program that computes the evolution in time of a discretize...

InfiniBand (IB) is a popular network technology for modern high-performance computing systems. MPI implementations traditionally support IB using a reliable, connection-oriented (RC) transport. However, per-process resource usage that grows linearly with the number of processes, makes this approach prohibitive for large-scale systems. IB provides an alternative in the form of a connectionless u...

AIM Myocardial performance index (MPI) is usually measured with pulsed wave Doppler (PWD). Our aim was to assess the degree of agreement between PWD and a method based on tissue Doppler imaging (TDI). METHODS AND RESULTS Seventy-five patients with prior myocardial infarction and 20 healthy subjects underwent measurement of time intervals and MPI with PWD and pulsed TDI at septal and lateral s...

The BlueGene/L supercomputer will consist of 65,536 dual-processor compute nodes interconnected by two high-speed networks: a three-dimensional torus network and a tree topology network. Each compute node can only address its own local memory, making message passing the natural programming model for BlueGene/L. In this paper we present our implementation of MPI for BlueGene/L. In particular, we...

Lung alveolar macrophages (AMs) are in the first line of immune defense against respiratory pathogens and play key roles in the pathogenesis of Mycobacterium tuberculosis (Mtb) in humans. Nevertheless, AMs are available only in limited amounts for in vitro studies, which hamper the detailed molecular understanding of host-Mtb interactions in these macrophages. The recent establishment of the se...

Mitochondrial protein import (MPI) is essential for the biogenesis of mitochondria in all eukaryotes. Current models of MPI are predominantly based on experiments with one group of eukaryotes, the opisthokonts. Although fascinating genome database-driven hypotheses on the evolution of the MPI machineries have been published, previous experimental research on non-opisthokonts usually focused on ...

Hybrid (mixed MPI/thread) programs are extremely important for efficiently programming future HPC systems. In this paper, we report our experience adapting ISP [3,4,5], our dynamic verifier for MPI programs, to verify a large hybrid MPI/Pthread program called Eddy Murphi [1]. ISP is a stateless model checker that works by replaying schedules leading up to previously recorded nondeterministic se...