Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

Sibirskie Elektronnye Matematicheskie Izvestiya ◽

10.33048/semi.2018.15.144 ◽

2018 ◽

Vol 15 ◽

pp. 1743-1812

Author(s):

I. V. Tarasyuk ◽

H. Macià ◽

V. Valero

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

Stochastic Equivalence

Download Full-text

Performance analysis of concurrent systems in algebra dtsiPBC

Programming and Computer Software ◽

10.1134/s0361768814050089 ◽

2014 ◽

Vol 40 (5) ◽

pp. 229-249

Author(s):

I. V. Tarasyuk ◽

H. Macià ◽

V. Valero

Keyword(s):

Performance Analysis ◽

Concurrent Systems

Download Full-text

Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_28 ◽

1998 ◽

pp. 457-467 ◽

Author(s):

M. Bernardo ◽

W. R. Cleaveland ◽

S. T. Sims ◽

W. J. Stewart

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

And Performance

Download Full-text

A Tool for the Performance Analysis of Concurrent Systems

Workshops in Computing - Specification and Verification of Concurrent Systems ◽

10.1007/978-1-4471-3534-0_6 ◽

1990 ◽

pp. 121-139

Author(s):

Vincenza Carchiolo ◽

Albert Faro ◽

Michele Malgeri

Keyword(s):

Performance Analysis ◽

Concurrent Systems

Download Full-text

Performance analysis of concurrent systems with early evaluation

2006 IEEE/ACM International Conference on Computer Aided Design ◽

10.1145/1233501.1233590 ◽

2006 ◽

Author(s):

Jorge Júlvez ◽

Jordi Cortadella ◽

Michael Kishinevsky

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

Early Evaluation

Download Full-text

Using Parallel Programming Language For The Performance Analysis Of Concurrent Systems

[1993] Proceedings 26th Annual Simulation Symposium ◽

10.1109/simsym.1993.639158 ◽

2005 ◽

Author(s):

V. Carchiolo ◽

M. Papale

Keyword(s):

Performance Analysis ◽

Parallel Programming ◽

Programming Language ◽

Concurrent Systems ◽

Parallel Programming Language

Download Full-text

Performance analysis of concurrent systems with early evaluation

2006 IEEE/ACM International Conference on Computer Aided Design ◽

10.1109/iccad.2006.320155 ◽

2006 ◽

Author(s):

Jorge Julvez ◽

Jordi Cortadella ◽

Michael Kishinevsky

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

Early Evaluation

Download Full-text

A simulation model for performance analysis of routing algorithms in concurrent systems under realistic load

IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing. Proceedings ◽

10.1109/pacrim.1995.519585 ◽

2002 ◽

Author(s):

M.H. Chowdhury ◽

N.J. Dimopoulos

Keyword(s):

Performance Analysis ◽

Simulation Model ◽

Concurrent Systems ◽

Routing Algorithms

Download Full-text

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2013.2285574 ◽

2015 ◽

Vol 12 (1) ◽

pp. 295-308 ◽

Author(s):

Zuohua Ding ◽

Yuan Zhou ◽

MengChu Zhou

Keyword(s):

Performance Analysis ◽

Differential Equations ◽

Ordinary Differential Equations ◽

Polynomial Algorithm ◽

Concurrent Systems

Download Full-text

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_31 ◽

2003 ◽

pp. 431-436 ◽

Author(s):

Dezhuang Zhang ◽

Rance Cleaveland ◽

Eugene W. Stark

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

Functional Verification ◽

And Performance

Download Full-text

Performance Analysis of Communications Networks and Systems

10.1017/cbo9780511616488 ◽

2006 ◽

Author(s):

Piet Van Mieghem

Keyword(s):

Performance Analysis ◽

Communications Networks

Download Full-text