Green computing: efficient energy management of multiprocessor streaming applications via model checking

Streaming applications such as virtual reality, video conferencing, and face detection, impose high demands on a system’s performance and battery life. With the advancement in mobile computing, these applications are increasingly implemented on battery-constrained platforms, such as gaming consoles, satellites, cell phones, automobiles and healthcare systems. Smart scheduling techniques of tasks on processing elements are crucial for self energy-supporting systems where energy harvesting and consumption is kept in balance over the lifetime of the system. These scheduling techniques also help system designers to explore implementation alternatives while maintaining adherence to the performance requirements and battery constraints of a system.