Login / Signup

Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores.

R. T. JacobIvor P. Page
Published in: IEEE Trans. Software Eng. (1989)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • dynamic programming
  • solution space
  • machine learning
  • genetic algorithm
  • information systems
  • evolutionary algorithm