Results 251 to 260 of about 4,616 (278)
Some of the next articles are maybe not open access.
Visual representation of stochastic process algebra models
Proceedings of the 2nd international workshop on Software and performance, 2000ABSTRACT Performance models are of increasing interest to professionals whodo not have a background in mathematical analysis, it is importantto provide additional mechanisms by developers may improve theirconfidence in the models they evaluate accurately reflect thesystems they are studying.
Nigel Thomas +3 more
openaire +1 more source
Stochastically Timed Process Algebra
2009Timing aspects of concurrent and distributed systems can be expressed not only deterministically, but also probabilistically, which is particularly appropriate for shared-resource systems. When these aspects are modeled by using only exponentially distributed random variables, the stochastic process governing the system evolution over time turns out to
Alessandro Aldini +2 more
openaire +1 more source
Stochastic process algebras – between LOTOS and Markov chains
Computer Networks and ISDN Systems, 1998Abstract This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS.
Holger Hermanns +2 more
openaire +2 more sources
Structural Analysis for Stochastic Process Algebra Models
2011Stochastic process algebra models have been successfully used in the area of performance modelling for the last twenty years, and more recently have been adopted for modelling biochemical processes in systems biology. Most research on these modelling formalisms has been on quantitative analysis, particularly the derivation of quantified dynamic ...
Jie Ding, Jane Hillston
openaire +1 more source
Exploiting Symmetries in Stochastic Process Algebras.
1998Stochastic Process Algebras have been introduced to enable compositional performance analysis of parallel and distributed systems. As with other high level modelling formalisms, state space explosion is a frequently observed problem, especially if the system consists of many cooperating components.
H. Hermanns, RIBAUDO, MARINA
openaire +1 more source
Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
2014Time Parallel Simulation (TPS) is the construction of the time-slices of a sample-path on a set of parallel processors (see [11] chap. 6 and references therein). TPS has a potential to massive parallelism as the number of logical processes is only limited by the number of time intervals which is a direct consequence of the time granularity and the ...
Thu-Ha Dao-Thi +2 more
openaire +1 more source
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras
2010We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of ...
openaire +2 more sources
Stochastic Process Algebra Based Software Process Simulation Modeling
2009In recent years, simulation techniques that have been widely used in many other disciplines are being increasingly used in analyzing software processes. However, researchers from software process simulation community tend to build a separate new model with various technologies from traditional software models.
Jian Zhai +5 more
openaire +1 more source
Symbolic semantics and verification of stochastic process algebras.
2006Im Bereich der Leistungs- und Zuverlässigkeitsanalyse haben sich abstrakte Spezifikationssprachen wie stochastische Prozessalgebren (SPA) oder verallgemeinerte stochastische Petrinetze (engl. generalised stochastic Petri nets, GSPN) als sehr hilfreich erwiesen.
openaire +3 more sources
Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –
Lecture Notes in Computer Science, 2022Siegle Markus
exaly