Sikun Li

Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong: Modeling and animation of fracture of heterogeneous materials based on CUDA. The Visual Computer 29(4): 265-275 (2013)

Tun Li, Dan Zhu, Sikun Li, Yang Guo: Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC 2013: 608-613

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)

ShengYu Shen, Ying Qin, KeFei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li: Inferring Assertion for Complementary Synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 31(8): 1288-1292 (2012)

Liang Zeng, Bo Wu, Jiangfan Ning, Jiawen Ma, Sikun Li: Meshless Simulation of Plastic Deformation and Crack. T. Edutainment 8: 127-137 (2012)

Enya Shen, Zhi-Quan Cheng, Jiazhi Xia, Sikun Li: Intuitive Volume Eraser. CVM 2012: 250-257

Ming Yan, Ziyu Yang, Lei Liu, Sikun Li: ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture. ICPADS 2012: 834-839

Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li: Model-based multi-component volume data labeling and rendering. SIGGRAPH ASIA Posters 2012: 34

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)

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)

Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li: Particle-Based Fracture Simulation on the GPU. T. Edutainment 6: 193-205 (2011)

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)

Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai: Multi-GPU Compositeless Parallel Rendering Algorithm. CAD/Graphics 2011: 103-107

Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong: MCA-Based Animation of Fracturing Heterogeneous Objects. CAD/Graphics 2011: 357-364

Ming Yan, Ziyu Yang, Sikun Li, Liu Yang: Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. FCCM 2011: 252

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

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

Ming Yan, Ziyu Yang, Sikun Li, Liu Yang: A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure. CMC 2011: 95-98

Wenke Wang, Tian Tian, Sikun Li: B-spline surface skinning to non-parallel sectional curves. VRCAI 2011: 569-572

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)

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)

Aiping Wang, Sikun Li, Liang Zeng: Multiple Order Graph Matching. ACCV (3) 2010: 471-482

Dan Zhu, Tun Li, Sikun Li: On Soft Error Immunity of Sequential Circuits. Asian Test Symposium 2010: 106-110

ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li: A halting algorithm to determine the existence of decoder. FMCAD 2010: 91-99

Dawei Wang, Peng Zhao, Sikun Li: System Level Distributed Cooperative Design of Media SoC Using Application Profiling. JCP 4(1): 77-85 (2009)

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)

Jianmin Zhang, ShengYu Shen, Sikun Li: Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. JSW 4(1): 42-49 (2009)

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)

ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li: Synthesizing complementary circuits automatically. ICCAD 2009: 381-388

Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li: An incremental extremely random forest classifier for online learning and tracking. ICIP 2009: 1449-1452

Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li: Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. ICPADS 2009: 527-534

Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li: Providing Responsiveness Requirement Based Consistency in DVE. ICPADS 2009: 594-601

Sikun Li, Xiaoxia Lu: A self-adaptive HVS-optimized texture compression algorithm. VRCAI 2009: 209-214

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

Peng Zhao, Sikun Li, Dawei Wang, Ming Yan: Application-driven System-on-Chip system model extraction approach. CSCWD 2008: 123-128

Dan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642

Yang Guo, WanXia Qu, Tun Li, Sikun Li: Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics 2007: 321-326

Ming Yan, Sikun Li: Comparison and Analysis of Novel Architectures for Media Compression. CAD/Graphics 2007: 509-512

Dawei Wang, Yafei Cao, Ming Yan, Sikun Li: Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling. CAD/Graphics 2007: 557-560

Sikun Li, Dawei Wang, Tun Li, Yong Dou: Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD 2007: 133-138

Tun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150

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

Jianmin Zhang, ShengYu Shen, Sikun Li: A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659

Jianmin Zhang, ShengYu Shen, Sikun Li: Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394

Jing Zhou, Yijie Wang, Sikun Li: Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA 2007: 91-103

Jing Zhou, Yijie Wang, Sikun Li: Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT 2006: 120

Jianmin Zhang, Sikun Li, ShengYu Shen: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856

Jing Zhou, Yijie Wang, Sikun Li: A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. COMAD 2006: 158-161

Shengning Wu, Sikun Li: Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR 2006: 641-651

Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li: Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment 2006: 913-920

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

Cheng-Dong Shen, Sikun Li: Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) 2006: 882-890

Jianmin Zhang, Ming Yan, Sikun Li: Debug Support for Scalable System-on-Chip. MTV 2006: 83-87

Cheng-Dong Shen, Sikun Li: A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM 2006: 827-834

ShengYu Shen, Ying Qin, Sikun Li: A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454

Zhihui Xiong, Jihua Chen, Sikun Li: Hardware/software partitioning for platform-based design method. ASP-DAC 2005: 691-696

Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042

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

Zhihui Xiong, Sikun Li, Jihua Chen: Hardware/software co-design using hierarchical platform-based design method. ASP-DAC 2005: 1309-1312

Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186

Xuexian Pi, Xudong Yang, Sikun Li, Junqiang Song: High-performance navigation and rendering of very-large scale landscape and seascape. CAD/Graphics 2005: 6

Xudong Yang, Xuexian Pi, Liang Zeng, Sikun Li: GPU-based real-time simulation and rendering of unbounded ocean surface. CAD/Graphics 2005: 6

Cheng-Dong Shen, Tiejun Li, Sikun Li: A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP 2005: 188-196

ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397

Sikun Li, Zhihui Xiong, Tiejun Li: Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) 2005: 455-462

Sikun Li, Zhihui Xiong, Tiejun Li: Distributed cooperative design method and environment for embedded system. CSCWD (2) 2005: 956-960

ShengYu Shen, Ying Qin, Sikun Li: A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677

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

Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183

Jing Zhou, Yijie Wang, Sikun Li: An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC 2005: 713-718

Tiejun Li, Sikun Li: A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS 2005: 564-575

Tun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184

ShengYu Shen, Ying Qin, Sikun Li: Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312

Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004)

Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646

ShengYu Shen, Ying Qin, Sikun Li: Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469

Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498

Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) 2004: 242-251

Yijie Wang, Sikun Li: Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC 2004: 642-649

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

Yuxing Peng, Yongjun Zhang, Sikun Li: Delayed State Consistency in Distributed Virtual Environments. GCC Workshops 2004: 761-767

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

Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang: Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS 2004: 216-221

Chuanyan Tian, Cheng-Dong Shen, Sikun Li: A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS 2004: 175-186

Tun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334

Tun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160