'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives.
Mithun AcharyaRobert FunderlicPublished in: ACM SIGCSE Bull. (2003)
Keyphrases
- high level
- theoretical analysis
- conceptual model
- learning algorithm
- neural network
- data structure
- experimental data
- probabilistic model
- linear models
- metamodel
- formal model
- process model
- linear model
- computational model
- computationally efficient
- poisson process
- generation process
- optimization process
- mathematical models
- orders of magnitude
- benchmark datasets
- em algorithm
- reinforcement learning