Sikun Li

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 18

Top Venues

J. Vis.

Vis. Comput.

Trans. Edutainment

ISQED

Publications

Yumeng Guo, Wenke Wang, Sikun Li
Streamline Distribution Method based on Vector-magnitude-aware Entropy. VINCI (2019)
Liang Deng, Yueqing Wang, Yang Liu, Fang Wang, Sikun Li, Jie Liu
A CNN-based vortex identification method. J. Vis. 22 (1) (2019)
Yang Liu, Yueqing Wang, Liang Deng, Fang Wang, Fang Liu, Yutong Lu, Sikun Li
A novel in situ compression method for CFD data based on generative adversarial network. J. Vis. 22 (1) (2019)
Jian Hu, Tun Li, Sikun Li
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. J. Circuits Syst. Comput. 28 (10) (2019)
Yumeng Guo, Wenke Wang, Sikun Li
Out-of-core streamline visualisation based on adaptive partitioning and data prefetching. Int. J. Comput. Sci. Eng. 20 (2) (2019)
Wentao Wang, Wenke Wang, Sikun Li
Detection and classification of critical points in piecewise linear vector fields. J. Vis. 21 (1) (2018)
Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wirel. Commun. Mob. Comput. 2018 (2018)
Fang Wang, Yang Liu, Dan Zhao, Liang Deng, Sikun Li
UIA: a uniform integrated advection algorithm for steady and unsteady piecewise linear flow field on structured and unstructured grids. J. Vis. 21 (2) (2018)
Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mob. Inf. Syst. 2017 (2017)
Yumeng Guo, Wenke Wang, Sikun Li
Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization. PDCAT (2017)
Fang Wang, Dan Zhao, Liang Deng, Sikun Li
An accurate vortex feature extraction method for Lagrangian vortex visualization on high-order flow field data. J. Vis. 20 (4) (2017)
Xuekai Shi, Wenke Wang, Hui Huang, Sikun Li, Yiqi Fu
基于压缩域的脑成像大数据体可视化方法 (Volume Rendering Method of Mass Brain Imaging Data Based on Compression Domain). 计算机科学 44 (3) (2017)
Wentao Wang, Wenke Wang, Sikun Li
From numerics to combinatorics: a survey of topological methods for vector field visualization. J. Vis. 19 (4) (2016)
Fang Wang, Liang Deng, Dan Zhao, Sikun Li
An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC. SNPD (2016)
Fang Wang, Yang Liu, Dan Zhao, Liang Deng, Sikun Li
UIA: A Uniform Integrated Advection Algorithm for Steady and Unsteady Piecewise Linear Flow Field on Structured and Unstructured Grids. Edutainment (2016)
Enya Shen, Yunhai Wang, Sikun Li
Spatiotemporal volume saliency. J. Vis. 19 (1) (2016)
Jian Hu, Tun Li, Sikun Li
Equivalence checking between SLM and RTL using machine learning techniques. ISQED (2016)
Wentao Wang, Wenke Wang, Sikun Li
Batch advection for the piecewise linear vector field on simplicial grids. Comput. Graph. 54 (2016)
Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang
SAVE: saliency-assisted volume exploration. J. Vis. 18 (2) (2015)
Lei Liu, Guijie Han, Zixin Zhou, Sikun Li
Efficient Cryptology-Specific Instructions Generation with Algebra Primitives. 3PGCIC (2015)
Jian Hu, Tun Li, Sikun Li
Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers Comput. Sci. 9 (6) (2015)
Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan
Equivalence checking of scheduling in high-level synthesis. ISQED (2015)
Jianmin Zhang, Tiejun Li, Sikun Li
Application and analysis of unsatisfiable cores on circuits synthesis. ICACI (2015)
Lintao Zheng, Wenke Wang, Sikun Li
Feature-Based Streamline Selection Method for 2D Flow Fields. CAD/Graphics (2015)
Lei Liu, Jianlu Luo, Xiaoyan Deng, Sikun Li
FPGA-based Acceleration of Deep Neural Networks Using High Level Method. 3PGCIC (2015)
Jian Hu, Tun Li, Sikun Li
Formal equivalence checking between SLM and RTL descriptions. SoCC (2015)
Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li
Model-driven multicomponent volume exploration. Vis. Comput. 31 (4) (2015)
Fan Hong, Chufan Lai, Hanqi Guo, Enya Shen, Xiaoru Yuan, Sikun Li
FLDA: Latent Dirichlet Allocation Based Unsteady Flow Analysis. IEEE Trans. Vis. Comput. Graph. 20 (12) (2014)
Guanwu Wang, Sikun Li
A Mapping Method for Application Customized Reconfigurable Pipeline. NAS (2014)
Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang
Sketch-based interactive visualization: a survey. J. Vis. 17 (4) (2014)
Guanwu Wang, Lei Liu, Sikun Li
ACRP: Application Customized Reconfigurable Pipeline. ACA (2014)
Huaxun Xu, Sikun Li, Liang Zeng, Xun Cai
Feature-based adaptive texture visualization for vector field. Sci. China Inf. Sci. 56 (9) (2013)
Aiping Wang, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li
Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning. Trans. Edutainment 9 (2013)
Tiejun Li, Jianmin Zhang, Sikun Li
An FPGA-based Random Functional Verification Method for Cache. NAS (2013)
Pan Wang, Zhi-Quan Cheng, Ralph Martin, Huahai Liu, Xun Cai, Sikun Li
NUMA-aware image compositing on multi-GPU platform. Vis. Comput. 29 (6-8) (2013)
Tun Li, Dan Zhu, Sikun Li, Yang Guo
Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC (2013)
Jian Hu, Tun Li, Sikun Li
Equivalence Checking between SLM and TLM Using Coverage Directed Simulation. CAD/Graphics (2013)
Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong
Modeling and animation of fracture of heterogeneous materials based on CUDA. Vis. Comput. 29 (4) (2013)
ShengYu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li
Inferring Assertion for Complementary Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (8) (2012)
Ming Yan, Ziyu Yang, Lei Liu, Sikun Li
ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture. ICPADS (2012)
Enya Shen, Huaxun Xu, Wenke Wang, Xun Cai, Liang Zeng, Sikun Li
Interactive Extraction of Featuresin 3D Flow with Fuzzy Theory. Int. J. Virtual Real. 11 (1) (2012)
Enya Shen, Zhi-Quan Cheng, Jiazhi Xia, Sikun Li
Intuitive Volume Eraser. CVM (2012)
Liang Zeng, Bo Wu, Jiangfan Ning, Jiawen Ma, Sikun Li
Meshless Simulation of Plastic Deformation and Crack. Trans. Edutainment 8 (2012)
Guowei Wan, Noah Snavely, Daniel Cohen-Or, Qian Zheng, Baoquan Chen, Sikun Li
Sorting unorganized photo sets for urban reconstruction. Graph. Model. 74 (1) (2012)
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)
Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li
Particle-Based Fracture Simulation on the GPU. Trans. Edutainment 6 (2011)
Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li
Practical and Effective Domain-Specific Function Unit Design for CGRA. ICCSA (5) (2011)
Ming Yan, Ziyu Yang, Sikun Li, Liu Yang
Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. FCCM (2011)
Ming Yan, Ziyu Yang, Sikun Li, Liu Yang
A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure. CMC (2011)
Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li
Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. 8 (3) (2011)
Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai
Multi-GPU Compositeless Parallel Rendering Algorithm. CAD/Graphics (2011)
Wenke Wang, Tian Tian, Sikun Li
B-spline surface skinning to non-parallel sectional curves. VRCAI (2011)
Huaihui Wang, Huaxun Xu, Liang Zeng, Sikun Li
Fuzzy Feature Visualization of 3D Vector Field by Information-Entropy-Based Texture Adaptation. Int. J. Virtual Real. 10 (4) (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. Comput. Aided Des. Integr. Circuits Syst. 30 (10) (2011)
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)
Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong
MCA-Based Animation of Fracturing Heterogeneous Objects. CAD/Graphics (2011)
Huaxun Xu, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li
3D flow features visualization via fuzzy clustering. Vis. Comput. 27 (6-8) (2011)
Dan Zhu, Tun Li, Sikun Li
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits. DFT (2010)
ShengYu Shen, Ying Qin, Kefei Wang, Liquan Xiao, Jianmin Zhang, Sikun Li
Synthesizing Complementary Circuits Automatically. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (8) (2010)
Aiping Wang, Sikun Li, Liang Zeng
Multiple Order Graph Matching. ACCV (3) (2010)
Dan Zhu, Tun Li, Sikun Li
On Soft Error Immunity of Sequential Circuits. Asian Test Symposium (2010)
ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li
A halting algorithm to determine the existence of decoder. FMCAD (2010)
Qianli Ma, Huaxun Xu, Liang Zeng, Xun Cai, Sikun Li
Direct raycasting of unstructured cell-centered data by discontinuity Roe-average computation. Vis. Comput. 26 (6-8) (2010)
Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li
An incremental extremely random forest classifier for online learning and tracking. ICIP (2009)
Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li
Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. ICPADS (2009)
Dawei Wang, Peng Zhao, Sikun Li
System Level Distributed Cooperative Design of Media SoC Using Application Profiling. J. Comput. 4 (1) (2009)
Sikun Li, Xiaoxia Lu
A self-adaptive HVS-optimized texture compression algorithm. VRCAI (2009)
ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li
Synthesizing complementary circuits automatically. ICCAD (2009)
Jianmin Zhang, ShengYu Shen, Sikun Li
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. J. Softw. 4 (1) (2009)
Peng Zhao, Dawei Wang, Ming Yan, Sikun Li
Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip. J. Comput. 4 (6) (2009)
Dawei Wang, Sikun Li, Yong Dou
Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. J. Softw. 4 (1) (2009)
Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li
Providing Responsiveness Requirement Based Consistency in DVE. ICPADS (2009)
Dawei Wang, Sikun Li, Yong Dou
Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC (2008)
Peng Zhao, Sikun Li, Dawei Wang, Ming Yan
Application-driven System-on-Chip system model extraction approach. CSCWD (2008)
Dan Zhu, Tun Li, Yang Guo, Sikun Li
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED (2008)
Yang Guo, WanXia Qu, Tun Li, Sikun Li
Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics (2007)
Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng
Experiences Teaching Functional Verification Techniques with Practical Designs. MSE (2007)
Jianmin Zhang, ShengYu Shen, Sikun Li
Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL (2007)
Sikun Li, Dawei Wang, Tun Li, Yong Dou
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD (2007)
Jing Zhou, Yijie Wang, Sikun Li
Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA (2007)
Shengning Wu, Sikun Li
Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems. ICNC (4) (2007)
Tun Li, Sikun Li, Jinshan Yu, Yang Guo
A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD (2007)
Jianmin Zhang, ShengYu Shen, Sikun Li
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) (2007)
Ming Yan, Sikun Li
Comparison and Analysis of Novel Architectures for Media Compression. CAD/Graphics (2007)
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)
Dawei Wang, Yafei Cao, Ming Yan, Sikun Li
Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling. CAD/Graphics (2007)
Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai
General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) (2006)
Cheng-Dong Shen, Sikun Li
A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM (2006)
Jianmin Zhang, Sikun Li, ShengYu Shen
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence (2006)
Jianmin Zhang, Ming Yan, Sikun Li
Debug Support for Scalable System-on-Chip. MTV (2006)
Cheng-Dong Shen, Sikun Li
Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) (2006)
Jing Zhou, Yijie Wang, Sikun Li
Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT (2006)
Jing Zhou, Yijie Wang, Sikun Li
A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. COMAD (2006)
Shengning Wu, Sikun Li
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR (2006)
Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li
Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment (2006)
ShengYu Shen, Ying Qin, Sikun Li
A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC (2005)
ShengYu Shen, Ying Qin, Sikun Li
Minimizing Counterexample of ACTL Property. CHARME (2005)
Zhihui Xiong, Jihua Chen, Sikun Li
Hardware/software partitioning for platform-based design method. ASP-DAC (2005)
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)
Sikun Li, Zhihui Xiong, Tiejun Li
Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) (2005)

Sikun Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sikun Li