Skip to main content

9 Result(s)

within Miroslav Popovic Remove this filter

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

    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)

  4. No Access

    Chapter and Conference Paper

    Flexible Scheduling of Transactional Memory on Trees

    We study the efficiency of executing transactions in a distributed transactional memory system. The system is modeled as a wired network with the topology of a tree. Contrary to previous approaches, we allow t...

    Costas Busch, Bogdan S. Chlebus… in Stabilization, Safety, and Security of Dis… (2022)

  5. No Access

    Article

    Fast 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… in Theory of Computing Systems (2021)

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

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

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

  9. No Access

    Chapter and Conference Paper

    An Optimal Relationship-Based Partitioning of Large Datasets

    Modern adaptive applications utilize multiprocessor systems for efficient processing of large datasets where initial and dynamic partitioning of large datasets is necessary to obtain an optimal load balancing ...

    Darko Capko, Aleksandar Erdeljan… in Advances in Databases and Information Syst… (2010)