Login / Signup

Dynamic processor allocation in scalable multiprocessors using boolean algebra.

Huey-Ling ChenChung-Ta King
Published in: Int. J. Comput. Math. (1998)
Keyphrases
  • boolean algebra
  • distributed memory
  • cardinality constraints
  • constraint query languages
  • shared memory multiprocessors
  • data integration
  • theorem prover