Boolean matrix exponentiation: A case story for a scalable massively parallel matrix machine with string architecture.