A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators

Abbas, HoussamMamouras, KonstantinosRodionova, AlenaLiang, JacksonRajeev, AlurDixit, SanjayMangharam, Rahul2023-05-222023-05-222018-05-092018-06-04https://repository.upenn.edu/handle/20.500.14332/40612CPS MedicalCPS Formal MethodsComputer EngineeringElectrical and Computer EngineeringA novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillatorsPresentation