Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
The use of Petri nets for modeling pipelined processors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
Research: Object model for hypermedia applications
Computer Communications
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
Hi-index | 0.00 |