Search results for "Sikun Li"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Guowei Wan, Noah Snavely, Daniel Cohen-Or, Qian Zheng, Baoquan Chen, Sikun Li	Sorting unorganized photo sets for urban reconstruction.	Graphical Models	2012	DBLP DOI BibTeX RDF
1	Huaxun Xu, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li	3D flow features visualization via fuzzy clustering.	The Visual Computer	2011	DBLP DOI BibTeX RDF
1	Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li	Particle-Based Fracture Simulation on the GPU.	T. Edutainment	2011	DBLP DOI BibTeX RDF
1	Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li	Extracting minimal unsatisfiable subformulas in satisfiability modulo theories.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
1	Peng Wu, SiKun Li	Social Network Analysis Layout Algorithm under Ontology Model.	JSW	2011	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	Ming Yan, Ziyu Yang, Sikun Li, Liu Yang	A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure.	CMC	2011	DBLP DOI BibTeX RDF
1	Wenke Wang, Tian Tian, Sikun Li	B-spline surface skinning to non-parallel sectional curves.	VRCAI	2011	DBLP DOI BibTeX RDF
1	Ming Yan, Ziyu Yang, Sikun Li, Liu Yang	Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture.	FCCM	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li	Practical and Effective Domain-Specific Function Unit Design for CGRA.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong	MCA-Based Animation of Fracturing Heterogeneous Objects.	CAD/Graphics	2011	DBLP DOI BibTeX RDF
1	Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai	Multi-GPU Compositeless Parallel Rendering Algorithm.	CAD/Graphics	2011	DBLP DOI BibTeX RDF
1	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	2010	DBLP BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	Aiping Wang, Sikun Li, Liang Zeng	Multiple Order Graph Matching.	ACCV	2010	DBLP DOI BibTeX RDF
1	Dan Zhu, Tun Li, Sikun Li	On Soft Error Immunity of Sequential Circuits.	Asian Test Symposium	2010	DBLP DOI BibTeX RDF
1	ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li	A halting algorithm to determine the existence of decoder.	FMCAD	2010	DBLP BibTeX RDF
1	Jianmin Zhang, ShengYu Shen, Sikun Li	Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.	JSW	2009	DBLP DOI BibTeX RDF
1	Dawei Wang, Sikun Li, Yong Dou	Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications.	JSW	2009	DBLP DOI BibTeX RDF
1	Dawei Wang, Peng Zhao, Sikun Li	System Level Distributed Cooperative Design of Media SoC Using Application Profiling.	JCP	2009	DBLP DOI BibTeX RDF
1	Peng Zhao, Dawei Wang, Ming Yan, Sikun Li	Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip.	JCP	2009	DBLP DOI BibTeX RDF
1	Sikun Li, Xiaoxia Lu	A self-adaptive HVS-optimized texture compression algorithm.	VRCAI	2009	DBLP DOI BibTeX RDF	HVS-optimized, GPU, self-adaptive, quantizer, texture compression
1	Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li	Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC.	ICPADS	2009	DBLP DOI BibTeX RDF
1	Wei Zhang 0027, Hangjun Zhou, Yuxing Peng, Sikun Li	Providing Responsiveness Requirement Based Consistency in DVE.	ICPADS	2009	DBLP DOI BibTeX RDF
1	Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li	An incremental extremely random forest classifier for online learning and tracking.	ICIP	2009	DBLP DOI BibTeX RDF
1	ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li	Synthesizing complementary circuits automatically.	ICCAD	2009	DBLP BibTeX RDF
1	Dan Zhu, Tun Li, Yang Guo, Sikun Li	2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.	ISQED	2008	DBLP DOI BibTeX RDF	cutpoints, Program slicing, Sequential equivalence checking
1	Peng Zhao, Sikun Li, Dawei Wang, Ming Yan	Application-driven System-on-Chip system model extraction approach.	CSCWD	2008	DBLP DOI BibTeX RDF
1	Dawei Wang, Sikun Li, Yong Dou	Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Tun Li, Sikun Li, Jinshan Yu, Yang Guo	A Novel Collaborative Verification Environment for SoC Co-Verification.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Sikun Li, Dawei Wang, Tun Li, Yong Dou	Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Jing Zhou, Yijie Wang, Sikun Li	Key-Attributes Based Optimistic Data Consistency Maintenance Method.	ISPA	2007	DBLP DOI BibTeX RDF
1	Jianmin Zhang, ShengYu Shen, Sikun Li	Finding Unsatisfiable Subformulas with Stochastic Method.	IDEAL	2007	DBLP DOI BibTeX RDF	Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
1	Jianmin Zhang, ShengYu Shen, Sikun Li	A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.	ICCSA	2007	DBLP DOI BibTeX RDF	Unsatisfiable core, Unit clause propagation, Binary clause resolution, Equality reduction, Local search
1	Dawei Wang, Yafei Cao, Ming Yan, Sikun Li	Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling.	CAD/Graphics	2007	DBLP DOI BibTeX RDF
1	Ming Yan, Sikun Li	Comparison and Analysis of Novel Architectures for Media Compression.	CAD/Graphics	2007	DBLP DOI BibTeX RDF
1	Yang Guo, WanXia Qu, Tun Li, Sikun Li	Coverage Driven Test Generation Framework for RTL Functional Verification.	CAD/Graphics	2007	DBLP DOI BibTeX RDF
1	Shengning Wu, Sikun Li	Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.	CSR	2006	DBLP DOI BibTeX RDF
1	Cheng-Dong Shen, Sikun Li	A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264.	PCM	2006	DBLP DOI BibTeX RDF	video coding, H.264, Mode decision, rate-distortion optimization
1	Cheng-Dong Shen, Sikun Li	Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework.	ISVC	2006	DBLP DOI BibTeX RDF	video coding, H.264, Mode decision, rate-distortion optimization
1	Jianmin Zhang, Sikun Li, ShengYu Shen	Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
1	Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai	General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks.	ICONIP	2006	DBLP DOI BibTeX RDF	neural network, visualization, classification, transfer functions
1	Jing Zhou, Yijie Wang, Sikun Li	Data Dependence-based Optimistic Data Consistency Maintenance Method.	CIT	2006	DBLP DOI BibTeX RDF
1	Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li	Procedural Terrain Detail Based on Patch-LOD Algorithm.	Edutainment	2006	DBLP DOI BibTeX RDF
1	Jing Zhou, Yijie Wang, Sikun Li	A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems.	COMAD	2006	DBLP BibTeX RDF
1	Jianmin Zhang, Ming Yan, Sikun Li	Debug Support for Scalable System-on-Chip.	MTV	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li	MA2TG: A Functional Test Program Generator for Microprocessor Verification.	DSD	2005	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li, Dan Zhu	Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.	MICAI	2005	DBLP DOI BibTeX RDF
1	Sikun Li, Zhihui Xiong, Tiejun Li	Distributed Cooperative Design of Embedded Systems.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
1	Sikun Li, Zhihui Xiong, Tiejun Li	Distributed cooperative design method and environment for embedded system.	CSCWD	2005	DBLP DOI BibTeX RDF
1	Cheng-Dong Shen, Tiejun Li, Sikun Li	A Predictive Direction Guided Fast Motion Estimation Algorithm.	CAIP	2005	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li, GongJie Liu	Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.	ATVA	2005	DBLP DOI BibTeX RDF
1	ShengYu Shen, Ying Qin, Sikun Li	Minimizing Counterexample of ACTL Property.	CHARME	2005	DBLP DOI BibTeX RDF
1	Zhihui Xiong, Sikun Li, Jihua Chen	Hardware/software co-design using hierarchical platform-based design method.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Tiejun Li, Sikun Li, Cheng-Dong Shen	A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li	Automatic functional test program generation for microprocessor verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	ShengYu Shen, Ying Qin, Sikun Li	A fast counterexample minimization approach with refutation analysis and incremental SAT.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Zhihui Xiong, Jihua Chen, Sikun Li	Hardware/software partitioning for platform-based design method.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	ShengYu Shen, Ying Qin, Sikun Li	A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.	DATE	2005	DBLP DOI BibTeX RDF
1	Tiejun Li, Sikun Li	A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism.	ICESS	2005	DBLP DOI BibTeX RDF
1	ShengYu Shen, Ying Qin, Sikun Li	Minimizing Counterexample with Unit Core Extraction and Incremental SAT.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Xuexian Pi, Xudong Yang, Sikun Li, Junqiang Song	High-performance navigation and rendering of very-large scale landscape and seascape.	CAD/Graphics	2005	DBLP DOI BibTeX RDF
1	Xudong Yang, Xuexian Pi, Liang Zeng, Sikun Li	GPU-based real-time simulation and rendering of unbounded ocean surface.	CAD/Graphics	2005	DBLP DOI BibTeX RDF
1	Jing Zhou, Yijie Wang, Sikun Li	An Optimistic Replication Algorithm to Improve Consistency for Massive Data.	GCC	2005	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li	Automatic Circuit Extractor for HDL Description Using Program Slicing.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
1	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang	Hardware/Software Co-design Environment for Hierarchical Platform-Based Design.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li	Assertion-based automated functional vectors generation using constraint logic programming.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	test generation, assertion, constraint logic programming, functional verification, decision diagrams
1	ShengYu Shen, Ying Qin, Sikun Li	Localizing Errors in Counterexample with Iteratively Witness Searching.	ATVA	2004	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li	CLP Based Static Property Checking.	ATVA	2004	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li	Parallel verilog simulation: architecture and circuit partition.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li	Design and Implementation of a Parallel Verilog Simulator: PVSim.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang	Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning.	ICESS	2004	DBLP DOI BibTeX RDF
1	Chuanyan Tian, Cheng-Dong Shen, Sikun Li	A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern.	MIPS	2004	DBLP DOI BibTeX RDF
1	Yuxing Peng, Yongjun Zhang, Sikun Li	Delayed State Consistency in Distributed Virtual Environments.	GCC Workshops	2004	DBLP DOI BibTeX RDF
1	Yijie Wang, Sikun Li	Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System.	GCC	2004	DBLP DOI BibTeX RDF
1	Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen	AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid.	GCC Workshops	2004	DBLP DOI BibTeX RDF
1	Tun Li, Yang Guo, Sikun Li	An Automatic Circuit Extractor for RTL Verification.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF

Publications of "Sikun Li" ( http://dblp.L3S.de/Authors/Sikun_Li )