Synchronization verification in system-level design with ILP solvers.

Thanyapat Sakunkonchak Satoshi Komatsu Masahiro Fujita

Published in: MEMOCODE (2005)

Keyphrases

case study
neural network
inductive logic programming
design methodology
optimal design
data sets
knowledge base
multimedia
high level
multi agent
relational databases
user interface
engineering design
design decisions