English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
SMT-Based Timing Analysis and Verification of Real-Time Task Conference paper
Hai-feng Xing, Jian-tao Zhou, Xiaoyu Song, Rui-dong Qi. SMT-Based Timing Analysis and Verification of Real-Time Task[C], 2018, 711-720.
Authors:  Hai-feng Xing;  Jian-tao Zhou;  Xiaoyu Song;  Rui-dong Qi
Favorite | TC[WOS]:0 TC[Scopus]:0 | Submit date：2018/12/22
Hit/miss Classification  Iterative Optimization Algorithm  Smt  Timing Analysis  Upper Bounds On The executiOn Time  
Spectra analysis of nonuniformly holding signals for time-interleaved systems with timing mismatches Conference paper
Sin S.-W., Martins R.P., U, SP. Spectra analysis of nonuniformly holding signals for time-interleaved systems with timing mismatches[C], 2003, 1298-1301.
Authors:  Sin S.-W.;  Martins R.P.;  U, SP
Favorite | TC[WOS]:1 TC[Scopus]:2 | Submit date：2019/02/11
Signal Analysis  Timing  Signal Processing  Frequency  Clocks  Signal Sampling  Jitter  Silicon Compounds  Closed-form Solution  Error Analysis