I've used a class for GCC / Arduino I found somewhere called ServoDecode. I can't find the link at the moment, but it looks like an earlier version is posted
Does anyone have code (AvrX or not) to decode the output of a Vex remote control receiver ? I picked up a few cheap when All Electronics had them and want to