Learn More
|This paper discusses detection of global predicates in a distributed program. Earlier algorithms for detection of global predicates proposed by Chandy and Lamport work only for stable predicates. A predicate is stable if it does not turn false once it becomes true. Our algorithms detect even unstable predicates without excessive overhead. In the past, such(More)
This paper discusses detection of global predicates in a distributed program. A run of a distributed program results in a set of sequential traces, one for each process. These traces may be combined to form many global sequences consistent with the single run of the program. A strong global predicate is true in a run if it is true for all global sequences(More)
Purpose of this study was to define a subgroup of TIA/stroke patients who should be examined by transthoracal and transesophageal echocardiography or Holter-electrocardiography to identify those with cardiogenic brain embolism reliably; 300 consecutive patients with acute focal brain ischemia underwent a standardized diagnostic protocol for the evaluation(More)
Basic fibroblast growth factor (bFGF) exerts angiogenic and mitogenic properties in human tissue. Since changes in ion currents modulate essential Ca2+-dependent intracellular pathways in endothelial cells, we have investigated a possible contribution of Ca2+-activated K+ channels (BKCa) on bFGF-induced endothelial cell proliferation. The patch-clamp(More)
BACKGROUND One of the perceived benefits of dual-chamber implantable cardioverter-defibrillators (ICDs) is the reduction in inappropriate therapy due to new detection algorithms. It was the purpose of the present investigation to propose methods to minimize bias during such comparisons and to report the arrhythmia detection clinical results of the PR Logic(More)
BACKGROUND Sustained reentrant ventricular tachycardias (VTs) with different QRS morphologies have been observed to occur spontaneously and during programmed stimulation in human hearts. We determined mechanisms that can cause tachycardias with multiple morphologies in a canine model of myocardial infarction by mapping reentrant circuits. METHODS AND(More)
The success rate of direct-current (DC) countershocks and postshock arrhythmias are of concern for the design of automatic devices. Results of 112 DC shocks for induced ventricular tachycardia/fibrillation (VT/VF) (n = 99) or atrial fibrillation (AF) were analyzed. Clinical and arrhythmia characteristics were related to the success rate of DC shocks as well(More)
OBJECTIVES The purpose of this study was to analyze long-term follow-up information over several years from consecutive, unselected patients treated with direct percutaneous transluminal coronary angioplasty (PTCA) for acute myocardial infarction (MI). BACKGROUND Direct PTCA is often used in patients with acute MI. Short-term results are favorable.(More)