Nvidia's K20 and K20X, and AMD's FirePro SM10000 GPUs deliver more than a teraflop of double-precision performance