A catalog of stream processing optimizations
Operator Scheduling in a Data Stream Manager