UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
A 0.45 V 147-375 nW ECG Compression Processor With Wavelet Shrinkage and Adaptive Temporal Decimation Architectures Journal article
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2017,Volume: 25,Issue: 4,Page: 1307-1319
Authors:  Ieong, Chio-In;  Li, Mingzhong;  Law, Man-Kay;  Mak, Pui-In;  Vai, Mang I.;  Martins, Rui P.
Favorite  |  View/Download:22/0  |  Submit date:2018/10/30
Adaptive Temporal Decimation (Atd)  Data Compression Processor  Electrocardiogram (Ecg)  Near-threshold Digital Logics  Wavelet Shrinkage (Ws)  Wavelet Transform (Wt)  
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite  |  View/Download:3/0  |  Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
QRDChecker: A model checking tool for QRDC Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 3,Page: 355-364
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite  |  View/Download:3/0  |  Submit date:2019/04/04
Finitary property  Interval temporal logic  Model checking  Reactive system  
Completeness of temporal logics over infinite intervals Journal article
Discrete Applied Mathematics, 2004,Volume: 136,Issue: 1,Page: 87-103
Authors:  Wang H.;  Xu Q.
Favorite  |  View/Download:3/0  |  Submit date:2019/04/04
Completeness  Henkin's Construction  Interval Temporal Logic  
Checking interval based properties for reactive systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Venice, Italy, 1 11, 2004 - 1 13, 2004
Authors:  Yu, Pei;  Qiwen, Xu
Favorite  |  View/Download:4/0  |  Submit date:2018/11/06