The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sikun Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jing Zhou, Yijie Wang, Sikun Li
    Data Dependence-based Optimistic Data Consistency Maintenance Method. [Citation Graph (0, 0)][DBLP]
    CIT, 2006, pp:120- [Conf]
  2. Tun Li, Yang Guo, Sikun Li, Fujiang Ao, GongJie Li
    Parallel verilog simulation: architecture and circuit partition. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2004, pp:644-646 [Conf]
  3. Tiejun Li, Sikun Li, Cheng-Dong Shen
    A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1264-1267 [Conf]
  4. Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li
    Automatic functional test program generation for microprocessor verification. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1039-1042 [Conf]
  5. ShengYu Shen, Ying Qin, Sikun Li
    A fast counterexample minimization approach with refutation analysis and incremental SAT. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:451-454 [Conf]
  6. Zhihui Xiong, Jihua Chen, Sikun Li
    Hardware/software partitioning for platform-based design method. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:691-696 [Conf]
  7. Zhihui Xiong, Sikun Li, Jihua Chen
    Hardware/software co-design using hierarchical platform-based design method. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1309-1312 [Conf]
  8. Tun Li, Yang Guo, Sikun Li
    An Automatic Circuit Extractor for RTL Verification. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 2003, pp:154-160 [Conf]
  9. ShengYu Shen, Ying Qin, Sikun Li
    Localizing Errors in Counterexample with Iteratively Witness Searching. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:456-469 [Conf]
  10. Tun Li, Yang Guo, Sikun Li
    CLP Based Static Property Checking. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:495-498 [Conf]
  11. Tun Li, Yang Guo, Sikun Li, GongJie Liu
    Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:174-186 [Conf]
  12. Jianmin Zhang, Sikun Li, ShengYu Shen
    Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:847-856 [Conf]
  13. Cheng-Dong Shen, Tie-Jun Li, Sikun Li
    A Predictive Direction Guided Fast Motion Estimation Algorithm. [Citation Graph (0, 0)][DBLP]
    CAIP, 2005, pp:188-196 [Conf]
  14. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample of ACTL Property. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:393-397 [Conf]
  15. Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang
    Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected papers), 2004, pp:242-251 [Conf]
  16. Sikun Li, Zhihui Xiong, Tiejun Li
    Distributed Cooperative Design of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected papers), 2005, pp:455-462 [Conf]
  17. Shengning Wu, Sikun Li
    Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:641-651 [Conf]
  18. ShengYu Shen, Ying Qin, Sikun Li
    A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:672-677 [Conf]
  19. Tun Li, Yang Guo, GongJie Liu, Sikun Li
    Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    DSD, 2005, pp:17-25 [Conf]
  20. Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li
    MA2TG: A Functional Test Program Generator for Microprocessor Verification. [Citation Graph (0, 0)][DBLP]
    DSD, 2005, pp:176-183 [Conf]
  21. Xuexian Pi, Junqiang Song, Liang Zeng, Sikun Li
    Procedural Terrain Detail Based on Patch-LOD Algorithm. [Citation Graph (0, 0)][DBLP]
    Edutainment, 2006, pp:913-920 [Conf]
  22. Yuxing Peng, Yongjun Zhang, Sikun Li
    Delayed State Consistency in Distributed Virtual Environments. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2004, pp:761-767 [Conf]
  23. Yubo Tan, Yuxing Peng, Sikun Li, Fujie Chen
    AFEC: An Advanced FEC Algorithm for Video Transmission Control over the Grid. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2004, pp:753-760 [Conf]
  24. Yijie Wang, Sikun Li
    Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer Distributed Storage System. [Citation Graph (0, 0)][DBLP]
    GCC, 2004, pp:642-649 [Conf]
  25. Jing Zhou, Yijie Wang, Sikun Li
    An Optimistic Replication Algorithm to Improve Consistency for Massive Data. [Citation Graph (0, 0)][DBLP]
    GCC, 2005, pp:713-718 [Conf]
  26. Tun Li, Yang Guo, Sikun Li
    Assertion-based automated functional vectors generation using constraint logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2004, pp:288-291 [Conf]
  27. Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang
    Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. [Citation Graph (0, 0)][DBLP]
    ICESS, 2004, pp:216-221 [Conf]
  28. Tie-Jun Li, Sikun Li
    A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. [Citation Graph (0, 0)][DBLP]
    ICESS, 2005, pp:564-575 [Conf]
  29. Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai
    General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. [Citation Graph (0, 0)][DBLP]
    ICONIP (2), 2006, pp:661-670 [Conf]
  30. Cheng-Dong Shen, Sikun Li
    Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. [Citation Graph (0, 0)][DBLP]
    ISVC (2), 2006, pp:882-890 [Conf]
  31. Tun Li, Yang Guo, Sikun Li, Dan Zhu
    Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. [Citation Graph (0, 0)][DBLP]
    MICAI, 2005, pp:175-184 [Conf]
  32. Chuanyan Tian, Cheng-Dong Shen, Sikun Li
    A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram Search Pattern. [Citation Graph (0, 0)][DBLP]
    MIPS, 2004, pp:175-186 [Conf]
  33. Jianmin Zhang, Ming Yan, Sikun Li
    Debug Support for Scalable System-on-Chip. [Citation Graph (0, 0)][DBLP]
    MTV, 2006, pp:83-87 [Conf]
  34. Cheng-Dong Shen, Sikun Li
    A Hierarchical Framework for Fast Macroblock Prediction Mode Decision in H.264. [Citation Graph (0, 0)][DBLP]
    PCM, 2006, pp:827-834 [Conf]
  35. Tun Li, Yang Guo, Sikun Li
    Design and Implementation of a Parallel Verilog Simulator: PVSim. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2004, pp:329-334 [Conf]
  36. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample with Unit Core Extraction and Incremental SAT. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:298-312 [Conf]
  37. Tun Li, Yang Guo, Sikun Li
    Automatic Circuit Extractor for HDL Description Using Program Slicing. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:5, pp:718-728 [Journal]
  38. Jianmin Zhang, ShengYu Shen, Sikun Li
    A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. [Citation Graph (0, 0)][DBLP]
    ICCSA (3), 2007, pp:649-659 [Conf]
  39. Jing Zhou, Yijie Wang, Sikun Li
    Key-Attributes Based Optimistic Data Consistency Maintenance Method. [Citation Graph (0, 0)][DBLP]
    ISPA, 2007, pp:91-103 [Conf]

  40. Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. [Citation Graph (, )][DBLP]


  41. Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. [Citation Graph (, )][DBLP]


  42. Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. [Citation Graph (, )][DBLP]


  43. A Novel Collaborative Verification Environment for SoC Co-Verification. [Citation Graph (, )][DBLP]


  44. Application-driven System-on-Chip system model extraction approach. [Citation Graph (, )][DBLP]


  45. Distributed cooperative design method and environment for embedded system. [Citation Graph (, )][DBLP]


  46. Synthesizing complementary circuits automatically. [Citation Graph (, )][DBLP]


  47. An incremental extremely random forest classifier for online learning and tracking. [Citation Graph (, )][DBLP]


  48. Finding Unsatisfiable Subformulas with Stochastic Method. [Citation Graph (, )][DBLP]


  49. 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. [Citation Graph (, )][DBLP]


  50. A self-adaptive HVS-optimized texture compression algorithm. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002