Adding parallelism capabilities to ACL2.

Published in: ACL2 (2006)

Keyphrases

computational power
parallel processing
parallel execution
website
case study
natural language learning
web services
multiscale
search algorithm
competitive advantage
shared memory
processing capabilities
data parallelism