Communication-Efficient Device Scheduling for Federated Learning Using Stochastic Optimization | IEEE Conference Publication | IEEE Xplore