Single Event Upsets in Xilinx Virtex-4 FPGA Devices | IEEE Conference Publication | IEEE Xplore