Why arduino specifically? Because you're already familiar with them?

If you want two processors, you could consider a Parallax Propeller - 8 CPU cores one one die @20MIPS each, or the similar but more powerful XMOS XCores.