Searching for "The Aurora Or-Parallel Prolog System." – sorted by Relevance.
-
Scheduling Speculative Work in MUSE and Performance Results
- implemented in the Aurora OR-parallel Prolog system. The comparison shows that our strategy performs quite
- Cited by 7 (0 self) – Add To MetaCart
-
A Prolog Compiler and its Extension for Or-Parallelism
- component of the Aurora Or-Parallel Prolog system [Lusk et al. 88], an implementation based on the SRI model
- Cited by 2 (1 self) – Add To MetaCart
-
Structural Operational Semantics for AKL
- , 1989. [13] Ewing Lusk, David H. D. Warren, Seif Haridi, et al. The Aurora or-parallel Prolog system
- Cited by 5 (0 self) – Add To MetaCart
-
Hiding Miss Latencies with Multithreading on the Data Diffusion Machine
- that solves a tridiagonal matrix using Wang's algorithm. Aurora is an or-parallel Prolog system on which we
- Cited by 2 (1 self) – Add To MetaCart
-
Implementing the Data Diffusion Machine using Crossbar Routers
- come from the SPLASH suite. Aurora is an or-parallel Prolog system on which we run a protein database
- Cited by 2 (0 self) – Add To MetaCart
-
Published in: Proceedings of the 10th International Parallel Processing Symposium, IPPS'96,
- come from the SPLASH suite. Aurora is an or-parallel Prolog system on which we run a protein database
- Add To MetaCart

