Sign in

Deterministic Deep Pushdown Transducer and its Parallel Version.

Nidhi KalraAjay 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