Any examples of such schedulers?