ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
◽
Cited By ~ 16
Author(s):
M. Bernardo
◽
W. R. Cleaveland
◽
S. T. Sims
◽
W. J. Stewart
Keyword(s):
Performance Analysis
◽
Concurrent Systems
◽
And Performance
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
◽
Cited By ~ 3
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
◽
Cited By ~ 5
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
◽
Cited By ~ 19
Author(s):
Zuohua Ding
◽
Yuan Zhou
◽
MengChu Zhou
Keyword(s):
Performance Analysis
◽
Differential Equations
◽
Petri Nets
◽
Ordinary Differential Equations
◽
Polynomial Algorithm
◽
Concurrent Systems
Download Full-text
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
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
◽
Cited By ~ 4
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
◽
Cited By ~ 117
Author(s):
Piet Van Mieghem
Keyword(s):
Performance Analysis
◽
Communications Networks
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close