RAID0 setup works ( gives better performance ) regardless of OS architecture.
Video encoding time does not greatly depends on software but it depends on the codec, it's optimization & the settings you choose to use.
If you want to use some good software then look for virtualdub, super 2009 ( best one IMO ) or mediacoder