Algorithms for Synthesizing Priorities in Component-Based Systems.
Chih-Hong ChengSaddek BensalemYu-Fang ChenRongjie YanBarbara JobstmannHarald RuessChristian BucklAlois C. KnollPublished in: ATVA (2011)
Keyphrases
- computationally efficient
- orders of magnitude
- intelligent systems
- theoretical analysis
- optimization problems
- distributed systems
- computer systems
- times faster
- recently developed
- computer vision algorithms
- social networks
- search algorithm
- evolutionary algorithm
- significant improvement
- worst case
- classification algorithm