Sikun Li

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

49EEDawei Wang, Peng Zhao, Sikun Li: System Level Distributed Cooperative Design of Media SoC Using Application Profiling. JCP 4(1): 77-85 (2009)
48EEJianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)
47EEDawei Wang, Sikun Li, Yong Dou: Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. JSW 4(1): 81-89 (2009)
46EEDawei Wang, Sikun Li, Yong Dou: Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC 2008: 679-684
45EEPeng Zhao, Sikun Li, Dawei Wang, Ming Yan: Application-driven System-on-Chip system model extraction approach. CSCWD 2008: 123-128
44EEDan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642
43EEZhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li: Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. CSCWD 2007: 1100-1104
42EESikun Li, Dawei Wang, Tun Li, Yong Dou: Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD 2007: 133-138
41EETun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150
40EEJianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659
39EEJianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394
38EEJing Zhou, Yijie Wang, Sikun Li: Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA 2007: 91-103
37EEJianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856
36EEJing Zhou, Yijie Wang, Sikun Li: Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT 2006: 120
35EEShengning Wu, Sikun Li: Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR 2006: 641-651
34EEXuexian Pi, Junqiang Song, Liang Zeng, Sikun Li: Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment 2006: 913-920
33EELiansheng Wang, Xucan Chen, Sikun Li, Xun Cai: General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) 2006: 661-670
32EECheng-Dong Shen, Sikun Li: Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) 2006: 882-890
31EEJianmin Zhang, Ming Yan, Sikun Li: Debug Support for Scalable System-on-Chip. MTV 2006: 83-87
30EECheng-Dong Shen, Sikun Li: A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM 2006: 827-834
29EETun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042
28EETiejun Li, Sikun Li, Cheng-Dong Shen: A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. ASP-DAC 2005: 1264-1267
27EEZhihui Xiong, Sikun Li, Jihua Chen: Hardware/software co-design using hierarchical platform-based design method. ASP-DAC 2005: 1309-1312
26EEShengYu Shen, Ying Qin, Sikun Li: A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454
25EEZhihui Xiong, Jihua Chen, Sikun Li: Hardware/software partitioning for platform-based design method. ASP-DAC 2005: 691-696
24EETun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186
23EECheng-Dong Shen, Tiejun Li, Sikun Li: A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP 2005: 188-196
22EEShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397
21EESikun Li, Zhihui Xiong, Tiejun Li: Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) 2005: 455-462
20EEShengYu Shen, Ying Qin, Sikun Li: A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677
19EETun Li, Yang Guo, GongJie Liu, Sikun Li: Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD 2005: 17-25
18EETun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183
17EEJing Zhou, Yijie Wang, Sikun Li: An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC 2005: 713-718
16EETiejun Li, Sikun Li: A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS 2005: 564-575
15EETun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184
14EEShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312
13EETun Li, Yang Guo, Sikun Li: Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291
12EETun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646
11EEShengYu Shen, Ying Qin, Sikun Li: Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469
10EETun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498
9EEZhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) 2004: 242-251
8EEYijie Wang, Sikun Li: Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC 2004: 642-649
7EEYubo Tan, Yuxing Peng, Sikun Li, Fujie Chen: AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. GCC Workshops 2004: 753-760
6EEYuxing Peng, Yongjun Zhang, Sikun Li: Delayed State Consistency in Distributed Virtual Environments. GCC Workshops 2004: 761-767
5EEZhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS 2004: 216-221
4EEChuanyan Tian, Cheng-Dong Shen, Sikun Li: A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS 2004: 175-186
3EETun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334
2EETun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004)
1EETun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160

Coauthor Index

1FuJiang Ao [12]
2Xun Cai [33]
3Fujie Chen [7]
4Jihua Chen [5] [9] [25] [27]
5Xucan Chen [33]
6Yong Dou [42] [46] [47]
7Yang Guo [1] [2] [3] [10] [12] [13] [15] [18] [19] [24] [29] [41] [44]
8GongJie Li [12]
9Tiejun Li [16] [21] [23] [28]
10Tun Li [1] [2] [3] [10] [12] [13] [15] [18] [19] [24] [29] [41] [42] [43] [44]
11Lei Liang [29]
12GongJie Liu [18] [19] [24]
13Yuxing Peng [6] [7]
14Xuexian Pi [34]
15Ying Qin [11] [14] [20] [22] [26]
16Cheng-Dong Shen [4] [23] [28] [30] [32]
17ShengYu Shen [11] [14] [20] [22] [26] [37] [39] [40] [48]
18Junqiang Song [34]
19Yubo Tan [7]
20Chuanyan Tian [4]
21Dawei Wang [42] [45] [46] [47] [49]
22Liansheng Wang [33]
23Yijie Wang [8] [17] [36] [38]
24Yunli Wang [43]
25Shengning Wu [35]
26Zhihui Xiong [5] [9] [21] [25] [27] [43]
27Ming Yan [31] [45]
28Jinshan Yu [41]
29Liang Zeng [34]
30Jianmin Zhang [31] [37] [39] [40] [48]
31Maojun Zhang [5] [9] [43]
32Yongjun Zhang [6]
33Peng Zhao [45] [49]
34Jing Zhou [17] [36] [38]
35Dan Zhu [15] [18] [29] [44]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)