Login / Signup
Compositional Specification of Parallel Components Using Circus.
Francisco Heron de Carvalho Junior
Rafael Dueire Lins
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
parallel implementation
optimal solution
building blocks
specification language
database
information retrieval
artificial intelligence
clustering algorithm
high level
evolutionary algorithm
formal methods
distributed memory machines