Bernard Goossens Typing the ISA to cluster the processor. 789-796 2002 18 Future Generation Comp. Syst. 6 http://dx.doi.org/10.1016/S0167-739X(02)00051-1 db/journals/fgcs/fgcs18.html#Goossens02