Distributed Pruning Towards Tiny Neural Networks in Federated Learning | IEEE Conference Publication | IEEE Xplore