Login / Signup

Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.

Xu WangMarta Z. KwiatkowskaGeorgios TheodoropoulosQianyi Zhang
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • database
  • computer vision
  • process model
  • lessons learned
  • real time
  • neural network
  • real world
  • image processing
  • case study
  • higher order
  • collaborative learning
  • technical challenges
  • open issues