Brian Waldecker

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)
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)
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)
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)
Over the past 15 years, microprocessor performance has doubled approximately every 18 months through increased clock rates and processing efficiency. In the past few years, clock frequency growth has stalled, and microprocessor manufacturers such as AMD have moved towards doubling the number of cores every 18 months in order to maintain historical growth(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)
AIMS Endothelin-1 (ET-1) promotes endothelial cell growth. Endothelial cell proliferation involves the activation of Ca2+-activated K+ channels. In this study, we investigated whether Ca2+-activated K+ channels with big conductance (BK(Ca)) contribute to endothelial cell proliferation induced by ET-1. METHODS The patch-clamp technique was used to analyse(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)