Software development projects have become a challenge for both industry and academia
regarding the performance evaluation of teams. Recently, a Stochastic Automata Networks …

With today's rise of multi-core processors in the desktop market and in common server
systems, concurrency becomes a ubiquitous challenge in software development …

This paper presents a solution procedure for reliable production lines with service times
distributed according to an exponential distribution, based on a Markovian formulation with a …

Measuring productivity in globally distributed projects is crucial to improve team
performance. These measures often display information on whether a given project is …

The description of large state spaces through stochastic structured modeling formalisms like
stochastic Petri nets, stochastic automata networks and performance evaluation process …

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de
systèmes à grand espace d'états décrits par des formalismes de haut niveau. Parmi les …

Structured Markovian models are widely used to map and analyze the behavior of complex
systems. However, the modeler must frequently need a deeply knowledge about specialized …

This article presents a novel Stochastic Automata Networks (SAN) model to estimate the
behavior of sediment strata formation in continental margins resulting from interaction …

Service Level Agreements (SLAs) are used to guarantee quality of service (QoS) between
customers and service providers. In an SLA, parties establish a common set of rules and …

In symmetric multiprocessing environments, the performance of a software system heavily
depends on the application's parallelism, the scheduling and load-balancing policies of the …