If a smartphone (when we switch to binary) can process 1000TPS, a RaspberryPi could also process 1000TPS, am I right? If this is not the case, we should look into the Odroid, if it is far superior to RPi.
Actually, Odroid-U3 is superior than most smartphones today. It has quad-core Samsung Exynos and 2Gb of RAM. I think it's more than enough for 1000 TPS.
The first questions which need to be answered are:
1. Is Nxt running stable on RaspPi?
2. Can RaspPi process 1000TSP?
If the answers are Yes, we should stay with RaspberryPis:
1. The name RaspberryPi is good for marketing (or is Odroid also this famous?)
2. RaspberryPis use less power, I assume
If the answers are No, we should try with Odroid.