Results 231 to 240 of about 109,235 (253)

Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra

2014
Time 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, Jean-Michel Fourneau, Franck Quessette   +2 more
openaire   +1 more source

Stochastic Process Algebra Based Software Process Simulation Modeling

2009
In 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, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang 0001, Mingshu Li 0001   +5 more
openaire   +1 more source

Symbolic semantics and verification of stochastic process algebras.

2006
Im 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

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras

2010
We 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

Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –

Lecture Notes in Computer Science, 2022
Markus Siegle
exaly  

Stochastic Process Algebras

1995
N. Götz, H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach   +4 more
openaire   +1 more source

Stochastic Process Algebra Model of Amyloidogenic Processing in Alzheimer’s Disease

Studies in Systems, Decision and Control, 2021
Angelyn Lao
exaly  

A novel formal analysis method of network survivability based on stochastic process algebra

Tsinghua Science and Technology, 2007
Guosheng Zhao
exaly  

Stochastic Process Algebras

1998
J. Hillston, RIBAUDO, MARINA
openaire   +1 more source

Stochastic Extension for Real Time Process Algebra with Urgency Executing Policy

2009
Wenbo Chen
exaly