HIGH AVAILABILITY OPERATOR GROUPINGS FOR STREAM PROCESSING APPLICATIONS | AMiner