Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report)
Edmund M. ClarkeLishing LiuPublished in: FOCS (1979)
Keyphrases
- optimization problems
- data structure
- optimization approaches
- computational cost
- approximate solutions
- benchmark datasets
- optimization methods
- combinatorial optimization
- approximately optimal
- parallel hardware
- parallel processors
- discrete optimization
- times faster
- orders of magnitude
- theoretical analysis
- worst case
- multi objective
- special case
- optimization procedure
- queue length
- linear programming
- parallel version
- exact computation
- computational complexity