Showing cs.DCShow all
3 papers · 1 filter
cs.DC2025
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The Python Testbed for Federated Learning Algorithms is a simple FL framework targeting edge systems, which provides the three generic algorithms: the centralized federated learnin…
cs.DC2025
Generic Algorithm for Universal TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The original Python Testbed for Federated Learning Algorithms is a light FL framework, which provides the three generic algorithms: the centralized federated learning, the decentra…
cs.DC2024
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
Miroslav Popovic, Marko Popovic, Miodrag Djukic +1
Python Testbed for Federated Learning Algorithms (PTB-FLA) is a simple FL framework targeting smart Internet of Things in edge systems that provides both generic centralized and de…