What video switching application is used for Apple's Keynotes?
They are probably using some kind of a live switcher for that rather than software, but there is no real way to tell what they would be using.  To keep quality in live environments still generally requires using specialized hardware though.