A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87412-6_7 ◽

2008 ◽

pp. 79-94

Author(s):

Jeremy T. Bradley

Keyword(s):

Stochastic Process ◽

Circadian Rhythm ◽

Performance Analysis ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA

BMC Bioinformatics ◽

10.1186/1471-2105-13-s14-s4 ◽

2012 ◽

Vol 13 (Suppl 14) ◽

pp. S4 ◽

Author(s):

Xian Yang ◽

Rui Han ◽

Yike Guo ◽

Jeremy Bradley ◽

Benita Cox ◽

...

Keyword(s):

Stochastic Process ◽

Performance Analysis ◽

Process Algebra ◽

Clinical Pathways ◽

And Performance ◽

Stochastic Process Algebra

Download Full-text

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra

Model Driven Architecture – Foundations and Applications - Lecture Notes in Computer Science ◽

10.1007/11581741_5 ◽

2005 ◽

pp. 41-58 ◽

Author(s):

Naoshi Tabuchi ◽

Naoto Sato ◽

Hiroaki Nakamura

Keyword(s):

Stochastic Process ◽

Performance Analysis ◽

Process Algebra ◽

Design Models ◽

Model Driven ◽

Stochastic Process Algebra

Download Full-text

Performance analysis of stochastic process algebra models using stochastic simulation

Proceedings 20th IEEE International Parallel & Distributed Processing Symposium ◽

10.1109/ipdps.2006.1639627 ◽

2006 ◽

Author(s):

J.T. Bradley ◽

S.T. Gilmore ◽

N. Thomas

Keyword(s):

Stochastic Process ◽

Performance Analysis ◽

Stochastic Simulation ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Stochastic Process Algebra with Value-Passing

2008 International Conference on Computer Science and Software Engineering ◽

10.1109/csse.2008.520 ◽

2008 ◽

Author(s):

Guang Zheng ◽

Jinzhao Wu ◽

Lian Li

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Analysis of a Multimedia Stream using Stochastic Process Algebra

The Computer Journal ◽

10.1093/comjnl/44.4.230 ◽

2001 ◽

Vol 44 (4) ◽

pp. 230-245 ◽

Author(s):

H. Bowman

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Multimedia Stream ◽

Stochastic Process Algebra

Download Full-text

Performance evaluation of dynamic resource allocation in cloud computing platforms using Stochastic Process Algebra

2013 8th International Conference on Computer Engineering & Systems (ICCES) ◽

10.1109/icces.2013.6707168 ◽

2013 ◽

Author(s):

Doaa M. Shawky

Keyword(s):

Stochastic Process ◽

Resource Allocation ◽

Cloud Computing ◽

Performance Evaluation ◽

Process Algebra ◽

Dynamic Resource Allocation ◽

Dynamic Resource ◽

Computing Platforms ◽

Stochastic Process Algebra

Download Full-text

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Lecture Notes in Computer Science - Measurement, Modelling and Evaluation of Computing Systems ◽

10.1007/978-3-030-43024-5_12 ◽

2020 ◽

pp. 190-207

Author(s):

Amin Soltanieh ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Block-structured stochastic process algebra and its applications to queueing systems

IEE Proceedings - Software ◽

10.1049/ip-sen:20060012 ◽

2006 ◽

Vol 153 (5) ◽

pp. 199 ◽

Author(s):

Y. Li ◽

C. Lin ◽

Q. Li ◽

Z. Shan

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Queueing Systems ◽

Stochastic Process Algebra ◽

Block Structured

Download Full-text

Visual representation of stochastic process algebra models

Proceedings of the second international workshop on Software and performance - WOSP '00 ◽

10.1145/350391.350397 ◽

2000 ◽

Author(s):

Nigel Thomas ◽

Malcolm Munro ◽

Peter King ◽

Rob Pooley

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Visual Representation ◽

Stochastic Process Algebra

Download Full-text

Operation Chain Model of Reconfigurable Printing Manufacturing System Based on Stochastic Process Algebra

IEEE Access ◽

10.1109/access.2019.2939072 ◽

2019 ◽

Vol 7 ◽

pp. 127475-127485

Author(s):

Huailin Li ◽

Shisheng Zhou ◽

Rubai Luo ◽

Bin Du

Keyword(s):

Stochastic Process ◽

Manufacturing System ◽

Process Algebra ◽

Chain Model ◽

Stochastic Process Algebra

Download Full-text