Keynote talk II: Multiform logical time for Me/Mo-codesign.

Robert de Simone

Published in: MEMOCODE (2016)

Keyphrases

multi objective
hardware software
key issues
differential evolution
multiobjective optimization
logical reasoning
real world
computer vision
optimization algorithm
logical framework
logical structure