Runtime-Programmable Pipelines for Model Checkers on FPGAs.
Mrunal PatelShenghsun ChoMichael FerdmanPeter A. MilderPublished in: FPL (2019)
Keyphrases
- computational model
- formal model
- mathematical model
- theoretical framework
- probabilistic model
- database
- objective function
- similarity measure
- database systems
- high level
- probability distribution
- theoretical analysis
- parameter estimation
- web services
- decision making
- information retrieval
- experimental data
- neural network model
- real time