Sikun Li

发表

Application-driven System-on-Chip system model extraction approach

Peng Zhao, Sikun Li, Dawei Wang, 2008, 2008 12th International Conference on Computer Supported Cooperative Work in Design.

Optimization of defect compensation for extreme ultraviolet lithography mask by covariance-matrix-adaption evolution strategy (Erratum)

Sikun Li, Heng Zhang, Xiangzhao Wang, 2019 .

Tracking Unsatisfiable Subformulas from Reduced Refutation Proof

Sikun Li, ShengYu Shen, Jianmin Zhang, 2009, J. Softw..

Verify Behaviors of CGF with ASM

Sikun Li, Wei Zhang, Liang Zeng, 2012 .

Extracting minimal unsatisfiable subformulas in satisfiability modulo theories

Jun Zhang, Sikun Li, ShengYu Shen, 2011, Comput. Sci. Inf. Syst..

Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System

Sikun Li, Yijie Wang, Yijie Wang, 2004, GCC.

Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming

Yang Guo, Sikun Li, Tun Li, 2005, ATVA.

ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture

Lei Liu, Sikun Li, Ming Yan, 2012, 2012 IEEE 18th International Conference on Parallel and Distributed Systems.

A Mapping Method for Application Customized Reconfigurable Pipeline

Sikun Li, Guanwu Wang, 2014, 2014 9th IEEE International Conference on Networking, Architecture, and Storage.

Comparison and Analysis of Novel Architectures for Media Compression

Sikun Li, Ming Yan, 2007, 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics.

Analytical analysis for impact of polarization aberration of projection lens on lithographic imaging quality

Sikun Li, Xiangzhao Wang, Lina Shen, 2015, Advanced Lithography.

A consistency algorithm for causal and totally ordered event delivery in DVE

Sikun Li, Hangjun Zhou, Yuxing Peng, 2010, 2010 3rd International Conference on Computer Science and Information Technology.

Implementation and evaluation of a heterogeneous multicore SoC

Sikun Li, Lei Liu, Ming Yan, 2009, 2009 IEEE 8th International Conference on ASIC.

Efficient source mask optimization using multipole source representation

Sikun Li, Xiangzhao Wang, Chaoxing Yang, 2014 .

Robust pixel-based source and mask optimization for inverse lithography

Sikun Li, Xiangzhao Wang, Yang Bu, 2013 .

Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information

Sikun Li, Tun Li, Jian Hu, 2019, J. Circuits Syst. Comput..

Hardware/software co-design using hierarchical platform-based design method

Sikun Li, Zhihui Xiong, Jihua Chen, 2005, ASP-DAC.

Optimization and Implementation of Unstructured Grid Volume Rendering Algorithm

Sikun Li, Qianli Ma, Wenke Wang, 2012 .

A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems

Jing Zhou, Sikun Li, Yijie Wang, 2006, COMAD.

Intuitive volume eraser

Sikun Li, Jiazhi Xia, Zhi-Quan Cheng, 2012, CVM'12.

Nonsubsampled contourlet transform method for optical fringe pattern analysis in profilometry and interferometry.

Osami Sasaki, Sikun Li, Xiangzhao Wang, 2016, Applied optics.

Fast model for mask spectrum simulation and analysis of mask shadowing effects in extreme ultraviolet lithography

Xiaolei Liu, Sikun Li, Andreas Erdmann, 2014 .

Inferring assertion for complementary synthesis

Sikun Li, ShengYu Shen, Jianmin Zhang, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Predictor of thermal aberrations via particle filter for online compensation

Sikun Li, Xiangzhao Wang, Weijie Shi, 2019 .

System Level Distributed Cooperative Design of Media SoC Using Application Profiling

Peng Zhao, Sikun Li, Dawei Wang, 2009, J. Comput..

A Heterogeneous Multicore SoC Optimized for Embedded Visual Media Process

Sikun Li, Lei Liu, Ming Yan, 2009, 2009 WRI International Conference on Communications and Mobile Computing.

Automatic functional test program generation for microprocessor verification

Yang Guo, Sikun Li, Tun Li, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Hardware/software partitioning for platform-based design method

Sikun Li, Zhihui Xiong, Jihua Chen, 2005, ASP-DAC '05.

Critical pattern selection method for full-chip source and mask optimization.

Yayi Wei, Sikun Li, Xiangzhao Wang, 2020, Optics express.

Large-scale structured light 3D shape measurement with reverse photography

Qican Zhang, Sikun Li, Yongfu Wen, 2020 .

A Novel Graph Model for Loop Mapping on Coarse-Grained Reconfigurable Architectures

Dawei Wang, Sikun Li, Ming Yan, 2012 .

Hardware/software co-design using hierarchical platform-based design method

Sikun Li, Zhihui Xiong, Jihua Chen, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Pixel-based mask optimization via particle swarm optimization algorithm for inverse lithography

Lei Wang, Sikun Li, Xiangzhao Wang, 2016, Advanced Lithography.

Towards gamma-effect elimination in phase measurement profilometry

Sikun Li, Xiangzhao Wang, Abel Kamagara, 2018, Optik.

Optimal defocus selection based on normed Fourier transform for digital fringe pattern profilometry.

Sikun Li, Xiangzhao Wang, Abel Kamagara, 2017, Applied optics.

Model-driven multicomponent volume exploration

Ralph R. Martin, Sikun Li, Jiazhi Xia, 2014, The Visual Computer.

FLDA: Latent Dirichlet Allocation Based Unsteady Flow Analysis

Sikun Li, Xiaoru Yuan, Hanqi Guo, 2014, IEEE Transactions on Visualization and Computer Graphics.

A Novel Collaborative Verification Environment for SoC Co-Verification

Yang Guo, Sikun Li, Tun Li, 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

Detection and classification of critical points in piecewise linear vector fields

Sikun Li, Wenke Wang, Wentao Wang, 2018, J. Vis..

Equivalence Checking between SLM and TLM Using Coverage Directed Simulation

Sikun Li, Tun Li, Jian Hu, 2013, CAD/Graphics.

AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid

Sikun Li, Yuxing Peng, Fujie Chen, 2004, GCC Workshops.

Sparse and adaptive fringe-enhancement efficiency analysis in 3D optical digital fringe-projection imaging

Sikun Li, Xiangzhao Wang, Abel Kamagara, 2018, International Conference on Digital Image Processing.

Modeling and optimization of lens heating effect for lithographic projector

Sikun Li, Xiangzhao Wang, Lifeng Duan, 2018 .

Notice of RetractionAn organizational structure model of groups in joint operation simulations

Wei Zhang, Sikun Li, Liang Zeng, 2010, 2010 3rd International Conference on Computer Science and Information Technology.

Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture

Sikun Li, Ming Yan, Liu Yang, 2011, 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines.

Interactive Visual Analysis of Vortex in 3D Flow with FFDL

Sikun Li, Xun Cai, Liang Zeng, 2011, 2011 International Conference on Virtual Reality and Visualization.

HDBE: an efficient algorithm toward global optimizing

Hong Wang, Sikun Li, 1996, Other Conferences.

Hardware/software partitioning for platform-based design method

Sikun Li, Zhihui Xiong, Jihua Chen, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Spatiotemporal volume saliency

Sikun Li, Yunhai Wang, Enya Shen, 2016, J. Vis..

Coverability Analysis for Infinite-State Systems

Yang Guo, Sikun Li, Long Zhang, 2018 .

Prediction of lens heating induced aberration via particle filter in optical lithography

Sikun Li, Xiangzhao Wang, Lifeng Duan, 2018, Advanced Lithography.

Automatic circuit extractor for HDL description using program slicing

Yang Guo, Sikun Li, Tun Li, 2004, Journal of Computer Science and Technology.

Micromirror array allocation algorithm based on deconvolution.

Sikun Li, Jianhua Zhang, Gang Sun, 2020, Applied optics.

Session details: Logic synthesis

Sikun Li, Jianwen Zhu, 2005, ASP-DAC '05.

A New Application Feature Analysis Approach for System-on-Chip Hardware/Software Partitioning

Sikun Li, Dawei Wang, Ming Yan, 2008, 2008 Congress on Image and Signal Processing.

Crossbar Bus Synthesis on Transaction Level Using Genetic Algorithm

Sikun Li, Dawei Wang, Yafei Cao, 2007, 2007 International Conference on Convergence Information Technology (ICCIT 2007).

Interactive Extraction of Featuresin 3D Flow with Fuzzy Theory

Sikun Li, Xun Cai, Liang Zeng, 2012 .

Key rotation multiplexing for multiple-image optical encryption in the Fresnel domain

Sikun Li, Xiaoqing Liu, Xianyu Su, 2011 .

Modeling and animation of fracture of heterogeneous materials based on CUDA

Sikun Li, Bo Wu, Liang Zeng, 2012, The Visual Computer.

Finding Unsatisfiable Subformulas with Stochastic Method

Sikun Li, ShengYu Shen, Jianmin Zhang, 2007, IDEAL.

Design and implementation of a parallel Verilog simulator: PVSim

Yang Guo, Sikun Li, Tun Li, 2004, 17th International Conference on VLSI Design. Proceedings..

High-order aberration measurement technique based on a quadratic Zernike model with optimized source

Sikun Li, Anatoly Bourov, Andreas Erdmann, 2013 .

Extended AMAI-PCA technique based on multi-level Box–Behnken design

Sikun Li, Anatoly Bourov, Xiangzhao Wang, 2013 .

A fast counterexample minimization approach with refutation analysis and incremental SAT

Ying Qin, Sikun Li, ShengYu Shen, 2005, ASP-DAC.

Spatial carrier fringe pattern phase demodulation by use of a two-dimensional real wavelet.

Sikun Li, Xianyu Su, Wenjing Chen, 2009, Applied optics.

Model-based multi-component volume data labeling and rendering

Ralph R. Martin, Sikun Li, Jiazhi Xia, 2012, SA '12.

Parallel verilog simulation: architecture and circuit partition

Yang Guo, Sikun Li, Tun Li, 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).

Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications

Yong Dou, Sikun Li, Dawei Wang, 2009, J. Softw..

Minimizing Counterexample of ACTL Property

Ying Qin, Sikun Li, ShengYu Shen, 2005, CHARME.

Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm

Jun Zhang, Sikun Li, ShengYu Shen, 2011, IDEAL.

Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip

Peng Zhao, Sikun Li, Dawei Wang, 2009, J. Comput..

In situ aberration measurement method using a phase-shift ring mask

Sikun Li, Andreas Erdmann, Xiangzhao Wang, 2014, Advanced Lithography.

A self-adaptive HVS-optimized texture compression algorithm

Sikun Li, Xiaoxia Lu, 2009, VRCAI '09.

Research and Implement of Rigid Body Fracturing Simulation Based on Ogre and Newton Engine

Sikun Li, Bo Wu, Jiangfan Ning, 2012 .

Functional vectors generation for RT-level Verilog descriptions based on path enumeration and constraint logic programming

Yang Guo, Sikun Li, Tun Li, 2005, 8th Euromicro Conference on Digital System Design (DSD'05).

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Long Zhang, Yang Guo, Sikun Li, 2017, Mob. Inf. Syst..

ELIC and Streamline Injection Based High Quality Visualization for Time- Dependent Surface Flow Field

Sikun Li, Wenke Wang, Xun Cai, 2013 .

Streamline Distribution Method based on Vector-magnitude-aware Entropy

Sikun Li, Yumeng Guo, Wenke Wang, 2019, VINCI.

A CNN-based vortex identification method

Jie Liu, Sikun Li, Fang Wang, 2018, J. Vis..

A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding

Sikun Li, Tiejun Li, Cheng-Dong Shen, 2005, ASP-DAC.

Fast optimization of defect compensation and optical proximity correction for extreme ultraviolet lithography mask

Wei Cheng, Sikun Li, Xiangzhao Wang, 2019 .

Practical and Effective Domain-Specific Function Unit Design for CGRA

Lei Liu, Sikun Li, Ming Yan, 2011, ICCSA.

Three-dimensional information security combined fringe projection with double random phase encoding

Sikun Li, Xiangzhao Wang, Yong-Liang Xiao, 2013 .

Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm

Sikun Li, Shengning Wu, 2006, CSR.

Key-Attributes Based Optimistic Data Consistency Maintenance Method

Jing Zhou, Sikun Li, Yijie Wang, 2007, ISPA.

Symmetric polarization aberration compensation method based on scalar aberration control for lithographic projection lens

Sikun Li, Xiangzhao Wang, Peng Bu, 2012, Advanced Lithography.

Research on the Resources Management Technique of High-Performance Parallel Visualization Server

Sikun Li, Liang Zeng, Wenke Wang, 2014 .

Batch advection for the piecewise linear vector field on simplicial grids

Sikun Li, Wentao Wang, Wenke Wang, 2016, Comput. Graph..

An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits

Sikun Li, Tun Li, Dan Zhu, 2010, 2010 IEEE 25th International Symposium on Defect and Fault Tolerance in VLSI Systems.

NUMA-aware image compositing on multi-GPU platform

Sikun Li, Pan Wang, Xun Cai, 2013, The Visual Computer.

Timing and positioning of assisted-GPS receivers with rough time-tag

Sikun Li, Guohui Gong, 2005, International Conference on Space Information Technology.

Optical fringe-reflection deflectometry with sparse representation

Qican Zhang, Sikun Li, Xianyu Su, 2017 .

An Irregular cutting based distributed mapping algorithm for DVE systems

Min Xi, Sikun Li, Hangjun Zhou, 2009, 2009 Asia-Pacific Conference on Computational Intelligence and Industrial Applications (PACIIA).

An automatic circuit extractor for RTL verification

Yang Guo, Sikun Li, Tun Li, 2003, 2003 Test Symposium.

3D flow features visualization via fuzzy clustering

Ralph R. Martin, Sikun Li, Zhi-Quan Cheng, 2011, The Visual Computer.

The thermal aberration analysis of a lithography projection lens

Sikun Li, Jian Wang, Xiangzhao Wang, 2017, Advanced Lithography.

Mapping Loops of multimedia algorithms for Coarse-grained reconfigurable architectures

Sikun Li, Ziyu Yang, Guanwu Wang, 2012, 2012 IEEE International Conference on Signal Processing, Communication and Computing (ICSPCC 2012).

Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning

Ralph R. Martin, Sikun Li, Aiping Wang, 2013, Trans. Edutainment.

Automatic facades segmentation using detected lines and vanishing points

Sikun Li, Guowei Wan, Guowei Wan, 2011, 2011 4th International Congress on Image and Signal Processing.

A Modeling method for Reconfigurable Processor Performance Analysis

Sikun Li, Guanwu Wang, Minhui Hu, 2015, ICM 2015.

Optimization of defect compensation for extreme ultraviolet lithography mask by covariance-matrix-adaption evolution strategy

Wei Cheng, Sikun Li, Chaoxing Yang, 2018 .

MCA-Based Animation of Fracturing Heterogeneous Objects

Sikun Li, Bo Wu, Liang Zeng, 2011, 2011 12th International Conference on Computer-Aided Design and Computer Graphics.

Localizing Errors in Counterexample with Iteratively Witness Searching

Ying Qin, Sikun Li, ShengYu Shen, 2004, ATVA.

SAVE: saliency-assisted volume exploration

Sikun Li, Xun Cai, Liang Zeng, 2015, J. Vis..

Application and analysis of unsatisfiable cores on circuits synthesis

Sikun Li, Tiejun Li, Jianmin Zhang, 2015, 2015 Seventh International Conference on Advanced Computational Intelligence (ICACI).

Data Dependence-based Optimistic Data Consistency Maintenance Method

Jing Zhou, Sikun Li, Yijie Wang, 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

In situ aberration measurement technique based on quadratic Zernike model

Sikun Li, Anatoly Bourov, Andreas Erdmann, 2012, Optical Systems Design.

Fast rigorous model for mask spectrum simulation and analysis of mask shadowing effects in EUV lithography

Xiaolei Liu, Sikun Li, Andreas Erdmann, 2014, Advanced Lithography.

A Predictive Direction Guided Fast Motion Estimation Algorithm

Sikun Li, Tiejun Li, Cheng-Dong Shen, 2005, CAIP.

Radial period extraction method employing frequency measurement for quantitative collimation testing

Sikun Li, Xiangzhao Wang, Xiang-zhao Wang, 2016 .

Virtual embedded operating system for hardware/software co-design

Shaohua Liu, Sikun Li, Maojun Zhang, 2005, 2005 6th International Conference on ASIC.

Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems

Sikun Li, Shengning Wu, Sikun Li, 2007, Third International Conference on Natural Computation (ICNC 2007).

UIA: a uniform integrated advection algorithm for steady and unsteady piecewise linear flow field on structured and unstructured grids

Sikun Li, Liang Deng, Dan Zhao, 2018, J. Vis..

Digital sinusoidal fringe generation with defocusing for profilometry: exponential binary vs squared binary patterns

Sikun Li, Xiangzhao Wang, Abel Kamagara, 2018, SPIE/COS Photonics Asia.

A new wavelet transform for reliability-guided phase unwrapping of optical fringe patterns

Sikun Li, Xianyu Su, Wenjing Chen, 2011 .

An Optimal Mapping Algorithm Based on Balanced Load Cutting for DVE Systems

Sikun Li, Hangjun Zhou, Yuxing Peng, 2009, 2009 Third International Symposium on Intelligent Information Technology Application.

From numerics to combinatorics: a survey of topological methods for vector field visualization

Sikun Li, Wenke Wang, Wentao Wang, 2016, J. Vis..

An accurate vortex feature extraction method for Lagrangian vortex visualization on high-order flow field data

Sikun Li, Liang Deng, Dan Zhao, 2017, J. Vis..

Formal equivalence checking between SLM and RTL descriptions

Sikun Li, Jian Hu, Tun Li, 2015, 2015 28th IEEE International System-on-Chip Conference (SOCC).

Research on Fairness Problem in Distributed Virtual Environment Systems

Sikun Li, Hangjun Zhou, Wei Zhang, 2012 .

Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC

Peng Zhao, Sikun Li, Ming Yan, 2009, 2009 15th International Conference on Parallel and Distributed Systems.

System structure template based transaction level modeling

Dawei Wang, Sikun Li, Yingde Ye, 2011, 2011 Chinese Control and Decision Conference (CCDC).

Particle-Based Fracture Simulation on the GPU

Sikun Li, Liang Zeng, Jiangfan Ning, 2011, Trans. Edutainment.

A Halting Algorithm to Determine the Existence of the Decoder

Sikun Li, ShengYu Shen, Jianmin Zhang, 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Nonlinear gamma correction via normed bicoherence minimization in optical fringe projection metrology

Sikun Li, Xiangzhao Wang, Abel Kamagara, 2018 .

Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm

Sikun Li, ShengYu Shen, Jianmin Zhang, 2006, Australian Conference on Artificial Intelligence.

Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning

Sikun Li, Maojun Zhang, Zhihui Xiong, 2004, ICESS.

In situ aberration measurement technique based on an aerial image with an optimized source

Sikun Li, Anatoly Bourov, Andreas Erdmann, 2013 .

Defect parameters retrieval based on optical projection images

Sikun Li, Andreas Erdmann, Xiangzhao Wang, 2013, Optical Metrology.

Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System

Sikun Li, Maojun Zhang, Zhihui Xiong, 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling

Sikun Li, Dawei Wang, Ming Yan, 2007, 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics.

System Level Design in Embedded Stream Media Process System-on-Chip Using Application Profiling

Sikun Li, Dawei Wang, Peng Zhao, 2007, Second Workshop on Digital Media and its Application in Museum & Heritages (DMAMH 2007).

Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions

Yang Guo, Sikun Li, Tun Li, 2005, MICAI.

Fuzzy Feature Visualization of 3D Vector Field by Information-Entropy-Based Texture Adaptation

Sikun Li, Liang Zeng, Huaxun Xu, 2011 .

ACRP: Application Customized Reconfigurable Pipeline

Lei Liu, Sikun Li, Guanwu Wang, 2014, ACA.

Experiences Teaching Functional Verification Techniques with Practical Designs

Sikun Li, Yang Guo, Wei Dong, 2007, 2007 IEEE International Conference on Microelectronic Systems Education (MSE'07).

Feature-based adaptive texture visualization for vector field

Sikun Li, Xun Cai, Liang Zeng, 2013, Science China Information Sciences.

A heuristic mapping approach for wormhole switching based Network-on-Chip

Sikun Li, Dawei Wang, Yafei Cao, 2009, 2009 IEEE Youth Conference on Information, Computing and Telecommunication.

Knowledge-based design-flow management in the OOTIF framework

Yang Guo, Sikun Li, Li Ying Zhao, 1996, Other Conferences.

Assertion-based automated functional vectors generation using constraint logic programming

Yang Guo, Sikun Li, Tun Li, 2004, GLSVLSI '04.

Efficient Cryptology-Specific Instructions Generation with Algebra Primitives

Lei Liu, Sikun Li, Zixin Zhou, 2015, 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC).

A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern

Sikun Li, Chuanyan Tian, Cheng-Dong Shen, 2004, MIPS.

Pixelated source optimization for optical lithography via particle swarm optimization

Sikun Li, Xiangzhao Wang, Lei Wang, 2016 .

Minimizing Counterexample with Unit Core Extraction and Incremental SAT

Ying Qin, Sikun Li, ShengYu Shen, 2005, VMCAI.

GPU-based real-time simulation and rendering of unbounded ocean surface

Sikun Li, Xudong Yang, Liang Zeng, 2005, Ninth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'05).

Source optimization using particle swarm optimization algorithm in photolithography

Sikun Li, Xiangzhao Wang, Lei Wang, 2015, Advanced Lithography.

A platform-based SoC hardware/software co-design environment

Sikun Li, Dawei Wang, Zhihui Xiong, 2004, 8th International Conference on Computer Supported Cooperative Work in Design.

Meshless Simulation of Plastic Deformation and Crack

Sikun Li, Bo Wu, Liang Zeng, 2012, Trans. Edutainment.

A distributed approach to consistent order delivery of concurrent events in asynchronous DVEs

Sikun Li, Hangjun Zhou, Yuxing Peng, 2010, 2010 2nd International Conference on Education Technology and Computer.

Synthesizing Complementary Circuits Automatically

Ying Qin, Sikun Li, ShengYu Shen, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Synthesizing Complementary Circuits Automatically

Sikun Li, Kefei Wang, ShengYu Shen, 2010, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

In situ aberration measurement technique based on aerial image with optimized source

Sikun Li, Anatoly Bourov, Andreas Erdmann, 2012, Optical Systems Design.

Delayed State Consistency in Distributed Virtual Environments

Sikun Li, Yuxing Peng, Yongjun Zhang, 2004, GCC Workshops.

Research on Multi-CPU and Multi-GPU Scalable Parallel Rendering on Shared Memory Architecture

Sikun Li, Pan Wang, Xun Cai, 2012 .

Adaptive denoising method to improve aberration measurement performance

Sikun Li, Anatoly Bourov, Andreas Erdmann, 2013 .

Implementation of high-throughput FFT processing on an application-specific reconfigurable processor

Lei Liu, Ming Yan, Sikun Li, 2012, Proceedings of 2012 2nd International Conference on Computer Science and Network Technology.

Equivalence checking between SLM and RTL using machine learning techniques

Sikun Li, Jian Hu, Tun Li, 2016, 2016 17th International Symposium on Quality Electronic Design (ISQED).

A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure

Sikun Li, Ming Yan, Liu Yang, 2011, 2011 Third International Conference on Communications and Mobile Computing.

Procedural Terrain Detail Based on Patch-LOD Algorithm

Sikun Li, Liang Zeng, Junqiang Song, 2006, Edutainment.

A defocus measurement method for an in situ aberration measurement method using a phase-shift ring mask

Sikun Li, Andreas Erdmann, Xiangzhao Wang, 2014, Advanced Lithography.

A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding

Sikun Li, Tiejun Li, Chengdong Shen, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

A faster counterexample minimization algorithm based on refutation analysis

Ying Qin, Sikun Li, ShengYu Shen, 2005, Design, Automation and Test in Europe.

In situ aberration measurement method using a phase-shift ring mask

Sikun Li, Xiangzhao Wang, Lifeng Duan, 2014 .

Coverage Driven Test Generation Framework for RTL Functional Verification

Yang Guo, Sikun Li, Tun Li, 2007, 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics.

Sketch-based interactive visualization: a survey

Sikun Li, Xun Cai, Liang Zeng, 2014, J. Vis..

On Soft Error Immunity of Sequential Circuits

Sikun Li, Tun Li, Dan Zhu, 2010, 2010 19th IEEE Asian Test Symposium.

Multiple Order Graph Matching

Sikun Li, Liang Zeng, Aiping Wang, 2010, ACCV.

General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks

Sikun Li, Liansheng Wang, Xun Cai, 2006, ICONIP.

Distributed Cooperative Design of Embedded Systems

Sikun Li, Tiejun Li, Zhihui Xiong, 2005, CSCWD.

Sorting unorganized photo sets for urban reconstruction

Sikun Li, Noah Snavely, Baoquan Chen, 2012, Graph. Model..

2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions

Sikun Li, Dan Zhu, Tun Li, 2008, ISQED 2008.

CLP Based Static Property Checking

Yang Guo, Sikun Li, Tun Li, 2004, ATVA.

Providing Responsiveness Requirement Based Consistency in DVE

Sikun Li, Hangjun Zhou, Yuxing Peng, 2009, 2009 15th International Conference on Parallel and Distributed Systems.

Hardware/Software Co-design Environment for Hierarchical Platform-Based Design

Sikun Li, Maojun Zhang, Zhihui Xiong, 2004, CSCWD.

Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework

Sikun Li, Cheng-Dong Shen, Sikun Li, 2006, ISVC.

MA2TG: A Functional Test Program Generator for Microprocessor Verification

Yang Guo, Sikun Li, Tun Li, 2005, DSD.

An incremental extremely random forest classifier for online learning and tracking

Sikun Li, Aiping Wang, Zhi-Quan Cheng, 2009, 2009 16th IEEE International Conference on Image Processing (ICIP).

Source mask optimization using real-coded genetic algorithms

Sikun Li, Andreas Erdmann, Xiangzhao Wang, 2013, Advanced Lithography.

HVS-Optimized Vector Quantilizer for Remote Sensing Texture Compression

Sikun Li, Xiaoxia Lu, 2009, 2009 International Conference on Information Engineering and Computer Science.

UIA: A Uniform Integrated Advection Algorithm for Steady and Unsteady Piecewise Linear Flow Field on Structured and Unstructured Grids

Sikun Li, Liang Deng, Dan Zhao, 2016, Edutainment.

Equivalence checking of scheduling in high-level synthesis

Yang Guo, Sikun Li, Jian Hu, 2015, Sixteenth International Symposium on Quality Electronic Design.

The overlay performance optimization based on overlay manager system

Sikun Li, Jing Zhu, Lifeng Duan, 2012, Advanced Lithography.

Optical fringe-reflection deflectometry with bundle adjustment

Qican Zhang, Sikun Li, Xianyu Su, 2018 .

B-spline surface skinning to non-parallel sectional curves

Sikun Li, Tian Tian, Wenke Wang, 2011, VRCAI '11.

Analytical analysis of the impact of polarization aberration of projection lens on lithographic imaging

Sikun Li, Xiangzhao Wang, Lina Shen, 2015 .

Feature-Based Streamline Selection Method for 2D Flow Fields

Sikun Li, Lintao Zheng, Wenke Wang, 2015, 2015 14th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics).

An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC

Sikun Li, Liang Deng, Dan Zhao, 2016, 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks

Long Zhang, Yang Guo, Sikun Li, 2018, Wirel. Commun. Mob. Comput..

A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction

Sikun Li, ShengYu Shen, Jianmin Zhang, 2007, ICCSA.

Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization

Yong Dou, Sikun Li, Dawei Wang, 2008, 2008 Asia and South Pacific Design Automation Conference.

A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264

Sikun Li, Cheng-Dong Shen, Sikun Li, 2006, PCM.

Debug Support for Scalable System-on-Chip

Sikun Li, Ming Yan, Jianmin Zhang, 2006, Seventh International Workshop on Microprocessor Test and Verification (MTV'06).

Distributed cooperative design method and environment for embedded system

Sikun Li, Tiejun Li, Zhihui Xiong, 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

A FPGA-based Hardware Architecture for Real-time Texture Classification Using Local Binary Patterns

Yang Guo, Sikun Li, Long Zhang, 2017 .

Scalable Multi-GPU Decoupled Parallel Rendering Approach in Shared Memory Architecture

Kewen Wang, Sikun Li, Pan Wang, 2011, 2011 International Conference on Virtual Reality and Visualization.

Equivalence checking between SLM and TLM using coverage directed simulation

Sikun Li, Jian Hu, Tun Li, 2013, 2013 International Conference on Computer-Aided Design and Computer Graphics.

Jones pupil metrology of lithographic projection lens and its optimal configuration in the presence of error sources.

Sikun Li, Jian Wang, Chaoxing Yang, 2019, Optics express.

Application specified soft error failure rate analysis using sequential equivalence checking techniques

Yang Guo, Sikun Li, Tun Li, 2020, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

Direct raycasting of unstructured cell-centered data by discontinuity Roe-average computation

Sikun Li, Xun Cai, Qianli Ma, 2010, The Visual Computer.

2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions

Yang Guo, Sikun Li, Tun Li, 2008, 9th International Symposium on Quality Electronic Design (isqed 2008).

Parallel verilog simulation: architecture and circuit partition

Sikun Li, Tun Li, Yang Guo, 2004 .

Memory-Aware Loop Paralleling for Coarse-Grained Reconfigurable Architectures

Sikun Li, Dawei Wang, Ziyu Yang, 2012, 2012 International Conference on Computer Science and Service System.

Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization

Yong Dou, Sikun Li, Dawei Wang, 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

Multi-GPU Compositeless Parallel Rendering Algorithm

Sikun Li, Pan Wang, Xun Cai, 2011, 2011 12th International Conference on Computer-Aided Design and Computer Graphics.

A novel in situ compression method for CFD data based on generative adversarial network

Fang Liu, Sikun Li, Fang Wang, 2018, J. Vis..

Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization

Sikun Li, Wenke Wang, Yumeng Guo, 2017, 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT).

FPGA-based Acceleration of Deep Neural Networks Using High Level Method

Lei Liu, Sikun Li, Jianlu Luo, 2015, 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC).