So, you got me curious. It turns out that the IP ended up with Intel: http://en.wikipedia.org/wiki/DEC_Alpha , I can't seem to find out who owns the brand, but the DEC brand definitely ended up with HP.