Ada Tasking: From semantics to Efficient Implementation.

Theodore P. Baker Gregory A. Riccardi

Published in: IEEE Softw. (1985)

Keyphrases

efficient implementation
active set
efficient processing
formal semantics
logic programming
hardware implementation
highly parallel
conceptual model
map reduce