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)
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)
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)
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)
BACKGROUND The class IC antiarrhythmic drug flecainide has been shown to be ineffective for the treatment of ventricular arrhythmias in some patients who have had a prior myocardial infarction and sometimes even provoke arrhythmias (proarrhythmic effect). Since some ventricular tachycardias may be caused by anisotropic reentry, we determined the effects of(More)
OBJECTIVES The present study was designed to assess the extent of myocardial injury in patients undergoing transvenous implantation of an automatic implantable cardioverter-defibrillator (ICD) using cardiac troponin I (cTNI), which is a highly specific marker of structural cardiac injury. BACKGROUND During ICD implantation, repetitive induction and(More)