Marco Giunti
-
Logically Possible Machines
Minds and Machines
Supermachines and Superminds
Parallelization by simulated tunneling
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism