Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.
Hafiz ul AsadKevin D. JonesPublished in: IEEE Des. Test (2016)
Keyphrases
- query expansion
- communication systems
- retrieval effectiveness
- model checking
- object oriented
- abductive inference
- neural network
- algebraic structure
- language model
- database languages
- functional programs
- real time
- programming language
- computer systems
- case study
- knowledge base
- feature selection
- computer vision
- real world
- deductive reasoning