Deterministic Deep Pushdown Transducer and its Parallel Version.

Nidhi Kalra Ajay Kumar

Published in: Comput. J. (2018)

Keyphrases

parallel version
parallel algorithm
cluster of workstations
parallel processors
search problems
state space search
model checking
iterative deepening
information retrieval systems
orders of magnitude