Sikun Li

	2012
79		Guowei Wan, Noah Snavely, Daniel Cohen-Or, Qian Zheng, Baoquan Chen, Sikun Li: Sorting unorganized photo sets for urban reconstruction. Graphical Models 74(1): 14-28 (2012)
	2011
78		Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai: Multi-GPU Compositeless Parallel Rendering Algorithm. CAD/Graphics 2011: 103-107
77		Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong: MCA-Based Animation of Fracturing Heterogeneous Objects. CAD/Graphics 2011: 357-364
76		Ming Yan, Ziyu Yang, Sikun Li, Liu Yang: A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure. CMC 2011: 95-98
75		Ming Yan, Ziyu Yang, Sikun Li, Liu Yang: Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. FCCM 2011: 252
74		Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li: Practical and Effective Domain-Specific Function Unit Design for CGRA. ICCSA (5) 2011: 577-592
73		Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li: Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. IDEAL 2011: 178-185
72		Wenke Wang, Tian Tian, Sikun Li: B-spline surface skinning to non-parallel sectional curves. VRCAI 2011: 569-572
71		Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li: Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. 8(3): 693-710 (2011)
70		ShengYu Shen, Ying Qin, LiQuan Xiao, KeFei Wang, Jianmin Zhang, Sikun Li: A Halting Algorithm to Determine the Existence of the Decoder. IEEE Trans. on CAD of Integrated Circuits and Systems 30(10): 1556-1563 (2011)
69		Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li: Particle-Based Fracture Simulation on the GPU. T. Edutainment 6: 193-205 (2011)
68		Huaxun Xu, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li: 3D flow features visualization via fuzzy clustering. The Visual Computer 27(6-8): 441-449 (2011)
	2010
67		Aiping Wang, Sikun Li, Liang Zeng: Multiple Order Graph Matching. ACCV (3) 2010: 471-482
66		Dan Zhu, Tun Li, Sikun Li: On Soft Error Immunity of Sequential Circuits. Asian Test Symposium 2010: 106-110
65		ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li: A halting algorithm to determine the existence of decoder. FMCAD 2010: 91-99
64		ShengYu Shen, Ying Qin, KeFei Wang, LiQuan Xiao, Jianmin Zhang, Sikun Li: Synthesizing Complementary Circuits Automatically. IEEE Trans. on CAD of Integrated Circuits and Systems 29(8): 1191-1202 (2010)
63		Qianli Ma, Huaxun Xu, Liang Zeng, Xun Cai, Sikun Li: Direct raycasting of unstructured cell-centered data by discontinuity Roe-average computation. The Visual Computer 26(6-8): 1049-1059 (2010)
	2009
62		ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li: Synthesizing complementary circuits automatically. ICCAD 2009: 381-388
61		Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li: An incremental extremely random forest classifier for online learning and tracking. ICIP 2009: 1449-1452
60		Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li: Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. ICPADS 2009: 527-534
59		Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li: Providing Responsiveness Requirement Based Consistency in DVE. ICPADS 2009: 594-601
58		Sikun Li, Xiaoxia Lu: A self-adaptive HVS-optimized texture compression algorithm. VRCAI 2009: 209-214
57		Dawei Wang, Peng Zhao, Sikun Li: System Level Distributed Cooperative Design of Media SoC Using Application Profiling. JCP 4(1): 77-85 (2009)
56		Peng Zhao, Dawei Wang, Ming Yan, Sikun Li: Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip. JCP 4(6): 477-484 (2009)
55		Jianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)
54		Dawei Wang, Sikun Li, Yong Dou: Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. JSW 4(1): 81-89 (2009)
	2008
53		Dawei Wang, Sikun Li, Yong Dou: Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC 2008: 679-684
52		Peng Zhao, Sikun Li, Dawei Wang, Ming Yan: Application-driven System-on-Chip system model extraction approach. CSCWD 2008: 123-128
51		Dan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642
	2007
50		Yang Guo, WanXia Qu, Tun Li, Sikun Li: Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics 2007: 321-326
49		Ming Yan, Sikun Li: Comparison and Analysis of Novel Architectures for Media Compression. CAD/Graphics 2007: 509-512
48		Dawei Wang, Yafei Cao, Ming Yan, Sikun Li: Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling. CAD/Graphics 2007: 557-560
47		Zhihui 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
46		Sikun Li, Dawei Wang, Tun Li, Yong Dou: Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD 2007: 133-138
45		Tun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150
44		Jianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659
43		Jianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394
42		Jing Zhou, Yijie Wang, Sikun Li: Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA 2007: 91-103
	2006
41		Jianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856
40		Jing Zhou, Yijie Wang, Sikun Li: Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT 2006: 120
39		Jing Zhou, Yijie Wang, Sikun Li: A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. COMAD 2006: 158-161
38		Shengning Wu, Sikun Li: Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR 2006: 641-651
37		Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li: Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment 2006: 913-920
36		Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai: General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) 2006: 661-670
35		Cheng-Dong Shen, Sikun Li: Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) 2006: 882-890
34		Jianmin Zhang, Ming Yan, Sikun Li: Debug Support for Scalable System-on-Chip. MTV 2006: 83-87
33		Cheng-Dong Shen, Sikun Li: A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM 2006: 827-834
	2005
32		Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042
31		Tiejun 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
30		Zhihui Xiong, Sikun Li, Jihua Chen: Hardware/software co-design using hierarchical platform-based design method. ASP-DAC 2005: 1309-1312
29		ShengYu Shen, Ying Qin, Sikun Li: A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454
28		Zhihui Xiong, Jihua Chen, Sikun Li: Hardware/software partitioning for platform-based design method. ASP-DAC 2005: 691-696
27		Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186
26		Xudong Yang, Xuexian Pi, Liang Zeng, Sikun Li: GPU-based real-time simulation and rendering of unbounded ocean surface. CAD/Graphics 2005: 6
25		Xuexian Pi, Xudong Yang, Sikun Li, Junqiang Song: High-performance navigation and rendering of very-large scale landscape and seascape. CAD/Graphics 2005: 6
24		Cheng-Dong Shen, Tiejun Li, Sikun Li: A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP 2005: 188-196
23		ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397
22		Sikun Li, Zhihui Xiong, Tiejun Li: Distributed cooperative design method and environment for embedded system. CSCWD (2) 2005: 956-960
21		Sikun Li, Zhihui Xiong, Tiejun Li: Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) 2005: 455-462
20		ShengYu Shen, Ying Qin, Sikun Li: A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677
19		Tun 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
18		Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183
17		Jing Zhou, Yijie Wang, Sikun Li: An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC 2005: 713-718
16		Tiejun Li, Sikun Li: A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS 2005: 564-575
15		Tun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184
14		ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312
	2004
13		Tun Li, Yang Guo, Sikun Li: Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291
12		Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646
11		ShengYu Shen, Ying Qin, Sikun Li: Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469
10		Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498
9		Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) 2004: 242-251
8		Yijie Wang, Sikun Li: Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC 2004: 642-649
7		Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen: AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. GCC Workshops 2004: 753-760
6		Yuxing Peng, Yongjun Zhang, Sikun Li: Delayed State Consistency in Distributed Virtual Environments. GCC Workshops 2004: 761-767
5		Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS 2004: 216-221
4		Chuanyan Tian, Cheng-Dong Shen, Sikun Li: A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS 2004: 175-186
3		Tun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334
2		Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004)
	2003
1		Tun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160

Coauthor Index

1	FuJiang Ao	[12]
2	Xun Cai	[36] [63] [78]
3	Yafei Cao	[48]
4	Baoquan Chen	[79]
5	Fujie Chen	[7]
6	Jihua Chen	[5] [9] [28] [30]
7	Xucan Chen	[36]
8	Zhi-Quan Cheng	[61] [68]
9	Daniel Cohen-Or	[79]
10	Yong Dou	[46] [53] [54]
11	Yang Guo	[1] [2] [3] [10] [12] [13] [15] [18] [19] [27] [32] [45] [50] [51]
12	GongJie Li	[12]
13	Tiejun Li	[16] [21] [22] [24] [31] [73]
14	Tun Li	[1] [2] [3] [10] [12] [13] [15] [18] [19] [27] [32] [45] [46] [47] [50] [51] [66]
15	Lei Liang	[32]
16	GongJie Liu	[18] [19] [27]
17	Huahai Liu	[78]
18	Lei Liu	[74]
19	Xiaoxia Lu	[58]
20	Qianli Ma	[63]
21	Ralph R. Martin (Ralph Martin)	[68]
22	Jiangfan Ning	[69] [77]
23	Zhengbin Pang	[73]
24	Yuxing Peng	[6] [7] [59]
25	Xuexian Pi	[25] [26] [37]
26	Ying Qin	[11] [14] [20] [23] [29] [62] [64] [65] [70]
27	WanXia Qu	[50]
28	Cheng-Dong Shen	[4] [24] [31] [33] [35]
29	ShengYu Shen	[11] [14] [20] [23] [29] [41] [43] [44] [55] [62] [64] [65] [70] [71] [73]
30	Noah Snavely	[79]
31	Junqiang Song	[25] [37]
32	Yubo Tan	[7]
33	Chuanyan Tian	[4]
34	Tian Tian	[72]
35	Guowei Wan	[61] [79]
36	Aiping Wang	[61] [67]
37	Dawei Wang	[46] [48] [52] [53] [54] [56] [57]
38	KeFei Wang	[64] [70]
39	Liansheng Wang	[36]
40	Pan Wang	[78]
41	Wenke Wang	[72]
42	Yijie Wang	[8] [17] [39] [40] [42]
43	Yunli Wang	[47]
44	Bo Wu	[77]
45	Shengning Wu	[38]
46	Jun Xia	[73]
47	LiQuan Xiao	[64] [70]
48	Yueshan Xiong	[77]
49	Zhihui Xiong	[5] [9] [21] [22] [28] [30] [47]
50	Huaxun Xu	[63] [68] [69] [77]
51	Weixia Xu	[71] [73]
52	Ming Yan	[34] [48] [49] [52] [56] [60] [74] [75] [76]
53	Liu Yang	[74] [75] [76]
54	Xudong Yang	[25] [26]
55	Ziyu Yang	[60] [74] [75] [76]
56	Jinshan Yu	[45]
57	Liang Zeng	[26] [37] [63] [67] [69] [77] [78]
58	Jianmin Zhang	[34] [41] [43] [44] [55] [62] [64] [65] [70] [71] [73]
59	Jun Zhang	[71] [73]
60	Maojun Zhang	[5] [9] [47]
61	Yongjun Zhang	[6]
62	Wei Zhang	[59]
63	Peng Zhao	[52] [56] [57] [60]
64	Qian Zheng	[79]
65	Hangjun Zhou	[59]
66	Jing Zhou	[17] [39] [40] [42]
67	Dan Zhu	[15] [18] [32] [51] [66]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page