Dynamic voltage scaling for real-time multi-task scheduling using buffers