Modelling and analysis of collective adaptive systems with CARMA and its tools

M Loreti, J Hillston - Formal Methods for the Quantitative Evaluation of …, 2016 - Springer
Abstract Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous
task-oriented systems that cooperate on common goals forming a collective system. This …

Optimal service elasticity in large-scale distributed systems

D Mukherjee, S Dhara, SC Borst… - Proceedings of the …, 2017 - dl.acm.org
A fundamental challenge in large-scale cloud networks and data centers is to achieve highly
efficient server utilization and limit energy consumption, while providing excellent user …

Bulk topological states in a new collective dynamics model

P Degond, A Diez, M Na - SIAM Journal on Applied Dynamical Systems, 2022 - SIAM
In this paper, we demonstrate the existence of topological states in a new collective
dynamics model. This individual-based model (IBM) describes self-propelled rigid bodies …

On the throughput optimization in large-scale batch-processing systems

S Kar, R Rehrmann, A Mukhopadhyay, B Alt… - ACM SIGMETRICS …, 2021 - dl.acm.org
We analyze a data-processing system with n clients producing jobs which are processed in
batches by m parallel servers; the system throughput critically depends on the batch size …

Age of information in ultra-dense computation-intensive Internet of Things (IoT) systems

B Zhou, W Saad - … Symposium on Modeling and Optimization in …, 2021 - ieeexplore.ieee.org
In this paper, a dense Internet of Things (IoT) monitoring system for computational intensive
applications is studied in which a large number of devices with computing capability pre …

[PDF][PDF] Refinements of mean field approximation

N Gast - 2020 - theses.hal.science
The design of efficient algorithms is closely linked to the evaluation of their performances.
My work focuses on the use of stochastic models for the performance evaluation of large …

Spatial representations and analysis techniques

V Galpin - Formal Methods for the Quantitative Evaluation of …, 2016 - Springer
Abstract Space plays an important role in the dynamics of collective adaptive systems (CAS).
There are choices between representations to be made when we model these systems with …

Scalable load balancing algorithms in networked systems

D Mukherjee - arXiv preprint arXiv:1809.02018, 2018 - arxiv.org
A fundamental challenge in large-scale networked systems viz., data centers and cloud
networks is to distribute tasks to a pool of servers, using minimal instantaneous state …

Modelado y Simulación Híbrida de Redes Complejas de Datos

MA Bonaventura - 2019 - ri.conicet.gov.ar
This Thesis develops new simulation techniques that combine packet-level and fluid-flow
modeling approaches for the study of dynamics in data networks. Novel practical and …