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

Laurent Arditi Gaë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