Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming.

Hafiz ul Asad Kevin D. Jones

Published in: DAC (2015)

Keyphrases

real time
database
knowledge base
database systems
management system
programming language
operating system
concurrency control
training phase
computer programming
programming environment
learning phase
garbage collection
locking protocol