Performance of Muse on switch-based multiprocessor machines

DOI10.1007/BF03037528zbMath0782.68018MaRDI QIDQ1205182

Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi

Publication date: 1 April 1993

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

parallel machinesparallel systemsprologOR-parallelism

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (1)

Scheduling speculative work in MUSE and performance results

Uses Software

• SICStus

Cites Work

• Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
• Unnamed Item

This page was built for publication: Performance of Muse on switch-based multiprocessor machines