Login / Signup

Synchronous approach to the functional equivalence of embeddedsystem implementations.

Harry HsiehFelice BalarinLuciano LavagnoAlberto L. Sangiovanni-Vincentelli
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)
Keyphrases
  • asynchronous communication
  • neural network
  • data analysis
  • database
  • information systems
  • parallel algorithm
  • functional analysis