TY - RPRT TI - A Scheduling Model of Battery-powered Embedded System AU - Z. Shi PY - 2015 UR - https://arxiv.org/abs/1504.06663 ID - 1504.06663 ER -