From latex specifications to parallel codes.

Alejandro Acosta Francisco Almeida Ignacio Peláez

Published in: J. Supercomput. (2013)

Keyphrases

parallel processing
error correction
high level
formal specification
specification language
artificial intelligence
case study
shared memory
parallel implementation
computer architecture
parallel execution
multi core processors
parallel hardware