Login / Signup
Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs.
Alair Dias Junior
Diógenes Cecilio da Silva Júnior
Published in:
ISVLSI (2013)
Keyphrases
</>
data sets
high level
data sources
data analysis
multi agent
data structure
data points
decision making
knowledge discovery
temporal properties
database
data mining
knowledge base
probability distribution
fuzzy logic
programming language