Login / Signup
Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs.
Anatoliy Doroshenko
Kostiantyn Zhereb
Olena Yatsenko
Published in:
ICTERI (2013)
Keyphrases
</>
term rewriting
parallel implementation
machine learning
data model
parallel processing
shared memory
databases
query language
intelligent systems
model checking
temporal logic
free software