The symmetric multiprocessing (SMP) cluster system, which consists of shared memory nodes with several multicore central processing units connected to a high-speed network to form a distributed memory system, is the most widely available hardware architecture for the high-performance computing community. Today, the Message Passing Interface (MPI) is the most widely used parallel programming par...

OBJECTIVES To evaluate the diagnostic accuracy (DA) of CT-myocardial perfusion imaging (CT-MPI) and a combined approach with CT angiography (CTA) for the detection of haemodynamically relevant coronary stenoses in patients with both suspected and known coronary artery disease. DESIGN Prospective, non-randomised, diagnostic study. SETTING Academic hospital-based study. PATIENTS 65 patients...

Myocardial perfusion imaging (MPI) is an important procedure in pediatric cardiology in terms of evaluating myocardial ischemia, infarction and damage associated with various congenital or acquired heart diseases, such as Kawasaki disease, anomalous origin of the left coronary artery from the pulmonary artery and complete transposition of the great arteries after arterial switch surgery. This t...

doppler-derived myocardial performance index (mpi) , defined as the s um of isovolumetric contraction and relaxation durations divided by ejection time, is an easily measured and reproducible index that shows both systolic and diastolic myocardial function. the goal of this study was to define normal values of right ventricular mpi in neonates in the first 48 to 72 hours of life. fifty-one quie...

Dynamic verification methods are the natural choice for debugging real world programs when model extraction and maintenance are expensive. Message passing programs written using the MPI library fall under this category. Partial order reduction can be very effective for MPI programs because for each process, all its local computational steps, as well as many of its MPI calls, commute with the co...

OBJECTIVE Although coronary artery disease (CAD) is the leading cause of death in type 2 diabetic patients, it is frequently asymptomatic. Myocardial perfusion imaging (MPI) is reported to show ischemia in a significant number of asymptomatic diabetic patients. We studied the prevalence and severity of myocardial perfusion defects in asymptomatic diabetic patients and its clinical impact. MET...

Background Cardiac diagnostic testing is responsible for a significant portion of non-therapeutic radiation exposure in the United States. The major source of cardiac-related radiation exposure is nuclear based myocardial perfusion imaging (MPI). Furthermore, a higher radio-isotope dose is necessary for MPI in obese patients, a growing segment of the population. As of January 1, 2014, the Ameri...

background: the implications of cardiac risk stratification before orthotopic liver transplantation (olt) are not well established. we studied the usefulness of myocardial perfusion imaging (mpi) in this scenario. methods: mpi data of 24 patients (9 females), candidates of olt, were collected. they underwent mpi as part of their preoperative risk assessment. mpis were interpreted by 2 nuclear p...

More and more applications, business or scientiic, require intensive and complex processing of data along with computing power. Yet the development of real distributed applications has been hindered so far by programming diiculties. The Message Passing Interface standard (MPI) for message passing programs makes development easier through its portability and its high level language facilities (i...

Standard testing and debugging techniques are notoriously ineffective when applied to parallel programs, due to the numerous sources of nondeterminism arising from parallelism. MPI-Spin, an extension of the model checker Spin for verifying and debugging MPI-based parallel programs, overcomes many of the limitations associated with the standard techniques. By exploring all possible executions of...