Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP

    Federated learning (FL) is a machine learning setting where clients keep the training data decentralised and collaboratively train a model either under the coordination of a central server (centralised FL) or ...

    Ivan Prokić, Silvia Ghilezan, Simona Kašterović in Engineering of Computer-Based Systems (2024)

  2. No Access

    Chapter and Conference Paper

    A Federated Learning Algorithms Development Paradigm

    At present many distributed and decentralized frameworks for federated learning algorithms are already available. However, development of such a framework targeting smart Internet of Things in edge systems is ...

    Miroslav Popovic, Marko Popovic, Ivan Kastelan in Engineering of Computer-Based Systems (2024)

  3. No Access

    Article

    An approach to instruction set compiled simulator development based on a target processor C compiler back-end design

    Many instruction set simulation approaches place the retargetability and/or cycle-accuracy as the key features for easier architectural exploration and performance estimation early in the hardware development ...

    Miodrag Djukic, Nenad Cetic in Innovations in Systems and Software Engine… (2013)

  4. No Access

    Article

    On the application of fuzzy-based flow control approach to High Altitude Platform communications

    Most of the research effort in the field of HAP communications until now has been invested in the physical layer of the protocol stack, and in the radio related issues in particular. However, the overall syste...

    Ilija Basicevic, Dragan Kukolj, Miroslav Popovic in Applied Intelligence (2011)