A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators
Loading...
Penn collection
Real-Time and Embedded Systems Lab (mLAB)
Degree type
Discipline
Subject
CPS Medical
CPS Formal Methods
Computer Engineering
Electrical and Computer Engineering
CPS Formal Methods
Computer Engineering
Electrical and Computer Engineering
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Mamouras, Konstantinos
Rodionova, Alena
Rajeev, Alur
Dixit, Sanjay
Mangharam, Rahul
Contributor
Abstract
Advisor
Date of presentation
2018-05-09
Conference name
Real-Time and Embedded Systems Lab (mLAB)
Conference dates
2023-05-17T20:10:30.000