Sikun Li - RankMe

131 papers A 2B 9C 14Misc 4Journal 42Unranked 60

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	A CNN-based vortex identification method. J. Vis. Liang Deng, Yueqing Wang, Yang Liu, Fang Wang, Sikun Li, Jie Liu
2019	J	`jnl`	A novel in situ compression method for CFD data based on generative adversarial network. J. Vis. Yang Liu, Yueqing Wang, Liang Deng, Fang Wang, Fang Liu, Yutong Lu, Sikun Li
2019	J	`jnl`	Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. J. Circuits Syst. Comput. Jian Hu, Tun Li, Sikun Li
2019	J	`jnl`	Out-of-core streamline visualisation based on adaptive partitioning and data prefetching. Int. J. Comput. Sci. Eng. Yumeng Guo, Wenke Wang, Sikun Li
2019	C	`conf`	Streamline Distribution Method based on Vector-magnitude-aware Entropy. VINCI Yumeng Guo, Wenke Wang, Sikun Li
2018	J	`jnl`	An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wirel. Commun. Mob. Comput. Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li
2018	J	`jnl`	Detection and classification of critical points in piecewise linear vector fields. J. Vis. Wentao Wang, Wenke Wang, Sikun Li
2018	J	`jnl`	UIA: a uniform integrated advection algorithm for steady and unsteady piecewise linear flow field on structured and unstructured grids. J. Vis. Fang Wang, Yang Liu, Dan Zhao, Liang Deng, Sikun Li
2017	J	`jnl`	A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mob. Inf. Syst. Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li
2017	J	`jnl`	An accurate vortex feature extraction method for Lagrangian vortex visualization on high-order flow field data. J. Vis. Fang Wang, Dan Zhao, Liang Deng, Sikun Li
2017	C	`conf`	Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization. PDCAT Yumeng Guo, Wenke Wang, Sikun Li
2017	J	`jnl`	基于压缩域的脑成像大数据体可视化方法 (Volume Rendering Method of Mass Brain Imaging Data Based on Compression Domain). 计算机科学 Xuekai Shi, Wenke Wang, Hui Huang, Sikun Li, Yiqi Fu
2016	C	`conf`	An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC. SNPD Fang Wang, Liang Deng, Dan Zhao, Sikun Li
2016	J	`jnl`	Batch advection for the piecewise linear vector field on simplicial grids. Comput. Graph. Wentao Wang, Wenke Wang, Sikun Li
2016	—	`conf`	Equivalence checking between SLM and RTL using machine learning techniques. ISQED Jian Hu, Tun Li, Sikun Li
2016	J	`jnl`	From numerics to combinatorics: a survey of topological methods for vector field visualization. J. Vis. Wentao Wang, Wenke Wang, Sikun Li
2016	J	`jnl`	Spatiotemporal volume saliency. J. Vis. Enya Shen, Yunhai Wang, Sikun Li
2016	—	`conf`	UIA: A Uniform Integrated Advection Algorithm for Steady and Unsteady Piecewise Linear Flow Field on Structured and Unstructured Grids. Edutainment Fang Wang, Yang Liu, Dan Zhao, Liang Deng, Sikun Li
2015	—	`conf`	Application and analysis of unsatisfiable cores on circuits synthesis. ICACI Jianmin Zhang, Tiejun Li, Sikun Li
2015	—	`conf`	Efficient Cryptology-Specific Instructions Generation with Algebra Primitives. 3PGCIC Lei Liu, Guijie Han, Zixin Zhou, Sikun Li
2015	J	`jnl`	Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers Comput. Sci. Jian Hu, Tun Li, Sikun Li
2015	—	`conf`	Equivalence checking of scheduling in high-level synthesis. ISQED Tun Li, Jian Hu, Yang Guo, Sikun Li, Qingping Tan
2015	—	`conf`	FPGA-based Acceleration of Deep Neural Networks Using High Level Method. 3PGCIC Lei Liu, Jianlu Luo, Xiaoyan Deng, Sikun Li
2015	—	`conf`	Feature-Based Streamline Selection Method for 2D Flow Fields. CAD/Graphics Lintao Zheng, Wenke Wang, Sikun Li
2015	—	`conf`	Formal equivalence checking between SLM and RTL descriptions. SoCC Jian Hu, Tun Li, Sikun Li
2015	J	`jnl`	Model-driven multicomponent volume exploration. Vis. Comput. Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li
2015	J	`jnl`	SAVE: saliency-assisted volume exploration. J. Vis. Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang
2014	—	`conf`	A Mapping Method for Application Customized Reconfigurable Pipeline. NAS Guanwu Wang, Sikun Li
2014	—	`conf`	ACRP: Application Customized Reconfigurable Pipeline. ACA Guanwu Wang, Lei Liu, Sikun Li
2014	J	`jnl`	FLDA: Latent Dirichlet Allocation Based Unsteady Flow Analysis. IEEE Trans. Vis. Comput. Graph. Fan Hong, Chufan Lai, Hanqi Guo, Enya Shen, Xiaoru Yuan, Sikun Li
2014	J	`jnl`	Sketch-based interactive visualization: a survey. J. Vis. Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang
2013	—	`conf`	An FPGA-based Random Functional Verification Method for Cache. NAS Tiejun Li, Jianmin Zhang, Sikun Li
2013	—	`conf`	Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC Tun Li, Dan Zhu, Sikun Li, Yang Guo
2013	—	`conf`	Equivalence Checking between SLM and TLM Using Coverage Directed Simulation. CAD/Graphics Jian Hu, Tun Li, Sikun Li
2013	J	`jnl`	Feature-based adaptive texture visualization for vector field. Sci. China Inf. Sci. Huaxun Xu, Sikun Li, Liang Zeng, Xun Cai
2013	J	`jnl`	Modeling and animation of fracture of heterogeneous materials based on CUDA. Vis. Comput. Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong
2013	J	`jnl`	Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning. Trans. Edutainment Aiping Wang, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li
2013	J	`jnl`	NUMA-aware image compositing on multi-GPU platform. Vis. Comput. Pan Wang, Zhi-Quan Cheng, Ralph Martin, Huahai Liu, Xun Cai, Sikun Li
2012	J	`jnl`	Inferring Assertion for Complementary Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shengyu Shen, Ying Qin, Kefei Wang, Zhengbin Pang, Jianmin Zhang, Sikun Li
2012	J	`jnl`	Interactive Extraction of Featuresin 3D Flow with Fuzzy Theory. Int. J. Virtual Real. Enya Shen, Huaxun Xu, Wenke Wang, Xun Cai, Liang Zeng, Sikun Li
2012	—	`conf`	Intuitive Volume Eraser. CVM Enya Shen, Zhi-Quan Cheng, Jiazhi Xia, Sikun Li
2012	J	`jnl`	Meshless Simulation of Plastic Deformation and Crack. Trans. Edutainment Liang Zeng, Bo Wu, Jiangfan Ning, Jiawen Ma, Sikun Li
2012	—	`conf`	Model-based multi-component volume data labeling and rendering. SIGGRAPH ASIA Posters Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li
2012	B	`conf`	ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture. ICPADS Ming Yan, Ziyu Yang, Lei Liu, Sikun Li
2012	J	`jnl`	Sorting unorganized photo sets for urban reconstruction. Graph. Model. Guowei Wan, Noah Snavely, Daniel Cohen-Or, Qian Zheng, Baoquan Chen, Sikun Li
2011	J	`jnl`	3D flow features visualization via fuzzy clustering. Vis. Comput. Huaxun Xu, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li
2011	J	`jnl`	A Halting Algorithm to Determine the Existence of the Decoder. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shengyu Shen, Ying Qin, Liquan Xiao, Kefei Wang, Jianmin Zhang, Sikun Li
2011	—	`conf`	A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure. CMC Ming Yan, Ziyu Yang, Sikun Li, Liu Yang
2011	—	`conf`	B-spline surface skinning to non-parallel sectional curves. VRCAI Wenke Wang, Tian Tian, Sikun Li
2011	J	`jnl`	Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. Jianmin Zhang, Shengyu Shen, Jun Zhang, Weixia Xu, Sikun Li
2011	C	`conf`	Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. IDEAL Jianmin Zhang, Weixia Xu, Jun Zhang, Shengyu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li
2011	J	`jnl`	Fuzzy Feature Visualization of 3D Vector Field by Information-Entropy-Based Texture Adaptation. Int. J. Virtual Real. Huaihui Wang, Huaxun Xu, Liang Zeng, Sikun Li
2011	—	`conf`	MCA-Based Animation of Fracturing Heterogeneous Objects. CAD/Graphics Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong
2011	—	`conf`	Multi-GPU Compositeless Parallel Rendering Algorithm. CAD/Graphics Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai
2011	J	`jnl`	Particle-Based Fracture Simulation on the GPU. Trans. Edutainment Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li
2011	—	`conf`	Practical and Effective Domain-Specific Function Unit Design for CGRA. ICCSA (5) Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li
2011	Misc	`conf`	Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. FCCM Ming Yan, Ziyu Yang, Sikun Li, Liu Yang
2011	J	`jnl`	Social Network Analysis Layout Algorithm under Ontology Model. J. Softw. Peng Wu, Sikun Li
2010	B	`conf`	A halting algorithm to determine the existence of decoder. FMCAD Shengyu Shen, Ying Qin, Jianmin Zhang, Sikun Li
2010	—	`conf`	An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits. DFT Dan Zhu, Tun Li, Sikun Li
2010	J	`jnl`	Direct raycasting of unstructured cell-centered data by discontinuity Roe-average computation. Vis. Comput. Qianli Ma, Huaxun Xu, Liang Zeng, Xun Cai, Sikun Li
2010	—	`conf`	Multiple Order Graph Matching. ACCV (3) Aiping Wang, Sikun Li, Liang Zeng
2010	—	`conf`	On Soft Error Immunity of Sequential Circuits. Asian Test Symposium Dan Zhu, Tun Li, Sikun Li
2010	J	`jnl`	Synthesizing Complementary Circuits Automatically. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shengyu Shen, Ying Qin, Kefei Wang, Liquan Xiao, Jianmin Zhang, Sikun Li
2009	—	`conf`	A self-adaptive HVS-optimized texture compression algorithm. VRCAI Sikun Li, Xiaoxia Lu
2009	B	`conf`	An incremental extremely random forest classifier for online learning and tracking. ICIP Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li
2009	B	`conf`	Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. ICPADS Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li
2009	J	`jnl`	Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. J. Softw. Dawei Wang, Sikun Li, Yong Dou
2009	J	`jnl`	Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip. J. Comput. Peng Zhao, Dawei Wang, Ming Yan, Sikun Li
2009	B	`conf`	Providing Responsiveness Requirement Based Consistency in DVE. ICPADS Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li
2009	A	`conf`	Synthesizing complementary circuits automatically. ICCAD Shengyu Shen, Jianmin Zhang, Ying Qin, Sikun Li
2009	J	`jnl`	System Level Distributed Cooperative Design of Media SoC Using Application Profiling. J. Comput. Dawei Wang, Peng Zhao, Sikun Li
2009	J	`jnl`	Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. J. Softw. Jianmin Zhang, Shengyu Shen, Sikun Li
2008	—	`conf`	2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED Dan Zhu, Tun Li, Yang Guo, Sikun Li
2008	C	`conf`	Application-driven System-on-Chip system model extraction approach. CSCWD Peng Zhao, Sikun Li, Dawei Wang, Ming Yan
2008	—	`conf`	Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC Dawei Wang, Sikun Li, Yong Dou
2007	—	`conf`	A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) Jianmin Zhang, Shengyu Shen, Sikun Li
2007	C	`conf`	A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD Tun Li, Sikun Li, Jinshan Yu, Yang Guo
2007	—	`conf`	Comparison and Analysis of Novel Architectures for Media Compression. CAD/Graphics Ming Yan, Sikun Li
2007	—	`conf`	Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics Yang Guo, WanXia Qu, Tun Li, Sikun Li
2007	C	`conf`	Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD Sikun Li, Dawei Wang, Tun Li, Yong Dou
2007	—	`conf`	Experiences Teaching Functional Verification Techniques with Practical Designs. MSE Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng
2007	—	`conf`	Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems. ICNC (4) Shengning Wu, Sikun Li
2007	C	`conf`	Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. CSCWD Zhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li
2007	C	`conf`	Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL Jianmin Zhang, Shengyu Shen, Sikun Li
2007	J	`jnl`	Hardware/Software Partitioning of Coarse-Grained Reconfigurable System Using Evolutionary Ant Colony Optimization. Res. Comput. Sci. Dawei Wang, Sikun Li, Yafei Cao
2007	C	`conf`	Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA Jing Zhou, Yijie Wang, Sikun Li
2007	—	`conf`	Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling. CAD/Graphics Dawei Wang, Yafei Cao, Ming Yan, Sikun Li
2006	—	`conf`	A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM Cheng-Dong Shen, Sikun Li
2006	Misc	`conf`	A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. COMAD Jing Zhou, Yijie Wang, Sikun Li
2006	C	`conf`	Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT Jing Zhou, Yijie Wang, Sikun Li
2006	—	`conf`	Debug Support for Scalable System-on-Chip. MTV Jianmin Zhang, Ming Yan, Sikun Li
2006	—	`conf`	Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence Jianmin Zhang, Sikun Li, Shengyu Shen
2006	—	`conf`	Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) Cheng-Dong Shen, Sikun Li
2006	—	`conf`	General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai
2006	Misc	`conf`	Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR Shengning Wu, Sikun Li
2006	—	`conf`	Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li
2005	A	`conf`	A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE Shengyu Shen, Ying Qin, Sikun Li
2005	—	`conf`	A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS Tiejun Li, Sikun Li
2005	C	`conf`	A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP Cheng-Dong Shen, Tiejun Li, Sikun Li
2005	—	`conf`	A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC Shengyu Shen, Ying Qin, Sikun Li
2005	—	`conf`	A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. ASP-DAC Tiejun Li, Sikun Li, Cheng-Dong Shen
2005	—	`conf`	An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC Jing Zhou, Yijie Wang, Sikun Li
2005	—	`conf`	Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI Tun Li, Yang Guo, Sikun Li, Dan Zhu
2005	—	`conf`	Automatic functional test program generation for microprocessor verification. ASP-DAC Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li
2005	—	`conf`	Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) Sikun Li, Zhihui Xiong, Tiejun Li
2005	—	`conf`	Distributed cooperative design method and environment for embedded system. CSCWD (2) Sikun Li, Zhihui Xiong, Tiejun Li
2005	C	`conf`	Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD Tun Li, Yang Guo, Gongjie Liu, Sikun Li
2005	—	`conf`	GPU-based real-time simulation and rendering of unbounded ocean surface. CAD/Graphics Xudong Yang, Xuexian Pi, Liang Zeng, Sikun Li
2005	—	`conf`	Hardware/software co-design using hierarchical platform-based design method. ASP-DAC Zhihui Xiong, Sikun Li, Jihua Chen
2005	—	`conf`	Hardware/software partitioning for platform-based design method. ASP-DAC Zhihui Xiong, Jihua Chen, Sikun Li
2005	—	`conf`	High-performance navigation and rendering of very-large scale landscape and seascape. CAD/Graphics Xuexian Pi, Xudong Yang, Sikun Li, Junqiang Song
2005	C	`conf`	MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD Tun Li, Dan Zhu, Yang Guo, Gongjie Liu, Sikun Li
2005	—	`conf`	Minimizing Counterexample of ACTL Property. CHARME Shengyu Shen, Ying Qin, Sikun Li
2005	B	`conf`	Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI Shengyu Shen, Ying Qin, Sikun Li
2005	B	`conf`	Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA Tun Li, Yang Guo, Sikun Li, Gongjie Liu
2005	J	`jnl`	The Description Logic of Tasks. Res. Comput. Sci. Sikun Li, Hui Zhang
2004	—	`conf`	A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS Chuanyan Tian, Cheng-Dong Shen, Sikun Li
2004	—	`conf`	AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. GCC Workshops Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen
2004	—	`conf`	Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI Tun Li, Yang Guo, Sikun Li
2004	J	`jnl`	Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. Tun Li, Yang Guo, Sikun Li
2004	B	`conf`	CLP Based Static Property Checking. ATVA Tun Li, Yang Guo, Sikun Li
2004	—	`conf`	Delayed State Consistency in Distributed Virtual Environments. GCC Workshops Yuxing Peng, Yongjun Zhang, Sikun Li
2004	Misc	`conf`	Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design Tun Li, Yang Guo, Sikun Li
2004	—	`conf`	Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang
2004	B	`conf`	Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA Shengyu Shen, Ying Qin, Sikun Li
2004	—	`conf`	Parallel verilog simulation: architecture and circuit partition. ASP-DAC Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li
2004	—	`conf`	Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC Yijie Wang, Sikun Li
2004	—	`conf`	Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang
2003	—	`conf`	An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium Tun Li, Yang Guo, Sikun Li
2000	J	`jnl`	Design and Implementation of a Distributed Virtual Environment Development Platform. Int. J. Virtual Real. Yongjun Wang, Yijie Wang, Long Zhao, Sikun Li