Sikun Li
According to our database1,
Sikun Li authored at least 128 papers
between 2000 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
A novel in situ compression method for CFD data based on generative adversarial network.
J. Vis., 2019
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information.
J. Circuits Syst. Comput., 2019
Out-of-core streamline visualisation based on adaptive partitioning and data prefetching.
Int. J. Comput. Sci. Eng., 2019
Proceedings of the 12th International Symposium on Visual Information Communication and Interaction, 2019
2018
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wirel. Commun. Mob. Comput., 2018
J. Vis., 2018
2017
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mob. Inf. Syst., 2017
An accurate vortex feature extraction method for Lagrangian vortex visualization on high-order flow field data.
J. Vis., 2017
基于压缩域的脑成像大数据体可视化方法 (Volume Rendering Method of Mass Brain Imaging Data Based on Compression Domain).
计算机科学, 2017
Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization.
Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017
2016
From numerics to combinatorics: a survey of topological methods for vector field visualization.
J. Vis., 2016
Comput. Graph., 2016
An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016
Proceedings of the 17th International Symposium on Quality Electronic Design, 2016
UIA: A Uniform Integrated Advection Algorithm for Steady and Unsteady Piecewise Linear Flow Field on Structured and Unstructured Grids.
Proceedings of the E-Learning and Games - 10th International Conference, 2016
2015
Proceedings of the 28th IEEE International System-on-Chip Conference, 2015
Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015
Proceedings of the Seventh International Conference on Advanced Computational Intelligence, 2015
Proceedings of the 14th International Conference on Computer-Aided Design and Computer Graphics, 2015
Proceedings of the 10th International Conference on P2P, 2015
Proceedings of the 10th International Conference on P2P, 2015
2014
IEEE Trans. Vis. Comput. Graph., 2014
Proceedings of the 9th IEEE International Conference on Networking, 2014
Proceedings of the Advanced Computer Architecture - 10th Annual Conference, 2014
2013
Vis. Comput., 2013
Trans. Edutainment, 2013
Sci. China Inf. Sci., 2013
Proceedings of the IEEE Eighth International Conference on Networking, 2013
Proceedings of the 2013 International Conference on Computer-Aided Design and Computer Graphics, 2013
Application specified soft error failure rate analysis using sequential equivalence checking techniques.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
2012
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012
Int. J. Virtual Real., 2012
Proceedings of the SIGGRAPH Asia 2012 Poster Proceedings, Singapore, Singapore, November 28, 2012
ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012
Proceedings of the Computational Visual Media - First International Conference, 2012
2011
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011
Fuzzy Feature Visualization of 3D Vector Field by Information-Entropy-Based Texture Adaptation.
Int. J. Virtual Real., 2011
Comput. Sci. Inf. Syst., 2011
Proceedings of the 10th International Conference on Virtual Reality Continuum and its Applications in Industry, 2011
Proceedings of the Third International Conference on Communications and Mobile Computing, 2011
Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2011, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011
Proceedings of the 12th International Conference on Computer-Aided Design and Computer Graphics, 2011
Proceedings of the 12th International Conference on Computer-Aided Design and Computer Graphics, 2011
2010
Direct raycasting of unstructured cell-centered data by discontinuity Roe-average computation.
Vis. Comput., 2010
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits.
Proceedings of the 25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2010
Proceedings of the 19th IEEE Asian Test Symposium, 2010
2009
Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications.
J. Softw., 2009
Parallel Processing of Sequential Media Algorithms on Heterogeneous Multi-Processor System-on-Chip.
J. Comput., 2009
System Level Distributed Cooperative Design of Media SoC Using Application Profiling.
J. Comput., 2009
Proceedings of the 8th International Conference on Virtual Reality Continuum and its Applications in Industry, 2009
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
Proceedings of the International Conference on Image Processing, 2009
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009
2008
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.
Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008
Proceedings of the 12th International Conference on CSCW in Design, 2008
Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008
2007
Hardware/Software Partitioning of Coarse-Grained Reconfigurable System Using Evolutionary Ant Colony Optimization.
Res. Comput. Sci., 2007
Proceedings of the IEEE International Conference on Microelectronic Systems Education, 2007
Proceedings of the Parallel and Distributed Processing and Applications, 2007
Proceedings of the Intelligent Data Engineering and Automated Learning, 2007
Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems.
Proceedings of the Third International Conference on Natural Computation, 2007
Proceedings of the Computational Science and Its Applications, 2007
Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007
Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007
Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling.
Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007
Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007
2006
Proceedings of the Advances in Multimedia Information Processing, 2006
Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006
Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006
General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks.
Proceedings of the Neural Information Processing, 13th International Conference, 2006
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.
Proceedings of the Computer Science, 2006
Proceedings of the 13th International Conference on Management of Data, 2006
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006
2005
Proceedings of the Verification, 2005
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005
A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005
Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming.
Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005
Proceedings of the 2005 Design, 2005
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005
Proceedings of the Computer Supported Cooperative Work in Design II, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
Proceedings of the Computer Analysis of Images and Patterns, 11th International Conference, 2005
Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005
High-performance navigation and rendering of very-large scale landscape and seascape.
Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.
Proceedings of the Automated Technology for Verification and Analysis, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
A fast counterexample minimization approach with refutation analysis and incremental SAT.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
J. Comput. Sci. Technol., 2004
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004
A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern.
Proceedings of the Interactive Multimedia and Next Generation Networks: Second International Workshop on Multimedia Interactive Protocols and Systems, 2004
Proceedings of the Embedded Software and Systems, First International Conference, 2004
Assertion-based automated functional vectors generation using constraint logic programming.
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004
Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System.
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the Computer Supported Cooperative Work in Design I, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004
2003
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003
2000
Int. J. Virtual Real., 2000