Допустим, пользователь загружает видео на сервер, а я должен конвертировать во всех доступные качества, например, был загружен видео-файл (720x640), в этом случает должно получиться примерно такое: 1 - 720x640, 2 - 480x400, 3 - 360x280 и т.д. Может уже есть готовые инструменты?