Abstract: In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.

Abstract: Apparatuses, systems, and techniques to perform multi-architecture execution graphs. In at least one embodiment, a parallel processing platform, such as compute uniform device architecture (CUDA) generates multi-architecture execution graphs comprising a plurality of software kernels to be performed by one or more processor cores having one or more processor architectures.

Abstract: An apparatus for determining tissue versus fluid components of an organ include a detector that generates a detector signal based on electrical signals derived from tissue and fluid. The apparatus includes a signal processor in communication with the detector which subtracts in real time a tissue component from the detector signal and produces a fluid volume signal. A method for monitoring a patient's fluid volume of a patient's organ. An apparatus for monitoring a patient's organ. A method for monitoring a patient's organ. A method to piggyback an admittance system onto a AICD/Bi-ventricular Pacemaker for a heart of a patient, in particular a weakened heart having features consistent with congestive heart failure. An apparatus for monitoring an organ, such as a heart, lungs, brain, skeletal muscle, and bladder of a patient which includes a detector which detects the admittance of the organ.

Abstract: An implanted device for an organ of a patient including a housing. The device includes a detector having electrodes that have a varying distance over time between them which produces a detector signal based on electrical signals derived from the organ. The device includes a signal processor disposed in the housing in communication with the detector which determines admittance from the detector signal based on the varying distance over time between the electrodes. The device includes a drive circuit disposed in the housing to cause the electrodes to generate emitted electrical signals. A method for monitoring a patient's organ.

Abstract: An apparatus for determining tissue versus fluid components of an organ include a detector that generates a detector signal based on electrical signals derived from tissue and fluid. The apparatus includes a signal processor in communication with the detector which subtracts in real time a tissue component from the detector signal and produces a fluid volume signal. A method for monitoring a patient's fluid volume of a patient's organ. An apparatus for monitoring a patient's organ. A method for monitoring a patient's organ. A method to piggyback an admittance system onto a AICD/Bi-ventricular Pacemaker for a heart of a patient, in particular a weakened heart having features consistent with congestive heart failure. An apparatus for monitoring an organ, such as a heart, lungs, brain, skeletal muscle, and bladder of a patient which includes a detector which detects the admittance of the organ.

Abstract: An apparatus for determining tissue versus fluid components of an organ include a detector that generates a detector signal based on electrical signals derived from tissue and fluid. The apparatus includes a signal processor in communication with the detector which subtracts in real time a tissue component from the detector signal and produces a fluid volume signal. A method for monitoring a patient's fluid volume of a patient's organ. An apparatus for monitoring a patient's organ. A method for monitoring a patient's organ. A method to piggyback an admittance system onto a AICD/Bi-ventricular Pacemaker for a heart of a patient, in particular a weakened heart having features consistent with congestive heart failure. An apparatus for monitoring an organ, such as a heart, lungs, brain, skeletal muscle, and bladder of a patient which includes a detector which detects the admittance of the organ.

Abstract: An apparatus for determining tissue versus fluid components of an organ include a detector that generates a detector signal based on electrical signals derived from tissue and fluid. The apparatus includes a signal processor in communication with the detector which subtracts in real time a tissue component from the detector signal and produces a fluid volume signal. A method for monitoring a patient's fluid volume of a patient's organ. An apparatus for monitoring a patient's organ. A method for monitoring a patient's organ. A method to piggyback an admittance system onto a AICD/Bi-ventricular Pacemaker for a heart of a patient, in particular a weakened heart having features consistent with congestive heart failure. An apparatus for monitoring an organ, such as a heart, lungs, brain, skeletal muscle, and bladder of a patient which includes a detector which detects the admittance of the organ.