Performance debugging of Esterel specifications.

Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit Chakraborty

Published in: Real Time Syst. (2012)

Keyphrases

circuit design
execution traces
high level
specification language
delay insensitive
hardware designs
concurrent systems
fault localization
written in natural language
data sets
reactive systems
data structure
decision trees
information systems
genetic algorithm
information retrieval
neural network