Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Exact Aggregation in Exponential Queueing Networks
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Guest Editor's Overview… Queuing Network Models of Computer System Performance
ACM Computing Surveys (CSUR)
The Operational Analysis of Queueing Network Models
ACM Computing Surveys (CSUR)
Approximate Methods for Analyzing Queueing Network Models of Computing Systems
ACM Computing Surveys (CSUR)
Interference in multiprocessor computer systems with interleaved memory
Communications of the ACM
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Processor-memory interconnections for multiprocessors
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Computer system models with passive resources.
Computer system models with passive resources.
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
On the Analysis of Memory Conflicts and Bus Contentions in a Multiple-Microprocessor System
IEEE Transactions on Computers
Interference in Multiprocessor Systems with Localized Memory Access Probabilities
IEEE Transactions on Computers
Markov Models for Multiple Bus Multiprocessor Systems
IEEE Transactions on Computers
Analysis of Memory Interference in Multiprocessors
IEEE Transactions on Computers
A General Model for Memory Interference in Multiprocessors
IEEE Transactions on Computers
Comparative Performance Analysis of Single Bus Multiprocessor Architectures
IEEE Transactions on Computers
Solution of queuing problems by a recursive technique
IBM Journal of Research and Development
Parametric analysis of queuing networks
IBM Journal of Research and Development
Approximate analysis of general queuing networks
IBM Journal of Research and Development
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Approximate Models of Multiple Bus Multiprocessor Systems
IEEE Transactions on Computers
Cooperative energy management in distributed wireless real-time systems
Wireless Networks
Queueing systems with resource sharing
Journal of Systems and Software
| Hi-index | 14.99 |
Stochastic models of contention for shared resources in an experimental multiprocessor prototype are presented and are validated with simulation and measurement results. Three modeling techniques are used (stochastic Petri nets, Markov chains, and queueing networks) that represent the system operations as Markovian stochastic processes. Each technique is best suited to a specific stage of the analysis. An integrated use of these techniques represents a very powerful tool for the performance analysis of multiprocessor systems and provides ways of investigating several extensions of the prototype architecture. Simulation results and measurements performed on the hardware prototype validate the analysis and show that the accuracy of the analytical results is excellent.