Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Fundamenta Informaticae ◽

10.3233/fi-2009-146 ◽

2009 ◽

Vol 95 (1) ◽

pp. 157-186 ◽

Author(s):

Jasen Markovski ◽

Erik P. de Vink

Keyword(s):

Performance Evaluation ◽

Distributed Systems ◽

Process Algebra ◽

Time Process ◽

Stochastic Time

Download Full-text

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

2008 8th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2008.4574610 ◽

2008 ◽

Author(s):

J. Markovski ◽

E.P. de Vink

Keyword(s):

Distributed Systems ◽

Performance Analysis ◽

Real Time ◽

Process Algebra ◽

Time Process ◽

Stochastic Time

Download Full-text

A new approach to test case generation based on real-time process algebra (RTPA)

Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513) ◽

10.1109/ccece.2004.1349694 ◽

2004 ◽

Author(s):

Yizheng Yao ◽

Yingxu Wang

Keyword(s):

Real Time ◽

Process Algebra ◽

Test Case Generation ◽

Test Case ◽

Time Process ◽

Download Full-text

Implementing A Real-time Process Algebra In HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596281 ◽

2005 ◽

Author(s):

R. Gerber ◽

E.L. Gunter ◽

Insup Lee

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text

Simulated performance evaluation of a hybrid MAC-layer protocol for dependable multi-channel distributed systems with hard real-time requirements

23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings. ◽

10.1109/icdcsw.2003.1203534 ◽

2004 ◽

Author(s):

S.A. Koubias

Keyword(s):

Performance Evaluation ◽

Distributed Systems ◽

Real Time ◽

Mac Layer ◽

Simulated Performance ◽

Time Requirements ◽

Download Full-text

Automatic verification of distributed systems: The process algebra approach

Formal Methods in System Design ◽

10.1007/bf00121261 ◽

1996 ◽

Vol 8 (1) ◽

pp. 7-38 ◽

Author(s):

Paola Inverardi ◽

Corrado Priami

Keyword(s):

Distributed Systems ◽

Process Algebra ◽

Automatic Verification ◽

Algebra Approach

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

Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-19 ◽

2014 ◽

pp. 453-475

Author(s):

María Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Hermenegilda Macia

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra

Download Full-text

Performance evaluation of a new scheduling algorithm for distributed systems with security heterogeneity

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2007.06.004 ◽

2007 ◽

Vol 67 (10) ◽

pp. 1067-1081 ◽

Author(s):

Tao Xie ◽

Xiao Qin

Keyword(s):

Performance Evaluation ◽

Distributed Systems ◽

Scheduling Algorithm

Download Full-text

Performance evaluation of adaptive load balancing policies in distributed systems

Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering '93 ◽

10.1109/sicon.1993.515659 ◽

2002 ◽

Author(s):

K. Koyama ◽

K. Shimizu ◽

H. Ashihara ◽

Y.B. Zhang ◽

H. Kameda

Keyword(s):

Performance Evaluation ◽

Distributed Systems ◽

Download Full-text

Abstraction in real time process algebra

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031999 ◽

1992 ◽

pp. 325-352 ◽

Author(s):

A. S. Klusener

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text