Login / Signup

A Formal Reduction for Lock-Free Parallel Algorithms.

Hui GaoWim H. Hesselink
Published in: CAV (2004)
Keyphrases
  • parallel algorithm
  • parallel computation
  • parallel programming
  • shared memory
  • parallel version
  • pc cluster
  • medial axis transform
  • cluster of workstations
  • real time
  • np hard