Search the dblp DataBase
Peng Li :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Peng Li , Brian D. Corner , Steven Paquette Segmenting 3D Surface Scan Data of the Human Body by 2D Projection. [Citation Graph (0, 0)][DBLP ] Three-Dimensional Image Capture and Applications, 2000, pp:172-177 [Conf ] Peng Li , Brian D. Corner , Steven Paquette Extracting Surface Area Coverage by Superimposing 3D Scan Data. [Citation Graph (0, 0)][DBLP ] Three-Dimensional Image Capture and Applications, 1999, pp:97-103 [Conf ] Peng Li , Peter R. M. Jones Automatic Editing and Curve-fitting of 3-D Surface Scan Data of the Human Body. [Citation Graph (0, 0)][DBLP ] 3DIM, 1997, pp:296-302 [Conf ] Peng Li , Dongsheng Wang , Songliu Guo , Tao Tian , Weimin Zheng Live Range Aware Cache Architecture. [Citation Graph (0, 0)][DBLP ] Asia-Pacific Computer Systems Architecture Conference, 2006, pp:409-415 [Conf ] Haixia Wang , Dongsheng Wang , Peng Li Acceleration Techniques for Chip-Multiprocessor Simulator Debug. [Citation Graph (0, 0)][DBLP ] Asia-Pacific Computer Systems Architecture Conference, 2006, pp:509-515 [Conf ] XueFeng Chen , Peng Li , Long Lin , DingKang Wang Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2004, pp:34-43 [Conf ] Peng Li , Dongsheng Wang , Haixia Wang , Meijuan Lu , Weimin Zheng LIRAC: Using Live Range Information to Optimize Memory Access. [Citation Graph (0, 0)][DBLP ] ARCS, 2007, pp:28-42 [Conf ] Gang Yu , Yalin Miao , Peng Li , Zhengzhong Bian Multiscale Vessel Segmentation: A Level Set Approach. [Citation Graph (0, 0)][DBLP ] CIARP, 2005, pp:701-709 [Conf ] Haisang Wu , Binoy Ravindran , E. Douglas Jensen , Peng Li CPU scheduling for statistically-assured real-time performance and improved energy efficiency. [Citation Graph (0, 0)][DBLP ] CODES+ISSS, 2004, pp:110-115 [Conf ] Peng Li , Jayabharath Goluguri , I-Ling Yen , Ann T. Tai Multi-Criteria Transaction for E-Commerce Applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:596-602 [Conf ] Peng Li , Binoy Ravindran , E. Douglas Jensen Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future. [Citation Graph (0, 0)][DBLP ] COMPSAC Workshops, 2004, pp:12-13 [Conf ] Peng Li , Steve Zdancewic Practical Information-flow Control in Web-Based Information Systems. [Citation Graph (0, 0)][DBLP ] CSFW, 2005, pp:2-15 [Conf ] Peng Li , Steve Zdancewic Encoding Information Flow in Haskell. [Citation Graph (0, 0)][DBLP ] CSFW, 2006, pp:16- [Conf ] Peng Li , Kap Luk Chan , Shankar Muthu Krishnan Learning a Multi-Size Patch-Based Hybrid Kernel Machine Ensemble for Abnormal Region Detection in Colonoscopic Images. [Citation Graph (0, 0)][DBLP ] CVPR (2), 2005, pp:670-675 [Conf ] Peng Li Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation. [Citation Graph (0, 0)][DBLP ] DAC, 2005, pp:664-669 [Conf ] Shiyan Hu , Qiuyang Li , Jiang Hu , Peng Li Steiner network construction for timing critical nets. [Citation Graph (0, 0)][DBLP ] DAC, 2006, pp:379-384 [Conf ] Xin Li , Peng Li , Yang Xu , Lawrence T. Pileggi Analog and RF circuit macromodels for system-level analysis. [Citation Graph (0, 0)][DBLP ] DAC, 2003, pp:478-483 [Conf ] Peng Li , Lawrence T. Pileggi NORM: compact model order reduction of weakly nonlinear systems. [Citation Graph (0, 0)][DBLP ] DAC, 2003, pp:472-477 [Conf ] Xin Li , Yang Xu , Peng Li , Padmini Gopalakrishnan , Lawrence T. Pileggi A frequency relaxation approach for analog/RF system-level simulation. [Citation Graph (0, 0)][DBLP ] DAC, 2004, pp:842-847 [Conf ] Peng Li , Weiping Shi Model order reduction of linear networks with massive ports via frequency-dependent port packing. [Citation Graph (0, 0)][DBLP ] DAC, 2006, pp:267-272 [Conf ] Guo Yu , Peng Li Lookup table based simulation and statistical modeling of Sigma-Delta ADCs. [Citation Graph (0, 0)][DBLP ] DAC, 2006, pp:1035-1040 [Conf ] Peng Li , Lawrence T. Pileggi A Linear-Centric Modeling Approach to Harmonic Balance Analysis. [Citation Graph (0, 0)][DBLP ] DATE, 2002, pp:634-639 [Conf ] Sounil Biswas , Peng Li , R. D. (Shawn) Blanton , Larry T. Pileggi Specification Test Compaction for Analog Circuits and MEMS. [Citation Graph (0, 0)][DBLP ] DATE, 2005, pp:164-169 [Conf ] Peng Li , Frank Liu , Xin Li , Lawrence T. Pileggi , Sani R. Nassif Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction. [Citation Graph (0, 0)][DBLP ] DATE, 2005, pp:958-963 [Conf ] Yang Xu , Xin Li , Peng Li , Lawrence T. Pileggi Noise Macromodel for Radio Frequency Integrated Circuits. [Citation Graph (0, 0)][DBLP ] DATE, 2003, pp:10150-10155 [Conf ] Haisang Wu , Binoy Ravindran , E. Douglas Jensen , Peng Li Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2004, pp:64-73 [Conf ] Peng Li , Seiji Yamada Automatic Creation of Links: An Approach Based on Decision Tree. [Citation Graph (0, 0)][DBLP ] FSKD (2), 2005, pp:1200-1203 [Conf ] Peng Li , Binoy Ravindran Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] HASE, 2002, pp:19-26 [Conf ] Binoy Ravindran , Gérard Le Lann , Peng Li Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. [Citation Graph (0, 0)][DBLP ] HASE, 2002, pp:89-92 [Conf ] David Hoekman , Albert J. Leo , Peng Li , Litai Zhang , Corwin Hansch A Comprehensive Approach to Database Management of Quantitative Structure-Activity Relationships (QSAR) in Chemistry and Biology. [Citation Graph (0, 0)][DBLP ] HICSS (5), 1994, pp:193-202 [Conf ] Peng Li Variational analysis of large power grids by exploring statistical sampling sharing and spatial locality. [Citation Graph (0, 0)][DBLP ] ICCAD, 2005, pp:645-651 [Conf ] Peng Li , Lawrence T. Pileggi Efficient harmonic balance simulation using multi-level frequency decomposition. [Citation Graph (0, 0)][DBLP ] ICCAD, 2004, pp:677-682 [Conf ] Peng Li , Xin Li , Yang Xu , Lawrence T. Pileggi A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits. [Citation Graph (0, 0)][DBLP ] ICCAD, 2003, pp:454-462 [Conf ] Peng Li , Lawrence T. Pileggi , Mehdi Asheghi , Rajit Chandra Efficient full-chip thermal modeling and analysis. [Citation Graph (0, 0)][DBLP ] ICCAD, 2004, pp:319-326 [Conf ] Xin Li , Peng Li , Lawrence T. Pileggi Parameterized interconnect order reduction with explicit-and-implicit multi-parameter moment matching for inter/intra-die variations. [Citation Graph (0, 0)][DBLP ] ICCAD, 2005, pp:806-812 [Conf ] Ganesh Venkataraman , Nikhil Jayakumar , Jiang Hu , Peng Li , Sunil P. Khatri , Anand Rajaram , Patrick McGuinness , Charles J. Alpert Practical techniques to reduce skew and its variations in buffered clock networks. [Citation Graph (0, 0)][DBLP ] ICCAD, 2005, pp:592-596 [Conf ] Zhuo Feng , Peng Li Performance-oriented statistical parameter reduction of parameterized systems via reduced rank regression. [Citation Graph (0, 0)][DBLP ] ICCAD, 2006, pp:868-875 [Conf ] Xiaoji Ye , Peng Li , Frank Liu Practical variation-aware interconnect delay and slew analysis for statistical timing verification. [Citation Graph (0, 0)][DBLP ] ICCAD, 2006, pp:54-59 [Conf ] Ganesh Venkataraman , Zhuo Feng , Jiang Hu , Peng Li Combinatorial algorithms for fast clock mesh optimization. [Citation Graph (0, 0)][DBLP ] ICCAD, 2006, pp:563-567 [Conf ] Peng Li , Emrah Acar A Waveform Independent Gate Model for Accurate Timing Analysis. [Citation Graph (0, 0)][DBLP ] ICCD, 2005, pp:363-365 [Conf ] Peng Li , Yangdong Deng , Lawrence T. Pileggi Temperature-Dependent Optimization of Cache Leakage Power Dissipation. [Citation Graph (0, 0)][DBLP ] ICCD, 2005, pp:7-12 [Conf ] Qing Xu , Liang Ma , Weifang Nie , Peng Li , Jiawan Zhang , Jizhou Sun Adaptive Fuzzy Weighted Average Filter for Synthesized Image. [Citation Graph (0, 0)][DBLP ] ICCSA (3), 2005, pp:292-298 [Conf ] Peng Li , Binoy Ravindran , Hyeonjoong Cho , E. Douglas Jensen Scheduling Distributable Real-Time Threads in Tempus Middleware. [Citation Graph (0, 0)][DBLP ] ICPADS, 2004, pp:187-194 [Conf ] Peng Li , Kap Luk Chan , Wen Fang Hybrid Kernel Machine Ensemble for Imbalanced Data Sets. [Citation Graph (0, 0)][DBLP ] ICPR (1), 2006, pp:1108-1111 [Conf ] Peng Li , Kap Luk Chan , Shankar Muthu Krishnan , Yan Gao Detecting Abnormal Regions in Colonoscopic Images by Patch-based Classifier Ensemble. [Citation Graph (0, 0)][DBLP ] ICPR (3), 2004, pp:774-777 [Conf ] Jingtao Zhou , Shusheng Zhang , Mingwei Wang , Han Zhao , Chao Zhang , Peng Li , Xiaofeng Dong , Kefei Wang Element Matching by Concatenating Linguistic-Based Matchers and Constraint-Based Matcher. [Citation Graph (0, 0)][DBLP ] ICTAI, 2005, pp:265-269 [Conf ] Peng Li , I-Ling Yen , Zhonghang Xia M3TAgent : A Transaction Processing System for B2C E-Commerce. [Citation Graph (0, 0)][DBLP ] IKE, 2003, pp:186-192 [Conf ] Chaoyang Zhang , Peng Li , Arun Rajendran , Youping Deng Parallel Multicategory Support Vector Machines (PMC-SVM) for Classifying Microcarray Data. [Citation Graph (0, 0)][DBLP ] IMSCCS (1), 2006, pp:110-115 [Conf ] Manghui Tu , Peng Li , Qingkai Ma , I-Ling Yen , Farokh B. Bastani On the Optimal Placement of Secure Data Objects over Internet. [Citation Graph (0, 0)][DBLP ] IPDPS, 2005, pp:- [Conf ] Manghui Tu , Peng Li , I-Ling Yen Transaction Based Dynamic Partial Replication in Mobile Environments. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Zhonghang Xia , Peng Li , I-Ling Yen A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Peng Li , Hyeonjoong Cho , Binoy Ravindran , E. Douglas Jensen Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. [Citation Graph (0, 0)][DBLP ] ISORC, 2005, pp:216-223 [Conf ] Peng Li , Binoy Ravindran , Jinggang Wang , Glenn Konowicz Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation. [Citation Graph (0, 0)][DBLP ] ISORC, 2003, pp:292-300 [Conf ] Binoy Ravindran , E. Douglas Jensen , Peng Li On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. [Citation Graph (0, 0)][DBLP ] ISORC, 2005, pp:55-60 [Conf ] Binoy Ravindran , Gérard Le Lann , Jinggang Wang , Peng Li A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 2003, pp:105-112 [Conf ] Tao Li , Yang Yu , Peng Li , Jingpeng Xu , Xirong Ma , Yulu Yang Practical Routing and Torus Assignment for RDT. [Citation Graph (0, 0)][DBLP ] ISPAN, 2004, pp:30-36 [Conf ] Peng Li Critical Path Analysis Considering Temperature, Power Supply Variations and Temperature Induced Leakage. [Citation Graph (0, 0)][DBLP ] ISQED, 2006, pp:254-259 [Conf ] Zhuo Feng , Peng Li , Jiang Hu Efficient Model Update for General Link-Insertion Networks. [Citation Graph (0, 0)][DBLP ] ISQED, 2006, pp:43-50 [Conf ] Zhuo Feng , Guo Yu , Peng Li Reducing the Complexity of VLSI Performance Variation Modeling Via Parameter Dimension Reduction. [Citation Graph (0, 0)][DBLP ] ISQED, 2007, pp:737-742 [Conf ] Guo Yu , Peng Li , Wei Dong Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling. [Citation Graph (0, 0)][DBLP ] ISQED, 2007, pp:513-518 [Conf ] Gang Yu , Yuxiang Yang , Peng Li , Zhengzhong Bian Robust Segmentation for Left Ventricle Based on Curve Evolution. [Citation Graph (0, 0)][DBLP ] KES (3), 2006, pp:507-514 [Conf ] Peng Li , Steve Zdancewic Advanced control flow in Java card programming. [Citation Graph (0, 0)][DBLP ] LCTES, 2004, pp:165-174 [Conf ] Peng Li , Kap Luk Chan , Sheng Fu , Shankar Muthu Krishnan An Abnormal ECG Beat Detection Approach for Long-Term Monitoring of Heart Patients Based on Hybrid Kernel Machine Ensemble. [Citation Graph (0, 0)][DBLP ] Multiple Classifier Systems, 2005, pp:346-355 [Conf ] Shahrooz Feizabadi , William S. Beebee , Binoy Ravindran , Peng Li , Martin C. Rinard Utilitiy Accrual Scheduling with Real-Time Java. [Citation Graph (0, 0)][DBLP ] OTM Workshops, 2003, pp:550-563 [Conf ] He Huang , Jin Wang , Bo Yang , Peng Li Multi-Class MPLS Resilience Mechanism Supporting Traffic Engineering. [Citation Graph (0, 0)][DBLP ] PDCAT, 2006, pp:393-398 [Conf ] Peng Li , Steve Zdancewic Downgrading policies and relaxed noninterference. [Citation Graph (0, 0)][DBLP ] POPL, 2005, pp:158-170 [Conf ] Peng Li , Pranab K. Nag , Wojciech Maly Cost based tradeoff analysis of standard cell designs. [Citation Graph (0, 0)][DBLP ] SLIP, 2000, pp:129-135 [Conf ] Gang Yu , Changguo Wang , Peng Li , Yalin Miao , Zhengzhong Bian A Statistical Level Set Framework for Segmentation of Left Ventricle. [Citation Graph (0, 0)][DBLP ] IWICPAS, 2006, pp:396-405 [Conf ] Youhui Zhang , Peng Li , Dongsheng Wang , Weimin Zheng Seamless Peripherals Integration for Network Computers based on the Reversed Server Message Block Protocol. [Citation Graph (0, 0)][DBLP ] ICNS, 2006, pp:112- [Conf ] Peng Li , Yong Guan , Bo Xu , Wenju Liu Monaural Speech Separation Based on Computational Auditory Scene Analysis and Objective Quality Assessment of Speech. [Citation Graph (0, 0)][DBLP ] ICICIC (2), 2006, pp:742-745 [Conf ] Chun-tao Man , Peng Li , Yan Li Study of Priority Inversion in Embedded Linux. [Citation Graph (0, 0)][DBLP ] ICICIC (3), 2006, pp:217-219 [Conf ] Qin Zhang , Peng Li , Jizhong Han , Chengde Han Design and Implementation of Reconfigurable Gateway Array of Multiple Fabrics (RGAMF). [Citation Graph (0, 0)][DBLP ] IWNAS, 2006, pp:81-86 [Conf ] Peng Li , Manghui Tu , I-Ling Yen , Zhonghang Xia Preference update for e-commerce applications: Model, language, and processing. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research, 2007, v:7, n:1, pp:17-44 [Journal ] Sheng Uei Guan , Fangming Zhu , Peng Li Modular Feature Selection Using Relative Importance Factors. [Citation Graph (0, 0)][DBLP ] International Journal of Computational Intelligence and Applications, 2004, v:4, n:1, pp:57-75 [Journal ] Binoy Ravindran , Peng Li , Tamir Hegazy Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2003, v:63, n:12, pp:1219-1242 [Journal ] Zhonghang Xia , I-Ling Yen , Donglei Du , Peng Li An integrated admission control scheme for the delivery of streaming media. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:3, pp:334-344 [Journal ] Peng Li , Binoy Ravindran Efficiently tolerating failures in asynchronous real-time distributed systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems Architecture, 2004, v:50, n:10, pp:607-621 [Journal ] Peng Li , Binoy Ravindran Proactive QoS negotiation in asynchronous real-time distributed systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2004, v:73, n:, pp:75-88 [Journal ] Peng Li , Binoy Ravindran Fast, Best-Effort Real-Time Scheduling Algorithms. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2004, v:53, n:9, pp:1159-1175 [Journal ] Peng Li , Haisang Wu , Binoy Ravindran , E. Douglas Jensen A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2006, v:55, n:4, pp:454-469 [Journal ] Binoy Ravindran , Peng Li DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2004, v:53, n:2, pp:201-216 [Journal ] Haisang Wu , Binoy Ravindran , E. Douglas Jensen , Peng Li Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2005, v:54, n:9, pp:1138-1153 [Journal ] Peng Li , Lawrence T. Pileggi Efficient per-nonlinearity distortion analysis for analog and RF circuits. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:10, pp:1297-1309 [Journal ] Peng Li , Lawrence T. Pileggi Compact reduced-order modeling of weakly nonlinear analog and RF circuits. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:2, pp:184-203 [Journal ] Peng Li , Lawrence T. Pileggi , Mehdi Asheghi , Rajit Chandra IC thermal simulation and modeling via efficient multigrid-based approaches. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:9, pp:1763-1776 [Journal ] Haisang Wu , Binoy Ravindran , E. Douglas Jensen , Peng Li Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2006, v:5, n:3, pp:513-542 [Journal ] Manghui Tu , Peng Li , Liangliang Xiao , I-Ling Yen , Farokh B. Bastani Replica Placement Algorithms for Mobile Transaction Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2006, v:18, n:7, pp:954-970 [Journal ] Zhonghang Xia , Wei Hao , I-Ling Yen , Peng Li A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2005, v:16, n:12, pp:1143-1153 [Journal ] Peng Li , Binoy Ravindran , Syed Suhaib , Shahrooz Feizabadi A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:9, pp:613-629 [Journal ] Zhuo Wang , Peng Li , Shuwu Zhang , Bo Xu Hand-Free Speech Recognition in Adverse Environment with Microphone Arrays. [Citation Graph (0, 0)][DBLP ] Journal of Chinese Language and Computing, 2004, v:14, n:1, pp:- [Journal ] Wei Dong , Peng Li Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning. [Citation Graph (0, 0)][DBLP ] DAC, 2007, pp:436-439 [Conf ] Zhuo Feng , Peng Li , Yaping Zhan Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction. [Citation Graph (0, 0)][DBLP ] DAC, 2007, pp:244-249 [Conf ] Xiaoji Ye , Yaping Zhan , Peng Li Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization. [Citation Graph (0, 0)][DBLP ] DAC, 2007, pp:853-858 [Conf ] Guo Yu , Wei Dong , Zhuo Feng , Peng Li A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis. [Citation Graph (0, 0)][DBLP ] DAC, 2007, pp:829-834 [Conf ] Haixia Wang , Dongsheng Wang , Peng Li , Jinglei Wang , XianPing Fu Exploit Temporal Locality of Shared Data in SRC Enabled CMP. [Citation Graph (0, 0)][DBLP ] NPC, 2007, pp:384-393 [Conf ] Peng Li , Steve Zdancewic Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:189-199 [Conf ] Peng Li , Simon Marlow , Simon L. Peyton Jones , Andrew P. Tolmach Lightweight concurrency primitives for GHC. [Citation Graph (0, 0)][DBLP ] Haskell, 2007, pp:107-118 [Conf ] Peng Li , Frank Liu , Xin Li , Lawrence T. Pileggi , Sani R. Nassif Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Sounil Biswas , Peng Li , R. D. (Shawn) Blanton , Larry T. Pileggi Specification Test Compaction for Analog Circuits and MEMS [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Peng Li , Zhuo Feng , Emrah Acar Characterizing Multistage Nonlinear Drivers and Variability for Accurate Timing and Noise Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. VLSI Syst., 2007, v:15, n:11, pp:1205-1214 [Journal ] Shiyan Hu , Qiuyang Li , Jiang Hu , Peng Li Utilizing Redundancy for Timing Critical Interconnect. [Citation Graph (0, 0)][DBLP ] IEEE Trans. VLSI Syst., 2007, v:15, n:10, pp:1067-1080 [Journal ] Xiaoji Ye , Frank Liu , Peng Li Fast Variational Interconnect Delay and Slew Computation Using Quadratic Models. [Citation Graph (0, 0)][DBLP ] IEEE Trans. VLSI Syst., 2007, v:15, n:8, pp:913-926 [Journal ] Yangdong Deng , Peng Li Temperature-Aware Floorplanning of 3-D ICs Considering Thermally Dependent Leakage Power. [Citation Graph (0, 0)][DBLP ] J. Low Power Electronics, 2006, v:2, n:2, pp:177-188 [Journal ] Bridging the Gap between Data-Flow and Control-Flow Analysis for Anomaly Detection. [Citation Graph (, )][DBLP ] Adaptive FEC Algorithm Based on Prediction of Video Quality and Bandwidth Utilization Ratio. [Citation Graph (, )][DBLP ] View-based maintenance of graphical user interfaces. [Citation Graph (, )][DBLP ] The Research on the Algorithms of Keyword Search in Relational Database. [Citation Graph (, )][DBLP ] Inferring Gene Regulatory Network of Yeast Cell-Cycle using Dynamic Bayesian Network. [Citation Graph (, )][DBLP ] Allocation of Partitioned Data by Using A Neural Network Based Approach. [Citation Graph (, )][DBLP ] Joint and implicit registration for face recognition. [Citation Graph (, )][DBLP ] WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines. [Citation Graph (, )][DBLP ] Parallelizable stable explicit numerical integration for efficient circuit simulation. [Citation Graph (, )][DBLP ] Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs. [Citation Graph (, )][DBLP ] Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation. [Citation Graph (, )][DBLP ] Tradeoff analysis and optimization of power delivery networks with on-chip voltage regulation. [Citation Graph (, )][DBLP ] Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis. [Citation Graph (, )][DBLP ] HMMer acceleration using systolic array based reconfigurable architecture. [Citation Graph (, )][DBLP ] Closed-loop modeling of power and temperature profiles of FPGAs. [Citation Graph (, )][DBLP ] A Hybrid Re-sampling Method for SVM Learning from Imbalanced Data Sets. [Citation Graph (, )][DBLP ] The study in ranking method for web entity. [Citation Graph (, )][DBLP ] Automated Thickness Measurement of Nacreous Layer of Seawater Pearls Based on Optical Coherence Tomography. [Citation Graph (, )][DBLP ] Automated Thickness Measurements of Pearl from Optical Coherence Tomography Images. [Citation Graph (, )][DBLP ] A Reliable Multi-path Routing Protocol in Wireless Sensor Network Design and Implementation. [Citation Graph (, )][DBLP ] Automated Web Site Evaluation - An Approach Based on Ranking SVM. [Citation Graph (, )][DBLP ] A Novel Fingerprint Matching Algorithm Using Ridge Curvature Feature. [Citation Graph (, )][DBLP ] Security-Enhanced Fuzzy Fingerprint Vault Based on Minutiae's Local Ridge Information. [Citation Graph (, )][DBLP ] Fingerprint Matching Based on Neighboring Information and Penalized Logistic Regression. [Citation Graph (, )][DBLP ] Yield-aware analog integrated circuit optimization using geostatistics motivated performance modeling. [Citation Graph (, )][DBLP ] Efficient VCO phase macromodel generation considering statistical parametric variations. [Citation Graph (, )][DBLP ] A methodology for timing model characterization for statistical static timing analysis. [Citation Graph (, )][DBLP ] Impedance extraction for 3-D structures with multiple dielectrics using preconditioned boundary element method. [Citation Graph (, )][DBLP ] Analysis of large clock meshes via harmonic-weighted model order reduction and port sliding. [Citation Graph (, )][DBLP ] Yield-aware hierarchical optimization of large analog integrated circuits. [Citation Graph (, )][DBLP ] Multigrid on GPU: tackling power grid analysis on parallel SIMT platforms. [Citation Graph (, )][DBLP ] SRAM dynamic stability: theory, variability and analysis. [Citation Graph (, )][DBLP ] MAPS: multi-algorithm parallel circuit simulation. [Citation Graph (, )][DBLP ] Gene-regulatory memories: Electrical-equivalent modeling, simulation and parameter identification. [Citation Graph (, )][DBLP ] Final-value ODEs: Stable numerical integration and its application to parallel circuit analysis. [Citation Graph (, )][DBLP ] Leveraging efficient parallel pattern search for clock mesh optimization. [Citation Graph (, )][DBLP ] Nonvolatile memristor memory: Device characteristics and design implications. [Citation Graph (, )][DBLP ] Pattern-Unit Based Regular Expression Matching with Reconfigurable Function Unit. [Citation Graph (, )][DBLP ] Application of chaotic theory in differential evolution algorithms. [Citation Graph (, )][DBLP ] Topological structure-based alignment for fingerprint Fuzzy Vault. [Citation Graph (, )][DBLP ] Improving efficiency of fingerprint matching by minutiae indexing. [Citation Graph (, )][DBLP ] Design of a mobile mechanism possessing driving ability and detecting function for in-pipe inspection. [Citation Graph (, )][DBLP ] Dynamic round-trip GUI maintenance. [Citation Graph (, )][DBLP ] Script InSight: Using Models to Explore JavaScript Code from the Browser View. [Citation Graph (, )][DBLP ] Web Service Mashup Middleware with Partitioning of XML Pipelines. [Citation Graph (, )][DBLP ] A Research on Medical Image Interpolation Based on Cubic Convolution and Adaptive Interpolation. [Citation Graph (, )][DBLP ] Accelerating HMMer on FPGAs using systolic array based architecture. [Citation Graph (, )][DBLP ] T-check: bug finding for sensor networks. [Citation Graph (, )][DBLP ] Modeling dynamic stability of SRAMS in the presence of single event upsets (SEUs). [Citation Graph (, )][DBLP ] Discrete buffer and wire sizing for link-based non-tree clock networks. [Citation Graph (, )][DBLP ] Accurate clock mesh sizing via sequential quadraticprogramming. [Citation Graph (, )][DBLP ] Energy Minimization on Thread-Level Speculation in Multicore Systems. [Citation Graph (, )][DBLP ] Accelerating Clock Mesh Simulation Using Matrix-Level Macromodels and Dynamic Time Step Rounding. [Citation Graph (, )][DBLP ] An application-specific adjoint sensitivity analysis framework for clock mesh sensitivity computation. [Citation Graph (, )][DBLP ] Parallel partitioning based on-chip power distribution network analysis using locality acceleration. [Citation Graph (, )][DBLP ] Distinguishing between FE and DDoS Using Randomness Check. [Citation Graph (, )][DBLP ] An Optimization Model for IO Jitter in Device-Level RTOS. [Citation Graph (, )][DBLP ] The Mechanism and Performance Comparison of Two Wireless Sensor Network Operating System Kernels. [Citation Graph (, )][DBLP ] Parallel Training of Multi-class Support Vector Machines Using Sequential Minimal Optimization. [Citation Graph (, )][DBLP ] Power Scalable Video Encoding Strategy Based on Game Theory. [Citation Graph (, )][DBLP ] Rate-Distortion-Complexity Analysis on AVS Encoder. [Citation Graph (, )][DBLP ] Minimizing the Energy Consumption of Behavior-Oriented Parallelization. [Citation Graph (, )][DBLP ] TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. [Citation Graph (, )][DBLP ] Automatically Adapting a Trained Anomaly Detector to Software Patches. [Citation Graph (, )][DBLP ] On Challenges in Evaluating Malware Clustering. [Citation Graph (, )][DBLP ] News Recommender System Based on Topic Detection and Tracking. [Citation Graph (, )][DBLP ] Fairness and Interactivity of Three CPU Schedulers in Linux. [Citation Graph (, )][DBLP ] Experiencing virtual computing lab in information technology education. [Citation Graph (, )][DBLP ] Deadlock avoidance for streaming computations with filtering. [Citation Graph (, )][DBLP ] InsunQA06 on QA Track of TREC 2006. [Citation Graph (, )][DBLP ] Insun05QA on QA Track of TREC 2005. [Citation Graph (, )][DBLP ] QueryTrans: Finding Similar Queries Based on Query Trace Graph. [Citation Graph (, )][DBLP ] Application of GA and SA in Coordinating Multi-infeed HVDC for China Southern Power Grid. [Citation Graph (, )][DBLP ] Optimizing Reference Gene Set for Inter-Chip Normalization Using Genetic Algorithm. [Citation Graph (, )][DBLP ] Approach to Missing Data Recovery. [Citation Graph (, )][DBLP ] Multifunctional Mobile Units with a same platform for in-pipe inspection robots. [Citation Graph (, )][DBLP ] An in-pipe inspection robot based on adaptive mobile mechanism: mechanical design and basic experiments. [Citation Graph (, )][DBLP ] BEST: A real-time tracking method for scout robot. [Citation Graph (, )][DBLP ] The Depth Information Estimation of Microscope Defocus Image Based-on Markov Random Field. [Citation Graph (, )][DBLP ] Multiple Mobile Robots Map Building Based on DSmT. [Citation Graph (, )][DBLP ] Clustering to Find Exemplar Terms for Keyphrase Extraction. [Citation Graph (, )][DBLP ] An Optimal MPLS-TE Solution to Route Selection and Redistribution on Congested Networks. [Citation Graph (, )][DBLP ] An Implementation Approach for XQuery Based on Lazy Evaluation. [Citation Graph (, )][DBLP ] Diversity Technique Based Secure Video Watermarking for Broadcast Monitoring. [Citation Graph (, )][DBLP ] A Novel Association Rule Decision Algorithm Based on Knowledge Space. [Citation Graph (, )][DBLP ] An Efficient Knowledge Discovery Method Based on Swarm Intelligence. [Citation Graph (, )][DBLP ] Low power embedded speech recognition system based on a MCU and a coprocessor. [Citation Graph (, )][DBLP ] Monaural voiced speech segregation based on elaborate harmonic grouping strategy. [Citation Graph (, )][DBLP ] PerturbationAnalyzer: a tool for investigating the effects of concentration perturbation on protein interaction networks. [Citation Graph (, )][DBLP ] Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks. [Citation Graph (, )][DBLP ] Parallelization of multicategory support vector machines (PMC-SVM) for classifying microarray data. [Citation Graph (, )][DBLP ] Search in 0.383secs, Finished in 0.391secs