Extreme Formal Modeling (XFM) for Hardware Models.
Syed SuhaibDeepak MathaikuttySandeep K. ShuklaDavid BernerPublished in: MTV (2004)
Keyphrases
- modeling framework
- formal models
- real time
- model construction
- model selection
- mathematical modeling
- hardware and software
- probabilistic model
- data sets
- modeling method
- model driven
- metamodel
- statistical models
- statistical model
- low cost
- massively parallel
- model validation
- hybrid models
- neural network
- stochastic models
- genetic algorithm
- artificial intelligence
- social networks
- information systems
- parameter estimation
- knowledge base
- computing systems
- hybrid model
- hardware implementation
- image processing
- video sequences
- computer systems