I tried a few screen recorders that I found. The one which works best for me is HyperCam 2. I also tried BSR Screen Recorder and a "Technet Spotlight screenrecorder". BSR seemed to go into a cpu-bound-loop when it was supposed to write out the file, so I had to kill it. It didn't seem to actually produce any output file, at least not in the directory where it claimed it was writing it. The Technet recorder generates only a low resolution wmv format and can't seem to keep up when using Dexcube to switch between desktops.
Hypercam2 had no problems keeping up when doing a full-screen recording, has several video encoder options, and includes some other useful features -- including audio recording and a "flasher" which is recorded on-screen when you do a mouse click.
An issue with HyperCam 2 is that it installs a browser searchbar Addon which I promptly uninstalled. I didn't see any way to prevent the searchbar installation, although there were several other checkboxes (which I disabled) on that page of the installer. I might have overlooked it, though. I use Firefox with the NoScript Addon, so the Web page that it automatically opened didn't do anything -- it seemed to have links to other pages on it.