Login / Signup

A semi-formal methodology for the functional validation of an industrial DSP system.

Laurent ArditiGaël Clavé
Published in: ISCAS (2000)
Keyphrases
  • signal processing
  • industrial applications
  • information retrieval
  • genetic algorithm
  • formal methods
  • database
  • real world
  • computer vision
  • knowledge representation
  • power consumption
  • trading systems