default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSikun Li
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j39]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): 200-208 (2019)- [j38]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): 1950163:1-1950163:16 (2019) - [j37]Liang Deng
, Yueqing Wang, Yang Liu, Fang Wang, Sikun Li, Jie Liu:
A CNN-based vortex identification method. J. Vis. 22(1): 65-78 (2019) - [j36]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): 95-108 (2019) - [c89]Yumeng Guo, Wenke Wang, Sikun Li:
Streamline Distribution Method based on Vector-magnitude-aware Entropy. VINCI 2019: 22:1-22:5 - 2018
- [j35]Wentao Wang, Wenke Wang, Sikun Li:
Detection and classification of critical points in piecewise linear vector fields. J. Vis. 21(1): 147-161 (2018) - [j34]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): 267-280 (2018) - [j33]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) - 2017
- [j32]Xuekai Shi, Wenke Wang, Hui Huang, Sikun Li, Yiqi Fu:
基于压缩域的脑成像大数据体可视化方法 (Volume Rendering Method of Mass Brain Imaging Data Based on Compression Domain). 计算机科学 44(3): 27-31 (2017) - [j31]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): 729-742 (2017) - [j30]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: 5731678:1-5731678:10 (2017) - [c88]Yumeng Guo, Wenke Wang, Sikun Li:
Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization. PDCAT 2017: 510-515 - 2016
- [j29]Wentao Wang, Wenke Wang, Sikun Li:
Batch advection for the piecewise linear vector field on simplicial grids. Comput. Graph. 54: 75-83 (2016) - [j28]Enya Shen, Yunhai Wang, Sikun Li:
Spatiotemporal volume saliency. J. Vis. 19(1): 157-168 (2016) - [j27]Wentao Wang, Wenke Wang, Sikun Li:
From numerics to combinatorics: a survey of topological methods for vector field visualization. J. Vis. 19(4): 727-752 (2016) - [c87]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: 357-370 - [c86]Jian Hu, Tun Li, Sikun Li:
Equivalence checking between SLM and RTL using machine learning techniques. ISQED 2016: 129-134 - [c85]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: 19-26 - 2015
- [j26]Jian Hu, Tun Li, Sikun Li:
Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers Comput. Sci. 9(6): 934-943 (2015) - [j25]Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang:
SAVE: saliency-assisted volume exploration. J. Vis. 18(2): 369-379 (2015) - [j24]Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li:
Model-driven multicomponent volume exploration. Vis. Comput. 31(4): 441-454 (2015) - [c84]Lei Liu, Guijie Han, Zixin Zhou, Sikun Li:
Efficient Cryptology-Specific Instructions Generation with Algebra Primitives. 3PGCIC 2015: 435-439 - [c83]Lei Liu, Jianlu Luo, Xiaoyan Deng, Sikun Li:
FPGA-based Acceleration of Deep Neural Networks Using High Level Method. 3PGCIC 2015: 824-827 - [c82]Lintao Zheng, Wenke Wang, Sikun Li:
Feature-Based Streamline Selection Method for 2D Flow Fields. CAD/Graphics 2015: 129-136 - [c81]Jianmin Zhang, Tiejun Li, Sikun Li:
Application and analysis of unsatisfiable cores on circuits synthesis. ICACI 2015: 407-410 - [c80]Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan:
Equivalence checking of scheduling in high-level synthesis. ISQED 2015: 257-262 - [c79]Jian Hu, Tun Li, Sikun Li:
Formal equivalence checking between SLM and RTL descriptions. SoCC 2015: 131-136 - 2014
- [j23]Enya Shen, Sikun Li, Xun Cai, Liang Zeng, Wenke Wang:
Sketch-based interactive visualization: a survey. J. Vis. 17(4): 275-294 (2014) - [j22]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): 2545-2554 (2014) - [c78]Guanwu Wang, Lei Liu, Sikun Li:
ACRP: Application Customized Reconfigurable Pipeline. ACA 2014: 16-30 - [c77]Guanwu Wang, Sikun Li:
A Mapping Method for Application Customized Reconfigurable Pipeline. NAS 2014: 123-127 - 2013
- [j21]Huaxun Xu, Sikun Li, Liang Zeng, Xun Cai:
Feature-based adaptive texture visualization for vector field. Sci. China Inf. Sci. 56(9): 1-14 (2013) - [j20]Aiping Wang, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li:
Multiple-Cue-Based Visual Object Contour Tracking with Incremental Learning. Trans. Edutainment 9: 225-243 (2013) - [j19]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): 265-275 (2013) - [j18]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): 639-649 (2013) - [c76]Tun Li, Dan Zhu, Sikun Li, Yang Guo:
Application specified soft error failure rate analysis using sequential equivalence checking techniques. ASP-DAC 2013: 608-613 - [c75]Jian Hu, Tun Li, Sikun Li:
Equivalence Checking between SLM and TLM Using Coverage Directed Simulation. CAD/Graphics 2013: 101-106 - [c74]Tiejun Li, Jianmin Zhang, Sikun Li:
An FPGA-based Random Functional Verification Method for Cache. NAS 2013: 277-281 - 2012
- [j17]Guowei Wan, Noah Snavely, Daniel Cohen-Or, Qian Zheng, Baoquan Chen, Sikun Li:
Sorting unorganized photo sets for urban reconstruction. Graph. Model. 74(1): 14-28 (2012) - [j16]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): 43-49 (2012) - [j15]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): 1288-1292 (2012) - [j14]Liang Zeng, Bo Wu, Jiangfan Ning, Jiawen Ma, Sikun Li:
Meshless Simulation of Plastic Deformation and Crack. Trans. Edutainment 8: 127-137 (2012) - [c73]Enya Shen, Zhi-Quan Cheng, Jiazhi Xia, Sikun Li:
Intuitive Volume Eraser. CVM 2012: 250-257 - [c72]Ming Yan, Ziyu Yang, Lei Liu, Sikun Li:
ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture. ICPADS 2012: 834-839 - [c71]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: 34 - 2011
- [j13]Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li:
Extracting minimal unsatisfiable subformulas in satisfiability modulo theories. Comput. Sci. Inf. Syst. 8(3): 693-710 (2011) - [j12]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): 37-43 (2011) - [j11]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): 1556-1563 (2011) - [j10]Jiangfan Ning, Huaxun Xu, Liang Zeng, Sikun Li:
Particle-Based Fracture Simulation on the GPU. Trans. Edutainment 6: 193-205 (2011) - [j9]Huaxun Xu, Zhi-Quan Cheng, Ralph R. Martin, Sikun Li:
3D flow features visualization via fuzzy clustering. Vis. Comput. 27(6-8): 441-449 (2011) - [c70]Pan Wang, Huahai Liu, Sikun Li, Liang Zeng, Xun Cai:
Multi-GPU Compositeless Parallel Rendering Algorithm. CAD/Graphics 2011: 103-107 - [c69]Jiangfan Ning, Huaxun Xu, Bo Wu, Liang Zeng, Sikun Li, Yueshan Xiong:
MCA-Based Animation of Fracturing Heterogeneous Objects. CAD/Graphics 2011: 357-364 - [c68]Ming Yan, Ziyu Yang, Sikun Li, Liu Yang:
Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. FCCM 2011: 252 - [c67]Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li:
Practical and Effective Domain-Specific Function Unit Design for CGRA. ICCSA (5) 2011: 577-592 - [c66]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: 178-185 - [c65]Ming Yan, Ziyu Yang, Sikun Li, Liu Yang:
A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow Structure. CMC 2011: 95-98 - [c64]Wenke Wang, Tian Tian, Sikun Li:
B-spline surface skinning to non-parallel sectional curves. VRCAI 2011: 569-572 - 2010
- [j8]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): 1191-1202 (2010) - [j7]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): 1049-1059 (2010) - [c63]Aiping Wang, Sikun Li, Liang Zeng:
Multiple Order Graph Matching. ACCV (3) 2010: 471-482 - [c62]Dan Zhu, Tun Li, Sikun Li:
On Soft Error Immunity of Sequential Circuits. Asian Test Symposium 2010: 106-110 - [c61]Dan Zhu, Tun Li, Sikun Li:
An Approximate Soft Error Reliability Sorting Approach Based on State Analysis of Sequential Circuits. DFT 2010: 209-217 - [c60]ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li:
A halting algorithm to determine the existence of decoder. FMCAD 2010: 91-99
2000 – 2009
- 2009
- [j6]Dawei Wang, Peng Zhao, Sikun Li:
System Level Distributed Cooperative Design of Media SoC Using Application Profiling. J. Comput. 4(1): 77-85 (2009) - [j5]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): 477-484 (2009) - [j4]Jianmin Zhang, ShengYu Shen, Sikun Li:
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof. J. Softw. 4(1): 42-49 (2009) - [j3]Dawei Wang, Sikun Li, Yong Dou:
Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable Architecture for Data-Intensive Applications. J. Softw. 4(1): 81-89 (2009) - [c59]ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li:
Synthesizing complementary circuits automatically. ICCAD 2009: 381-388 - [c58]Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li:
An incremental extremely random forest classifier for online learning and tracking. ICIP 2009: 1449-1452 - [c57]Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li:
Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. ICPADS 2009: 527-534 - [c56]Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li:
Providing Responsiveness Requirement Based Consistency in DVE. ICPADS 2009: 594-601 - [c55]Sikun Li, Xiaoxia Lu:
A self-adaptive HVS-optimized texture compression algorithm. VRCAI 2009: 209-214 - 2008
- [c54]Dawei Wang, Sikun Li, Yong Dou:
Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. ASP-DAC 2008: 679-684 - [c53]Peng Zhao, Sikun Li, Dawei Wang, Ming Yan:
Application-driven System-on-Chip system model extraction approach. CSCWD 2008: 123-128 - [c52]Dan Zhu, Tun Li, Yang Guo, Sikun Li:
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642 - 2007
- [c51]Yang Guo, WanXia Qu, Tun Li, Sikun Li:
Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics 2007: 321-326 - [c50]Ming Yan, Sikun Li:
Comparison and Analysis of Novel Architectures for Media Compression. CAD/Graphics 2007: 509-512 - [c49]Dawei Wang, Yafei Cao, Ming Yan, Sikun Li:
Mapping Applications on Coarse-Grained Reconfigurable Systems Using Architecture Template Modeling. CAD/Graphics 2007: 557-560 - [c48]Sikun Li, Dawei Wang, Tun Li, Yong Dou:
Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. CSCWD 2007: 133-138 - [c47]Tun Li, Sikun Li, Jinshan Yu, Yang Guo:
A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150 - [c46]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: 1100-1104 - [c45]Jianmin Zhang, ShengYu Shen, Sikun Li:
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. ICCSA (3) 2007: 649-659 - [c44]Shengning Wu, Sikun Li:
Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems. ICNC (4) 2007: 324-329 - [c43]Jianmin Zhang, ShengYu Shen, Sikun Li:
Finding Unsatisfiable Subformulas with Stochastic Method. IDEAL 2007: 385-394 - [c42]Jing Zhou, Yijie Wang, Sikun Li:
Key-Attributes Based Optimistic Data Consistency Maintenance Method. ISPA 2007: 91-103 - [c41]Tun Li, Yang Guo, Sikun Li, Wei Dong, Rangyu Deng:
Experiences Teaching Functional Verification Techniques with Practical Designs. MSE 2007: 93-94 - 2006
- [c40]Jing Zhou, Yijie Wang, Sikun Li:
Data Dependence-based Optimistic Data Consistency Maintenance Method. CIT 2006: 120 - [c39]Jianmin Zhang, Sikun Li, ShengYu Shen:
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. Australian Conference on Artificial Intelligence 2006: 847-856 - [c38]Jing Zhou, Yijie Wang, Sikun Li:
A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. COMAD 2006: 158-161 - [c37]Shengning Wu, Sikun Li:
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. CSR 2006: 641-651 - [c36]Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li:
Procedural Terrain Detail Based on Patch-LOD Algorithm. Edutainment 2006: 913-920 - [c35]Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai:
General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. ICONIP (2) 2006: 661-670 - [c34]Cheng-Dong Shen, Sikun Li:
Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. ISVC (2) 2006: 882-890 - [c33]Jianmin Zhang, Ming Yan, Sikun Li:
Debug Support for Scalable System-on-Chip. MTV 2006: 83-87 - [c32]Cheng-Dong Shen, Sikun Li:
A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. PCM 2006: 827-834 - 2005
- [c31]ShengYu Shen, Ying Qin, Sikun Li:
A fast counterexample minimization approach with refutation analysis and incremental SAT. ASP-DAC 2005: 451-454 - [c30]Zhihui Xiong, Jihua Chen, Sikun Li:
Hardware/software partitioning for platform-based design method. ASP-DAC 2005: 691-696 - [c29]Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li:
Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042 - [c28]Tiejun Li, Sikun Li, Cheng-Dong Shen:
A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. ASP-DAC 2005: 1264-1267 - [c27]Zhihui Xiong, Sikun Li, Jihua Chen:
Hardware/software co-design using hierarchical platform-based design method. ASP-DAC 2005: 1309-1312 - [c26]Tun Li, Yang Guo, Sikun Li, GongJie Liu:
Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186 - [c25]Xuexian Pi, Xudong Yang, Sikun Li, Junqiang Song:
High-performance navigation and rendering of very-large scale landscape and seascape. CAD/Graphics 2005: 6 - [c24]Xudong Yang, Xuexian Pi, Liang Zeng, Sikun Li:
GPU-based real-time simulation and rendering of unbounded ocean surface. CAD/Graphics 2005: 6 - [c23]Cheng-Dong Shen, Tiejun Li, Sikun Li:
A Predictive Direction Guided Fast Motion Estimation Algorithm. CAIP 2005: 188-196 - [c22]ShengYu Shen, Ying Qin, Sikun Li:
Minimizing Counterexample of ACTL Property. CHARME 2005: 393-397 - [c21]Sikun Li, Zhihui Xiong, Tiejun Li:
Distributed Cooperative Design of Embedded Systems. CSCWD (Selected papers) 2005: 455-462 - [c20]Sikun Li, Zhihui Xiong, Tiejun Li:
Distributed cooperative design method and environment for embedded system. CSCWD (2) 2005: 956-960 - [c19]ShengYu Shen, Ying Qin, Sikun Li:
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. DATE 2005: 672-677 - [c18]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: 17-25 - [c17]Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li:
MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183 - [c16]Jing Zhou, Yijie Wang, Sikun Li:
An Optimistic Replication Algorithm to Improve Consistency for Massive Data. GCC 2005: 713-718 - [c15]Tiejun Li, Sikun Li:
A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. ICESS 2005: 564-575 - [c14]Tun Li, Yang Guo, Sikun Li, Dan Zhu:
Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184 - [c13]ShengYu Shen, Ying Qin, Sikun Li:
Minimizing Counterexample with Unit Core Extraction and Incremental SAT. VMCAI 2005: 298-312 - 2004
- [j2]Tun Li, Yang Guo, Sikun Li:
Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004) - [c12]Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li:
Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646 - [c11]ShengYu Shen, Ying Qin, Sikun Li:
Localizing Errors in Counterexample with Iteratively Witness Searching. ATVA 2004: 456-469 - [c10]Tun Li, Yang Guo, Sikun Li:
CLP Based Static Property Checking. ATVA 2004: 495-498 - [c9]Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang:
Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. CSCWD (Selected papers) 2004: 242-251 - [c8]Yijie Wang, Sikun Li:
Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. GCC 2004: 642-649 - [c7]Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen:
AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. GCC Workshops 2004: 753-760 - [c6]Yuxing Peng, Yongjun Zhang, Sikun Li:
Delayed State Consistency in Distributed Virtual Environments. GCC Workshops 2004: 761-767 - [c5]Tun Li, Yang Guo, Sikun Li:
Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291 - [c4]Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang:
Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. ICESS 2004: 216-221 - [c3]Chuanyan Tian, Cheng-Dong Shen, Sikun Li:
A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. MIPS 2004: 175-186 - [c2]Tun Li, Yang Guo, Sikun Li:
Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334 - 2003
- [c1]Tun Li, Yang Guo, Sikun Li:
An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160 - 2000
- [j1]Yongjun Wang, Yijie Wang, Long Zhao, Sikun Li:
Design and Implementation of a Distributed Virtual Environment Development Platform. Int. J. Virtual Real. 4(4): 44-54 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
