Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
Elvira AlbertSamir GenaimMiguel Gómez-ZamalloaEinar Broch JohnsenRudolf SchlatteSilvia Lizeth Tapia TarifaPublished in: FM (2011)
Keyphrases
- worst case
- upper bound
- lower bound
- worst case bounds
- average case
- error bounds
- np hard
- constant factor
- approximation algorithms
- optimal cost
- greedy algorithm
- high cost
- loss bounds
- minimum cost
- sum of squared errors
- worst case analysis
- vc dimension
- total cost
- upper and lower bounds
- space complexity
- data sets
- mistake bound
- mutual exclusion
- sample size