A Calculus Approach to Energy-Efficient Data Transmission With Quality-of-Service Constraints | Synapse