You might also try:
MComms TV, a commercial stream-to-stream transcoding solution
http://www.mcommstv.com/products/mcomms-transcode
Ripcode, a commercial hardware sol ution with DSPs powering the transcoding
http://www.ripcode.com/solutions/rtst.php
Charlie