System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Optimal allocation of resources in distributed information networks
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Differential files: their application to the maintenance of large databases
ACM Transactions on Database Systems (TODS)
Physical integrity in a large segmented database
ACM Transactions on Database Systems (TODS)
Simulating Stable Stochastic Systems, I: General Multiserver Queues
Journal of the ACM (JACM)
Simulating Stable Stochastic Systems, II: Markov Chains
Journal of the ACM (JACM)
Application of the Diffusion Approximation to Queueing Networks I: Equilibrium Queue Distributions
Journal of the ACM (JACM)
On Approximate Computer System Models
Journal of the ACM (JACM)
Product Form and Local Balance in Queueing Networks
Journal of the ACM (JACM)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Optimal program and data locations in computer networks
Communications of the ACM
Decomposability, instabilities, and saturation in multiprogramming systems
Communications of the ACM
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Consistency and correctness of duplicate database systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Restart and recovery in a transaction-oriented information processing system
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
An overview of recent data base research
ACM SIGMIS Database
| Hi-index | 0.00 |
Performance models may be conveniently classified into three categories: Predictive, Synthesis and Correctness models. Predictive models attempt to predict the behavior of well-defined systems, while synthesis models are helpful in designing systems. Correctness models are concerned with demonstrating the correctness of protocols to handle various functions. These three classes of models are reviewed very briefly and in a very intuitive manner. No prior knowledge of modeling theory is assumed.