Bernard Goossens Typing the ISA to Cluster the Processor. 232-242 2001 conf/pact/2001 PaCT http://link.springer.de/link/service/series/0558/bibs/2127/21270232.htm db/conf/pact/pact2001.html#Goossens01