[wvxvw]

Да, примерно так:
C# приложение открывает какой-нть AVI, и высылает флешке покадрово через сокет (в реальности через несколько сокетов, для каждого видео отдельно). AVI несжатый ничем фактически от BMP не отличается. флешка принимает / комбинирует картинки по заданному сценарию / рендерит и отсылает обратно уже в PNG. Видео 30 фпс формата 640х480 рендерится таким способом (при условии, что есть всего 1 входящее видео + какая-нибудь незамысловатая графика / немного текста) примерно в соотношении 20 минут рендеринга на 15 секунд видео. т.е. получается 2.4 секунды на 307200 пикселей.