Skip to main content

4 Result(s)

within Miroslav Popovic Remove this filter English Remove this filter Computer Hardware Remove this filter Computer Systems Organization and Communication Networks Remove this filter

and

  1. No Access

    Article

    Time-communication impossibility results for distributed transactional memory

    We consider scheduling problems in the data flow model of distributed transactional memory. Objects shared by transactions move from one network node to another by following network paths. We examine how the o...

    Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma in Distributed Computing (2018)

  2. No Access

    Article

    Dynamic scheduling in distributed transactional memory

    We investigate scheduling algorithms for distributed transactional memory systems where transactions residing at nodes of a communication graph operate on shared, mobile objects. A transaction requests the obj...

    Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma in Distributed Computing (2022)

  3. 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)

  4. 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)