Leveraging Types and Typestate for Peripheral Cost Analysis
Date:
I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.
Date:
I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.