Prioritization in parallel symbolic computing
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A load balancing strategy for prioritized execution of tasksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Portable parallel test generation for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- The reduce-or process model for parallel execution of logic programsThe Journal of Logic Programming, 1991
- Parallel state-space search for a first solution with consistent linear speedupsInternational Journal of Parallel Programming, 1990
- Speculative computation in multilispPublished by Association for Computing Machinery (ACM) ,1990
- Optimal Path-Finding AlgorithmsPublished by Springer Nature ,1988
- Parallel depth first search. Part I. ImplementationInternational Journal of Parallel Programming, 1987
- Parallel Symbolic ComputingComputer, 1986
- Coping with Anomalies in Parallel Branch-and-Bound AlgorithmsIEEE Transactions on Computers, 1986
- Depth-first iterative-deepeningArtificial Intelligence, 1985