Keyword : overload

SMT-Based Scheduling for Overloaded Real-Time Systems
Zhuo CHENG Haitao ZHANG Yasuo TAN Yuto LIM 
Publication Date: 2017/05/01
Vol. E100-D  No. 5 ; pp. 1055-1066
Type of Manuscript:  PAPER
Category: Dependable Computing
real-time schedulingSMToverloadsatisfiability problem
 Summary | Full Text:PDF

Analysis of Overload of a Charge-Pump PLL
Eun-Chang CHOI Bhum-Cheol LEE Hee-Young JUNG Kwon-Chul PARK 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/12/25
Vol. E80-B  No. 12 ; pp. 1770-1779
Type of Manuscript:  PAPER
Category: Communication Device and Circuit
charge-pumpoverloadstabilityphase-locked loop (PLL)
 Summary | Full Text:PDF