A tutorial on the Warren abstract machine for computational logic

Ejemplares similares

• Logic machine architecture inference mechanisms: layer 2 user reference manual, release 2.0
  por: Lusk, E L, et al.
  Publicado: (1984)
• Use of monitors in Fortran: a tutorial on the barrier, self-scheduling DO-loop, and askfor monitors
  por: Lusk, E L, et al.
  Publicado: (1985)
• Use of monitors in Pascal on the Lemur: a tutorial on the barrier, self-scheduling for-loop, and askfor monitors
  por: Clausing, J A, et al.
  Publicado: (1984)
• PVM: a users' guide and tutorial for networked parallel computing
  por: Geist, Al, et al.
  Publicado: (1994)
• Implementation of monitors with macros: a programming aid for the HEP and other parallel processors
  por: Lusk, E L, et al.
  Publicado: (1984)