Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sikun Li
@article{DBLP:journals/ijcse/GuoWL19,
author = {Yumeng Guo and
Wenke Wang and
Sikun Li},
title = {Out-of-core streamline visualisation based on adaptive partitioning
and data prefetching},
journal = {Int. J. Comput. Sci. Eng.},
volume = {20},
number = {2},
pages = {200--208},
year = {2019},
url = {https://doi.org/10.1504/IJCSE.2019.103821},
doi = {10.1504/IJCSE.2019.103821},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcse/GuoWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/HuLL19,
author = {Jian Hu and
Tun Li and
Sikun Li},
title = {Formal Equivalence Checking Between System-Level and {RTL} Descriptions
without Pre-Given Mapping Information},
journal = {J. Circuits Syst. Comput.},
volume = {28},
number = {10},
pages = {1950163:1--1950163:16},
year = {2019},
url = {https://doi.org/10.1142/S0218126619501639},
doi = {10.1142/S0218126619501639},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/HuLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/DengWLWLL19,
author = {Liang Deng and
Yueqing Wang and
Yang Liu and
Fang Wang and
Sikun Li and
Jie Liu},
title = {A CNN-based vortex identification method},
journal = {J. Vis.},
volume = {22},
number = {1},
pages = {65--78},
year = {2019},
url = {https://doi.org/10.1007/s12650-018-0523-1},
doi = {10.1007/S12650-018-0523-1},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jvis/DengWLWLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/LiuWDWLLL19,
author = {Yang Liu and
Yueqing Wang and
Liang Deng and
Fang Wang and
Fang Liu and
Yutong Lu and
Sikun Li},
title = {A novel in situ compression method for {CFD} data based on generative
adversarial network},
journal = {J. Vis.},
volume = {22},
number = {1},
pages = {95--108},
year = {2019},
url = {https://doi.org/10.1007/s12650-018-0519-x},
doi = {10.1007/S12650-018-0519-X},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/LiuWDWLLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vinci/GuoWL19,
author = {Yumeng Guo and
Wenke Wang and
Sikun Li},
title = {Streamline Distribution Method based on Vector-magnitude-aware Entropy},
booktitle = {Proceedings of the 12th International Symposium on Visual Information
Communication and Interaction, {VINCI} 2019, Shanghai, China, September
20-22, 2019},
pages = {22:1--22:5},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3356422.3356442},
doi = {10.1145/3356422.3356442},
timestamp = {Mon, 18 Nov 2019 10:58:21 +0100},
biburl = {https://dblp.org/rec/conf/vinci/GuoWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/WangWL18,
author = {Wentao Wang and
Wenke Wang and
Sikun Li},
title = {Detection and classification of critical points in piecewise linear
vector fields},
journal = {J. Vis.},
volume = {21},
number = {1},
pages = {147--161},
year = {2018},
url = {https://doi.org/10.1007/s12650-017-0438-2},
doi = {10.1007/S12650-017-0438-2},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/WangWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/WangLZDL18,
author = {Fang Wang and
Yang Liu and
Dan Zhao and
Liang Deng and
Sikun Li},
title = {{UIA:} a uniform integrated advection algorithm for steady and unsteady
piecewise linear flow field on structured and unstructured grids},
journal = {J. Vis.},
volume = {21},
number = {2},
pages = {267--280},
year = {2018},
url = {https://doi.org/10.1007/s12650-017-0448-0},
doi = {10.1007/S12650-017-0448-0},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/WangLZDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wicomm/ZhangQHGL18,
author = {Long Zhang and
WanXia Qu and
Yinjia Huo and
Yang Guo and
Sikun Li},
title = {An SAT-Based Method to Multithreaded Program Verification for Mobile
Crowdsourcing Networks},
journal = {Wirel. Commun. Mob. Comput.},
volume = {2018},
year = {2018},
url = {https://doi.org/10.1155/2018/3193974},
doi = {10.1155/2018/3193974},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wicomm/ZhangQHGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/ShiWHLF18,
author = {Xuekai Shi and
Wenke Wang and
Hui Huang and
Sikun Li and
Yiqi Fu},
title = {{\unicode{22522}}{\unicode{20110}}{\unicode{21387}}{\unicode{32553}}{\unicode{22495}}{\unicode{30340}}{\unicode{33041}}{\unicode{25104}}{\unicode{20687}}{\unicode{22823}}{\unicode{25968}}{\unicode{25454}}{\unicode{20307}}{\unicode{21487}}{\unicode{35270}}{\unicode{21270}}{\unicode{26041}}{\unicode{27861}}
(Volume Rendering Method of Mass Brain Imaging Data Based on Compression
Domain)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {44},
number = {3},
pages = {27--31},
year = {2017},
url = {https://doi.org/10.11896/j.issn.1002-137X.2017.03.007},
doi = {10.11896/J.ISSN.1002-137X.2017.03.007},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/ShiWHLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/WangZDL17,
author = {Fang Wang and
Dan Zhao and
Liang Deng and
Sikun Li},
title = {An accurate vortex feature extraction method for Lagrangian vortex
visualization on high-order flow field data},
journal = {J. Vis.},
volume = {20},
number = {4},
pages = {729--742},
year = {2017},
url = {https://doi.org/10.1007/s12650-017-0421-y},
doi = {10.1007/S12650-017-0421-Y},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/WangZDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mis/ZhangHQGL17,
author = {Long Zhang and
Wenyan Hu and
WanXia Qu and
Yang Guo and
Sikun Li},
title = {A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical
Systems},
journal = {Mob. Inf. Syst.},
volume = {2017},
pages = {5731678:1--5731678:10},
year = {2017},
url = {https://doi.org/10.1155/2017/5731678},
doi = {10.1155/2017/5731678},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mis/ZhangHQGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/GuoWL17,
author = {Yumeng Guo and
Wenke Wang and
Sikun Li},
editor = {Shi{-}Jinn Horng},
title = {Feature-Based Adaptive Block Partition Method for Data Prefetching
in Streamline Visualization},
booktitle = {18th International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2017, Taipei, Taiwan, December
18-20, 2017},
pages = {510--515},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PDCAT.2017.00087},
doi = {10.1109/PDCAT.2017.00087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/GuoWL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cg/WangWL16,
author = {Wentao Wang and
Wenke Wang and
Sikun Li},
title = {Batch advection for the piecewise linear vector field on simplicial
grids},
journal = {Comput. Graph.},
volume = {54},
pages = {75--83},
year = {2016},
url = {https://doi.org/10.1016/j.cag.2015.07.016},
doi = {10.1016/J.CAG.2015.07.016},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cg/WangWL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/ShenWL16,
author = {Enya Shen and
Yunhai Wang and
Sikun Li},
title = {Spatiotemporal volume saliency},
journal = {J. Vis.},
volume = {19},
number = {1},
pages = {157--168},
year = {2016},
url = {https://doi.org/10.1007/s12650-015-0293-y},
doi = {10.1007/S12650-015-0293-Y},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/ShenWL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/WangWL16,
author = {Wentao Wang and
Wenke Wang and
Sikun Li},
title = {From numerics to combinatorics: a survey of topological methods for
vector field visualization},
journal = {J. Vis.},
volume = {19},
number = {4},
pages = {727--752},
year = {2016},
url = {https://doi.org/10.1007/s12650-016-0348-8},
doi = {10.1007/S12650-016-0348-8},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/WangWL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/WangLZDL16,
author = {Fang Wang and
Yang Liu and
Dan Zhao and
Liang Deng and
Sikun Li},
editor = {Abdennour El Rhalibi and
Feng Tian and
Zhigeng Pan and
Baoquan Liu},
title = {{UIA:} {A} Uniform Integrated Advection Algorithm for Steady and Unsteady
Piecewise Linear Flow Field on Structured and Unstructured Grids},
booktitle = {E-Learning and Games - 10th International Conference, Edutainment
2016, Hangzhou, China, April 14-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9654},
pages = {357--370},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40259-8\_31},
doi = {10.1007/978-3-319-40259-8\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/WangLZDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/HuLL16,
author = {Jian Hu and
Tun Li and
Sikun Li},
title = {Equivalence checking between {SLM} and {RTL} using machine learning
techniques},
booktitle = {17th International Symposium on Quality Electronic Design, {ISQED}
2016, Santa Clara, CA, USA, March 15-16, 2016},
pages = {129--134},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISQED.2016.7479188},
doi = {10.1109/ISQED.2016.7479188},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isqed/HuLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/WangDZL16,
author = {Fang Wang and
Liang Deng and
Dan Zhao and
Sikun Li},
editor = {Yihai Chen},
title = {An efficient Uniform Integrated Advection algorithm for Finite Time
Lyapunov Exponent field computation on {GPU} and {MIC}},
booktitle = {17th {IEEE/ACIS} International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing,
{SNPD} 2016, Shanghai, China, May 30 - June 1, 2016},
pages = {19--26},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SNPD.2016.7515872},
doi = {10.1109/SNPD.2016.7515872},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/WangDZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/HuLL15,
author = {Jian Hu and
Tun Li and
Sikun Li},
title = {Equivalence checking between {SLM} and {TLM} using coverage directed
simulation},
journal = {Frontiers Comput. Sci.},
volume = {9},
number = {6},
pages = {934--943},
year = {2015},
url = {https://doi.org/10.1007/s11704-015-4257-0},
doi = {10.1007/S11704-015-4257-0},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/HuLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/ShenLCZW15,
author = {Enya Shen and
Sikun Li and
Xun Cai and
Liang Zeng and
Wenke Wang},
title = {{SAVE:} saliency-assisted volume exploration},
journal = {J. Vis.},
volume = {18},
number = {2},
pages = {369--379},
year = {2015},
url = {https://doi.org/10.1007/s12650-014-0237-y},
doi = {10.1007/S12650-014-0237-Y},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/ShenLCZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/ShenXCMWL15,
author = {Enya Shen and
Jiazhi Xia and
Zhi{-}Quan Cheng and
Ralph R. Martin and
Yunhai Wang and
Sikun Li},
title = {Model-driven multicomponent volume exploration},
journal = {Vis. Comput.},
volume = {31},
number = {4},
pages = {441--454},
year = {2015},
url = {https://doi.org/10.1007/s00371-014-0940-7},
doi = {10.1007/S00371-014-0940-7},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/ShenXCMWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/LiuHZL15,
author = {Lei Liu and
Guijie Han and
Zixin Zhou and
Sikun Li},
editor = {Fatos Xhafa and
Leonard Barolli and
Fabrizio Messina and
Marek R. Ogiela},
title = {Efficient Cryptology-Specific Instructions Generation with Algebra
Primitives},
booktitle = {10th International Conference on P2P, Parallel, Grid, Cloud and Internet
Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015},
pages = {435--439},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/3PGCIC.2015.132},
doi = {10.1109/3PGCIC.2015.132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3pgcic/LiuHZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/LiuLDL15,
author = {Lei Liu and
Jianlu Luo and
Xiaoyan Deng and
Sikun Li},
editor = {Fatos Xhafa and
Leonard Barolli and
Fabrizio Messina and
Marek R. Ogiela},
title = {FPGA-based Acceleration of Deep Neural Networks Using High Level Method},
booktitle = {10th International Conference on P2P, Parallel, Grid, Cloud and Internet
Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015},
pages = {824--827},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/3PGCIC.2015.103},
doi = {10.1109/3PGCIC.2015.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3pgcic/LiuLDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/ZhengWL15,
author = {Lintao Zheng and
Wenke Wang and
Sikun Li},
title = {Feature-Based Streamline Selection Method for 2D Flow Fields},
booktitle = {14th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2015, Xi'an, China, August 26-28, 2015},
pages = {129--136},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CADGRAPHICS.2015.48},
doi = {10.1109/CADGRAPHICS.2015.48},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/cadgraphics/ZhengWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaci/ZhangLL15a,
author = {Jianmin Zhang and
Tiejun Li and
Sikun Li},
title = {Application and analysis of unsatisfiable cores on circuits synthesis},
booktitle = {Seventh International Conference on Advanced Computational Intelligence,
{ICACI} 2015, Wuyi, China, March 27-29, 2015},
pages = {407--410},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICACI.2015.7184740},
doi = {10.1109/ICACI.2015.7184740},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icaci/ZhangLL15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/LiHGLT15,
author = {Tun Li and
Jian Hu and
Yang Guo and
Sikun Li and
QingPing Tan},
title = {Equivalence checking of scheduling in high-level synthesis},
booktitle = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
2015, Santa Clara, CA, USA, March 2-4, 2015},
pages = {257--262},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISQED.2015.7085435},
doi = {10.1109/ISQED.2015.7085435},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/isqed/LiHGLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/HuLL15,
author = {Jian Hu and
Tun Li and
Sikun Li},
title = {Formal equivalence checking between {SLM} and {RTL} descriptions},
booktitle = {28th {IEEE} International System-on-Chip Conference, {SOCC} 2015,
Beijing, China, September 8-11, 2015},
pages = {131--136},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SOCC.2015.7406927},
doi = {10.1109/SOCC.2015.7406927},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/socc/HuLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/ShenLCZW14,
author = {Enya Shen and
Sikun Li and
Xun Cai and
Liang Zeng and
Wenke Wang},
title = {Sketch-based interactive visualization: a survey},
journal = {J. Vis.},
volume = {17},
number = {4},
pages = {275--294},
year = {2014},
url = {https://doi.org/10.1007/s12650-014-0225-2},
doi = {10.1007/S12650-014-0225-2},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/ShenLCZW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/HongLGSYL14,
author = {Fan Hong and
Chufan Lai and
Hanqi Guo and
Enya Shen and
Xiaoru Yuan and
Sikun Li},
title = {{FLDA:} Latent Dirichlet Allocation Based Unsteady Flow Analysis},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {20},
number = {12},
pages = {2545--2554},
year = {2014},
url = {https://doi.org/10.1109/TVCG.2014.2346416},
doi = {10.1109/TVCG.2014.2346416},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/HongLGSYL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aca/WangLL14,
author = {Guanwu Wang and
Lei Liu and
Sikun Li},
editor = {Junjie Wu and
Haibo Chen and
Xingwei Wang},
title = {{ACRP:} Application Customized Reconfigurable Pipeline},
booktitle = {Advanced Computer Architecture - 10th Annual Conference, {ACA} 2014,
Shenyang, China, August 23-24, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {451},
pages = {16--30},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44491-7\_2},
doi = {10.1007/978-3-662-44491-7\_2},
timestamp = {Thu, 23 Apr 2020 13:59:01 +0200},
biburl = {https://dblp.org/rec/conf/aca/WangLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nas/WangL14,
author = {Guanwu Wang and
Sikun Li},
title = {A Mapping Method for Application Customized Reconfigurable Pipeline},
booktitle = {9th {IEEE} International Conference on Networking, Architecture, and
Storage, {NAS} 2014, Tianjin, China, August 6-8, 2014},
pages = {123--127},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/NAS.2014.27},
doi = {10.1109/NAS.2014.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nas/WangL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/XuLZC13,
author = {Huaxun Xu and
Sikun Li and
Liang Zeng and
Xun Cai},
title = {Feature-based adaptive texture visualization for vector field},
journal = {Sci. China Inf. Sci.},
volume = {56},
number = {9},
pages = {1--14},
year = {2013},
url = {https://doi.org/10.1007/s11432-011-4505-3},
doi = {10.1007/S11432-011-4505-3},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/XuLZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/WangCML13,
author = {Aiping Wang and
Zhi{-}Quan Cheng and
Ralph R. Martin and
Sikun Li},
title = {Multiple-Cue-Based Visual Object Contour Tracking with Incremental
Learning},
journal = {Trans. Edutainment},
volume = {9},
pages = {225--243},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37042-7\_16},
doi = {10.1007/978-3-642-37042-7\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tedu/WangCML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/NingXWZLX13,
author = {Jiangfan Ning and
Huaxun Xu and
Bo Wu and
Liang Zeng and
Sikun Li and
Yueshan Xiong},
title = {Modeling and animation of fracture of heterogeneous materials based
on {CUDA}},
journal = {Vis. Comput.},
volume = {29},
number = {4},
pages = {265--275},
year = {2013},
url = {https://doi.org/10.1007/s00371-012-0765-1},
doi = {10.1007/S00371-012-0765-1},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/NingXWZLX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/WangCMLCL13,
author = {Pan Wang and
Zhi{-}Quan Cheng and
Ralph Martin and
Huahai Liu and
Xun Cai and
Sikun Li},
title = {NUMA-aware image compositing on multi-GPU platform},
journal = {Vis. Comput.},
volume = {29},
number = {6-8},
pages = {639--649},
year = {2013},
url = {https://doi.org/10.1007/s00371-013-0803-7},
doi = {10.1007/S00371-013-0803-7},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/WangCMLCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LiZLG13,
author = {Tun Li and
Dan Zhu and
Sikun Li and
Yang Guo},
title = {Application specified soft error failure rate analysis using sequential
equivalence checking techniques},
booktitle = {18th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2013, Yokohama, Japan, January 22-25, 2013},
pages = {608--613},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASPDAC.2013.6509665},
doi = {10.1109/ASPDAC.2013.6509665},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LiZLG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/HuLL13,
author = {Jian Hu and
Tun Li and
Sikun Li},
title = {Equivalence Checking between {SLM} and {TLM} Using Coverage Directed
Simulation},
booktitle = {2013 International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2013, Guangzhou, China, November 16-18, 2013},
pages = {101--106},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CADGraphics.2013.21},
doi = {10.1109/CADGRAPHICS.2013.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/HuLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nas/LiZL13,
author = {Tiejun Li and
Jianmin Zhang and
Sikun Li},
title = {An FPGA-based Random Functional Verification Method for Cache},
booktitle = {{IEEE} Eighth International Conference on Networking, Architecture
and Storage, {NAS} 2013, Xi'an, Shaanxi, China, July 17-19, 2013},
pages = {277--281},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/NAS.2013.44},
doi = {10.1109/NAS.2013.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nas/LiZL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cvgip/WanSCZCL12,
author = {Guowei Wan and
Noah Snavely and
Daniel Cohen{-}Or and
Qian Zheng and
Baoquan Chen and
Sikun Li},
title = {Sorting unorganized photo sets for urban reconstruction},
journal = {Graph. Model.},
volume = {74},
number = {1},
pages = {14--28},
year = {2012},
url = {https://doi.org/10.1016/j.gmod.2011.11.001},
doi = {10.1016/J.GMOD.2011.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cvgip/WanSCZCL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijvr/ShenXWCZL12,
author = {Enya Shen and
Huaxun Xu and
Wenke Wang and
Xun Cai and
Liang Zeng and
Sikun Li},
title = {Interactive Extraction of Featuresin 3D Flow with Fuzzy Theory},
journal = {Int. J. Virtual Real.},
volume = {11},
number = {1},
pages = {43--49},
year = {2012},
url = {https://doi.org/10.20870/IJVR.2012.11.1.2836},
doi = {10.20870/IJVR.2012.11.1.2836},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijvr/ShenXWCZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShenQWPZL12,
author = {ShengYu Shen and
Ying Qin and
Kefei Wang and
Zhengbin Pang and
Jianmin Zhang and
Sikun Li},
title = {Inferring Assertion for Complementary Synthesis},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {8},
pages = {1288--1292},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2012.2190735},
doi = {10.1109/TCAD.2012.2190735},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ShenQWPZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/ZengWNML12,
author = {Liang Zeng and
Bo Wu and
Jiangfan Ning and
Jiawen Ma and
Sikun Li},
title = {Meshless Simulation of Plastic Deformation and Crack},
journal = {Trans. Edutainment},
volume = {8},
pages = {127--137},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31439-1\_12},
doi = {10.1007/978-3-642-31439-1\_12},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tedu/ZengWNML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvm/ShenCXL12,
author = {Enya Shen and
Zhi{-}Quan Cheng and
Jiazhi Xia and
Sikun Li},
editor = {Shi{-}Min Hu and
Ralph R. Martin},
title = {Intuitive Volume Eraser},
booktitle = {Computational Visual Media - First International Conference, {CVM}
2012, Beijing, China, November 8-10, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7633},
pages = {250--257},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34263-9\_32},
doi = {10.1007/978-3-642-34263-9\_32},
timestamp = {Mon, 14 Oct 2019 16:26:42 +0200},
biburl = {https://dblp.org/rec/conf/cvm/ShenCXL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/YanYLL12,
author = {Ming Yan and
Ziyu Yang and
Lei Liu and
Sikun Li},
title = {ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime
Reconfigurable Architecture},
booktitle = {18th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2012, Singapore, December 17-19, 2012},
pages = {834--839},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICPADS.2012.136},
doi = {10.1109/ICPADS.2012.136},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/YanYLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/ShenXCMWL12,
author = {Enya Shen and
Jiazhi Xia and
Zhi{-}Quan Cheng and
Ralph R. Martin and
Yunhai Wang and
Sikun Li},
editor = {Qunsheng Peng and
Haizhou Li},
title = {Model-based multi-component volume data labeling and rendering},
booktitle = {{SIGGRAPH} Asia 2012 Poster Proceedings, Singapore, Singapore, November
28 - December 01, 2012},
pages = {34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2407156.2407194},
doi = {10.1145/2407156.2407194},
timestamp = {Mon, 01 Mar 2021 13:46:59 +0100},
biburl = {https://dblp.org/rec/conf/siggraph/ShenXCMWL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/ZhangSZXL11,
author = {Jianmin Zhang and
ShengYu Shen and
Jun Zhang and
Weixia Xu and
Sikun Li},
title = {Extracting minimal unsatisfiable subformulas in satisfiability modulo
theories},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {3},
pages = {693--710},
year = {2011},
url = {https://doi.org/10.2298/CSIS101019024Z},
doi = {10.2298/CSIS101019024Z},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/ZhangSZXL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijvr/WangXZL11,
author = {Huaihui Wang and
Huaxun Xu and
Liang Zeng and
Sikun Li},
title = {Fuzzy Feature Visualization of 3D Vector Field by Information-Entropy-Based
Texture Adaptation},
journal = {Int. J. Virtual Real.},
volume = {10},
number = {4},
pages = {37--43},
year = {2011},
url = {https://doi.org/10.20870/IJVR.2011.10.4.2827},
doi = {10.20870/IJVR.2011.10.4.2827},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijvr/WangXZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShenQXWZL11,
author = {ShengYu Shen and
Ying Qin and
Liquan Xiao and
Kefei Wang and
Jianmin Zhang and
Sikun Li},
title = {A Halting Algorithm to Determine the Existence of the Decoder},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {30},
number = {10},
pages = {1556--1563},
year = {2011},
url = {https://doi.org/10.1109/TCAD.2011.2159792},
doi = {10.1109/TCAD.2011.2159792},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ShenQXWZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/NingXZL11,
author = {Jiangfan Ning and
Huaxun Xu and
Liang Zeng and
Sikun Li},
title = {Particle-Based Fracture Simulation on the {GPU}},
journal = {Trans. Edutainment},
volume = {6},
pages = {193--205},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22639-7\_19},
doi = {10.1007/978-3-642-22639-7\_19},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tedu/NingXZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/XuCML11,
author = {Huaxun Xu and
Zhi{-}Quan Cheng and
Ralph R. Martin and
Sikun Li},
title = {3D flow features visualization via fuzzy clustering},
journal = {Vis. Comput.},
volume = {27},
number = {6-8},
pages = {441--449},
year = {2011},
url = {https://doi.org/10.1007/s00371-011-0577-8},
doi = {10.1007/S00371-011-0577-8},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/XuCML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/WangLLZC11,
author = {Pan Wang and
Huahai Liu and
Sikun Li and
Liang Zeng and
Xun Cai},
title = {Multi-GPU Compositeless Parallel Rendering Algorithm},
booktitle = {12th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2011, Jinan, China, September 15-17, 2011},
pages = {103--107},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CAD/Graphics.2011.66},
doi = {10.1109/CAD/GRAPHICS.2011.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/WangLLZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/NingXWZLX11,
author = {Jiangfan Ning and
Huaxun Xu and
Bo Wu and
Liang Zeng and
Sikun Li and
Yueshan Xiong},
title = {MCA-Based Animation of Fracturing Heterogeneous Objects},
booktitle = {12th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2011, Jinan, China, September 15-17, 2011},
pages = {357--364},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CAD/Graphics.2011.52},
doi = {10.1109/CAD/GRAPHICS.2011.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/NingXWZLX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/YanYLY11,
author = {Ming Yan and
Ziyu Yang and
Sikun Li and
Liu Yang},
editor = {Paul Chow and
Michael J. Wirthlin},
title = {Reconsideration of Computing Paradigms and a Novel Reconfigurable
Architecture},
booktitle = {{IEEE} 19th Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2011, Salt Lake City, Utah, USA, 1-3 May
2011},
pages = {252},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/FCCM.2011.23},
doi = {10.1109/FCCM.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/YanYLY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/YanYYLL11,
author = {Ming Yan and
Ziyu Yang and
Liu Yang and
Lei Liu and
Sikun Li},
editor = {Beniamino Murgante and
Osvaldo Gervasi and
Andr{\'{e}}s Iglesias and
David Taniar and
Bernady O. Apduhan},
title = {Practical and Effective Domain-Specific Function Unit Design for {CGRA}},
booktitle = {Computational Science and Its Applications - {ICCSA} 2011 - International
Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part
{V}},
series = {Lecture Notes in Computer Science},
volume = {6786},
pages = {577--592},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21934-4\_47},
doi = {10.1007/978-3-642-21934-4\_47},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/YanYYLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/ZhangXZSPLXL11,
author = {Jianmin Zhang and
Weixia Xu and
Jun Zhang and
ShengYu Shen and
Zhengbin Pang and
Tiejun Li and
Jun Xia and
Sikun Li},
editor = {Hujun Yin and
Wenjia Wang and
Victor J. Rayward{-}Smith},
title = {Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search
Algorithm},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2011
- 12th International Conference, Norwich, UK, September 7-9, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6936},
pages = {178--185},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23878-9\_22},
doi = {10.1007/978-3-642-23878-9\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/ZhangXZSPLXL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeecmc/YanYLY11,
author = {Ming Yan and
Ziyu Yang and
Sikun Li and
Liu Yang},
editor = {Dongfeng Yuan and
Maoyong Cao and
Cheng{-}Xiang Wang and
Hua Huang},
title = {A Reconfigurable SoC for Block Ciphers with a Programmable Dataflow
Structure},
booktitle = {Third International Conference on Communications and Mobile Computing,
{CMC} 2011, Qingdao, China, 18-20 April 2011},
pages = {95--98},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CMC.2011.55},
doi = {10.1109/CMC.2011.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieeecmc/YanYLY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrcai/WangTL11,
author = {Wenke Wang and
Tian Tian and
Sikun Li},
editor = {Zhi{-}Qiang Liu and
Joaquim A. Jorge and
Zhigeng Pan and
Xiaopeng Zhang and
Oscar Kin{-}Chung Au and
Weiming Dong},
title = {B-spline surface skinning to non-parallel sectional curves},
booktitle = {Proceedings of the 10th International Conference on Virtual Reality
Continuum and its Applications in Industry, {VRCAI} 2011, Hong Kong,
China, December 11-12, 2011},
pages = {569--572},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2087756.2087866},
doi = {10.1145/2087756.2087866},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vrcai/WangTL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShenQWXZL10,
author = {ShengYu Shen and
Ying Qin and
Kefei Wang and
Liquan Xiao and
Jianmin Zhang and
Sikun Li},
title = {Synthesizing Complementary Circuits Automatically},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {8},
pages = {1191--1202},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2049152},
doi = {10.1109/TCAD.2010.2049152},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ShenQWXZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/MaXZCL10,
author = {Qianli Ma and
Huaxun Xu and
Liang Zeng and
Xun Cai and
Sikun Li},
title = {Direct raycasting of unstructured cell-centered data by discontinuity
Roe-average computation},
journal = {Vis. Comput.},
volume = {26},
number = {6-8},
pages = {1049--1059},
year = {2010},
url = {https://doi.org/10.1007/s00371-010-0447-9},
doi = {10.1007/S00371-010-0447-9},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vc/MaXZCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/accv/WangLZ10,
author = {Aiping Wang and
Sikun Li and
Liang Zeng},
editor = {Ron Kimmel and
Reinhard Klette and
Akihiro Sugimoto},
title = {Multiple Order Graph Matching},
booktitle = {Computer Vision - {ACCV} 2010 - 10th Asian Conference on Computer
Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected
Papers, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {6494},
pages = {471--482},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19318-7\_37},
doi = {10.1007/978-3-642-19318-7\_37},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/accv/WangLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/ZhuLL10,
author = {Dan Zhu and
Tun Li and
Sikun Li},
title = {On Soft Error Immunity of Sequential Circuits},
booktitle = {Proceedings of the 19th {IEEE} Asian Test Symposium, {ATS} 2010, 1-4
December 2010, Shanghai, China},
pages = {106--110},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ATS.2010.27},
doi = {10.1109/ATS.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/ZhuLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/ZhuLL10,
author = {Dan Zhu and
Tun Li and
Sikun Li},
title = {An Approximate Soft Error Reliability Sorting Approach Based on State
Analysis of Sequential Circuits},
booktitle = {25th {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} Systems, {DFT} 2010, Kyoto, Japan, October 6-8, 2010},
pages = {209--217},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DFT.2010.32},
doi = {10.1109/DFT.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/ZhuLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ShenQZL10,
author = {ShengYu Shen and
Ying Qin and
Jianmin Zhang and
Sikun Li},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {A halting algorithm to determine the existence of decoder},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {91--99},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770937/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ShenQZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/WangZL09,
author = {Dawei Wang and
Peng Zhao and
Sikun Li},
title = {System Level Distributed Cooperative Design of Media SoC Using Application
Profiling},
journal = {J. Comput.},
volume = {4},
number = {1},
pages = {77--85},
year = {2009},
url = {http://www.jcomputers.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=108\&\#38;id=1737},
doi = {10.4304/JCP.4.1.77-85},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcp/WangZL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/ZhaoWYL09,
author = {Peng Zhao and
Dawei Wang and
Ming Yan and
Sikun Li},
title = {Parallel Processing of Sequential Media Algorithms on Heterogeneous
Multi-Processor System-on-Chip},
journal = {J. Comput.},
volume = {4},
number = {6},
pages = {477--484},
year = {2009},
url = {http://www.jcomputers.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=103\&\#38;id=1687},
doi = {10.4304/JCP.4.6.477-484},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcp/ZhaoWYL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/ZhangSL09,
author = {Jianmin Zhang and
ShengYu Shen and
Sikun Li},
title = {Tracking Unsatisfiable Subformulas from Reduced Refutation Proof},
journal = {J. Softw.},
volume = {4},
number = {1},
pages = {42--49},
year = {2009},
url = {https://doi.org/10.4304/jsw.4.1.42-49},
doi = {10.4304/JSW.4.1.42-49},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/ZhangSL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/WangLD09,
author = {Dawei Wang and
Sikun Li and
Yong Dou},
title = {Loop Kernel Pipelining Mapping onto Coarse-Grained Reconfigurable
Architecture for Data-Intensive Applications},
journal = {J. Softw.},
volume = {4},
number = {1},
pages = {81--89},
year = {2009},
url = {https://doi.org/10.4304/jsw.4.1.81-89},
doi = {10.4304/JSW.4.1.81-89},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsw/WangLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ShenZQL09,
author = {ShengYu Shen and
Jianmin Zhang and
Ying Qin and
Sikun Li},
editor = {Jaijeet S. Roychowdhury},
title = {Synthesizing complementary circuits automatically},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {381--388},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687472},
doi = {10.1145/1687399.1687472},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ShenZQL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/WangWCL09,
author = {Aiping Wang and
Guowei Wan and
Zhi{-}Quan Cheng and
Sikun Li},
title = {An incremental extremely random forest classifier for online learning
and tracking},
booktitle = {Proceedings of the International Conference on Image Processing, {ICIP}
2009, 7-10 November 2009, Cairo, Egypt},
pages = {1449--1452},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICIP.2009.5414559},
doi = {10.1109/ICIP.2009.5414559},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/WangWCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/YanZYL09,
author = {Ming Yan and
Peng Zhao and
Ziyu Yang and
Sikun Li},
title = {Exploiting Parallelism through High Level Optimization on a Heterogeneous
Multicore SoC},
booktitle = {15th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
pages = {527--534},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPADS.2009.7},
doi = {10.1109/ICPADS.2009.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/YanZYL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/ZhangZPL09,
author = {Wei Zhang and
Hangjun Zhou and
Yuxing Peng and
Sikun Li},
title = {Providing Responsiveness Requirement Based Consistency in {DVE}},
booktitle = {15th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
pages = {594--601},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPADS.2009.52},
doi = {10.1109/ICPADS.2009.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/ZhangZPL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrcai/LiL09,
author = {Sikun Li and
Xiaoxia Lu},
editor = {Stephen N. Spencer and
Masayuki Nakajima and
Enhua Wu and
Kazunori Miyata and
Daniel Thalmann and
Zhiyong Huang},
title = {A self-adaptive HVS-optimized texture compression algorithm},
booktitle = {Proceedings of the 8th International Conference on Virtual Reality
Continuum and its Applications in Industry, {VRCAI} 2009, Yokohama,
Japan, December 14-15, 2009},
pages = {209--214},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1670252.1670296},
doi = {10.1145/1670252.1670296},
timestamp = {Tue, 03 May 2022 20:53:33 +0200},
biburl = {https://dblp.org/rec/conf/vrcai/LiL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/WangLD08,
author = {Dawei Wang and
Sikun Li and
Yong Dou},
editor = {Chong{-}Min Kyung and
Kiyoung Choi and
Soonhoi Ha},
title = {Collaborative hardware/software partition of coarse-grained reconfigurable
system using evolutionary ant colony optimization},
booktitle = {Proceedings of the 13th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2008, Seoul, Korea, January 21-24, 2008},
pages = {679--684},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ASPDAC.2008.4484037},
doi = {10.1109/ASPDAC.2008.4484037},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/WangLD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/ZhaoLWY08,
author = {Peng Zhao and
Sikun Li and
Dawei Wang and
Ming Yan},
title = {Application-driven System-on-Chip system model extraction approach},
booktitle = {Proceedings of the 12th International Conference on {CSCW} in Design,
{CSCWD} 2008, April 16-18, 2008, Nanyang Hotel, Xi'an Jiaotong University,
Xi'an, China},
pages = {123--128},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CSCWD.2008.4536968},
doi = {10.1109/CSCWD.2008.4536968},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscwd/ZhaoLWY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/ZhuLGL08,
author = {Dan Zhu and
Tun Li and
Yang Guo and
Sikun Li},
title = {2D Decomposition Sequential Equivalence Checking of System Level and
{RTL} Descriptions},
booktitle = {9th International Symposium on Quality of Electronic Design {(ISQED}
2008), 17-19 March 2008, San Jose, CA, {USA}},
pages = {637--642},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISQED.2008.4479812},
doi = {10.1109/ISQED.2008.4479812},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/ZhuLGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/GuoQLL07,
author = {Yang Guo and
WanXia Qu and
Tun Li and
Sikun Li},
title = {Coverage Driven Test Generation Framework for {RTL} Functional Verification},
booktitle = {10th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007},
pages = {321--326},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CADCG.2007.4407902},
doi = {10.1109/CADCG.2007.4407902},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/cadgraphics/GuoQLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/YanL07,
author = {Ming Yan and
Sikun Li},
title = {Comparison and Analysis of Novel Architectures for Media Compression},
booktitle = {10th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007},
pages = {509--512},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CADCG.2007.4407942},
doi = {10.1109/CADCG.2007.4407942},
timestamp = {Mon, 18 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cadgraphics/YanL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/WangCYL07,
author = {Dawei Wang and
Yafei Cao and
Ming Yan and
Sikun Li},
title = {Mapping Applications on Coarse-Grained Reconfigurable Systems Using
Architecture Template Modeling},
booktitle = {10th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007},
pages = {557--560},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CADCG.2007.4407954},
doi = {10.1109/CADCG.2007.4407954},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/WangCYL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/LiWLD07,
author = {Sikun Li and
Dawei Wang and
Tun Li and
Yong Dou},
editor = {Weiming Shen and
Yun Yang and
Jianming Yong and
Igor T. Hawryszkiewycz and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s and
Mary Lou Maher and
Qi Hao and
Minh Hong Tran},
title = {Distributed Collaborative Partition Method of Reconfigurable SoC Using
Ant Colony Optimization},
booktitle = {Proceedings of the 11th International Conference on Computer Supported
Cooperative Work in Design, {CSCWD} 2007, April 26-28, 2007, Melbourne,
Australia},
pages = {133--138},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CSCWD.2007.4281423},
doi = {10.1109/CSCWD.2007.4281423},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscwd/LiWLD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/LiLYG07,
author = {Tun Li and
Sikun Li and
Jinshan Yu and
Yang Guo},
editor = {Weiming Shen and
Yun Yang and
Jianming Yong and
Igor T. Hawryszkiewycz and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s and
Mary Lou Maher and
Qi Hao and
Minh Hong Tran},
title = {A Novel Collaborative Verification Environment for SoC Co-Verification},
booktitle = {Proceedings of the 11th International Conference on Computer Supported
Cooperative Work in Design, {CSCWD} 2007, April 26-28, 2007, Melbourne,
Australia},
pages = {145--150},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CSCWD.2007.4281425},
doi = {10.1109/CSCWD.2007.4281425},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscwd/LiLYG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/XiongZWLL07,
author = {Zhihui Xiong and
Maojun Zhang and
Yunli Wang and
Tun Li and
Sikun Li},
editor = {Weiming Shen and
Yun Yang and
Jianming Yong and
Igor T. Hawryszkiewycz and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s and
Mary Lou Maher and
Qi Hao and
Minh Hong Tran},
title = {Fast Panorama Unrolling of Catadioptric Omni-Directional Images for
Cooperative Robot Vision System},
booktitle = {Proceedings of the 11th International Conference on Computer Supported
Cooperative Work in Design, {CSCWD} 2007, April 26-28, 2007, Melbourne,
Australia},
pages = {1100--1104},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CSCWD.2007.4281594},
doi = {10.1109/CSCWD.2007.4281594},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscwd/XiongZWLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/ZhangSL07,
author = {Jianmin Zhang and
ShengYu Shen and
Sikun Li},
editor = {Osvaldo Gervasi and
Marina L. Gavrilova},
title = {A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction},
booktitle = {Computational Science and Its Applications - {ICCSA} 2007, International
Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings.
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {4707},
pages = {649--659},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74484-9\_56},
doi = {10.1007/978-3-540-74484-9\_56},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/ZhangSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/WuL07,
author = {Shengning Wu and
Sikun Li},
editor = {Jingsheng Lei and
JingTao Yao and
Qingfu Zhang},
title = {Extending Traditional Graph-Coloring Register Allocation Exploiting
Meta-heuristics for Embedded Systems},
booktitle = {Third International Conference on Natural Computation, {ICNC} 2007,
Haikou, Hainan, China, 24-27 August 2007, Volume 4},
pages = {324--329},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICNC.2007.366},
doi = {10.1109/ICNC.2007.366},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnc/WuL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/ZhangSL07,
author = {Jianmin Zhang and
ShengYu Shen and
Sikun Li},
editor = {Hujun Yin and
Peter Ti{\~{n}}o and
Emilio Corchado and
William Byrne and
Xin Yao},
title = {Finding Unsatisfiable Subformulas with Stochastic Method},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2007,
8th International Conference, Birmingham, UK, December 16-19, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4881},
pages = {385--394},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77226-2\_40},
doi = {10.1007/978-3-540-77226-2\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/ZhangSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/ZhouWL07,
author = {Jing Zhou and
Yijie Wang and
Sikun Li},
editor = {Ivan Stojmenovic and
Ruppa K. Thulasiram and
Laurence Tianruo Yang and
Weijia Jia and
Minyi Guo and
Rodrigo Fernandes de Mello},
title = {Key-Attributes Based Optimistic Data Consistency Maintenance Method},
booktitle = {Parallel and Distributed Processing and Applications, 5th International
Symposium, {ISPA} 2007, Niagara Falls, Canada, August 29-31, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4742},
pages = {91--103},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74742-0\_11},
doi = {10.1007/978-3-540-74742-0\_11},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/ZhouWL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/LiGLDD07,
author = {Tun Li and
Yang Guo and
Sikun Li and
Wei Dong and
Rangyu Deng},
title = {Experiences Teaching Functional Verification Techniques with Practical
Designs},
booktitle = {{IEEE} International Conference on Microelectronic Systems Education,
{MSE} '07, San Diego, CA, USA, June 3-4, 2007},
pages = {93--94},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MSE.2007.38},
doi = {10.1109/MSE.2007.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/LiGLDD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/ZhouWL06,
author = {Jing Zhou and
Yijie Wang and
Sikun Li},
title = {Data Dependence-based Optimistic Data Consistency Maintenance Method},
booktitle = {Sixth International Conference on Computer and Information Technology
{(CIT} 2006), 20-22 September 2006, Seoul, Korea},
pages = {120},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CIT.2006.68},
doi = {10.1109/CIT.2006.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/ZhouWL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhangLS06,
author = {Jianmin Zhang and
Sikun Li and
ShengYu Shen},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {847--856},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_89},
doi = {10.1007/11941439\_89},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/ausai/ZhangLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comad/ZhouWL06,
author = {Jing Zhou and
Yijie Wang and
Sikun Li},
editor = {Laks V. S. Lakshmanan and
Prasan Roy and
Anthony K. H. Tung},
title = {A Scalable Replica Management Method in Peer-to-Peer Distributed Storage
Systems},
booktitle = {Proceedings of the 13th International Conference on Management of
Data, December 14-16, 2006, Delhi, India},
pages = {158--161},
publisher = {Tata McGraw-Hill Publishing Company Limited},
year = {2006},
url = {http://www.cse.iitb.ac.in/comad/2006/proceedings/158.pdf},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comad/ZhouWL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/WuL06,
author = {Shengning Wu and
Sikun Li},
editor = {Dima Grigoriev and
John Harrison and
Edward A. Hirsch},
title = {Instruction Selection for ARM/Thumb Processors Based on a Multi-objective
Ant Algorithm},
booktitle = {Computer Science - Theory and Applications, First International Symposium
on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
June 8-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3967},
pages = {641--651},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11753728\_64},
doi = {10.1007/11753728\_64},
timestamp = {Tue, 29 Nov 2022 13:36:56 +0100},
biburl = {https://dblp.org/rec/conf/csr/WuL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/PiSZL06,
author = {Xuexian Pi and
Junqiang Song and
Liang Zeng and
Sikun Li},
editor = {Zhigeng Pan and
Ruth Aylett and
Holger Diener and
Xiaogang Jin and
Stefan G{\"{o}}bel and
Li Li},
title = {Procedural Terrain Detail Based on Patch-LOD Algorithm},
booktitle = {Technologies for E-Learning and Digital Entertainment, First International
Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3942},
pages = {913--920},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11736639\_111},
doi = {10.1007/11736639\_111},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/PiSZL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/WangCLC06,
author = {Liansheng Wang and
Xucan Chen and
Sikun Li and
Xun Cai},
editor = {Irwin King and
Jun Wang and
Laiwan Chan and
DeLiang L. Wang},
title = {General Adaptive Transfer Functions Design for Volume Rendering by
Using Neural Networks},
booktitle = {Neural Information Processing, 13th International Conference, {ICONIP}
2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4233},
pages = {661--670},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11893257\_74},
doi = {10.1007/11893257\_74},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/iconip/WangCLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvc/ShenL06,
author = {Cheng{-}Dong Shen and
Sikun Li},
editor = {George Bebis and
Richard Boyle and
Bahram Parvin and
Darko Koracin and
Paolo Remagnino and
Ara V. Nefian and
Meenakshisundaram Gopi and
Valerio Pascucci and
Jiri Zara and
Jose Molineros and
Holger Theisel and
Thomas Malzbender},
title = {Fast Prediction Mode Decision Algorithm for {H.264} Based on Hierarchical
Mode Classification Framework},
booktitle = {Advances in Visual Computing, Second International Symposium, {ISVC}
2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4292},
pages = {882--890},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11919629\_88},
doi = {10.1007/11919629\_88},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/isvc/ShenL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/ZhangYL06,
author = {Jianmin Zhang and
Ming Yan and
Sikun Li},
editor = {Magdy S. Abadir and
Li{-}C. Wang and
Jayanta Bhadra},
title = {Debug Support for Scalable System-on-Chip},
booktitle = {Seventh International Workshop on Microprocessor Test and Verification
{(MTV} 2006), Common Challenges and Solutions, 4-5 December 2006,
Austin, Texas, {USA}},
pages = {83--87},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MTV.2006.7},
doi = {10.1109/MTV.2006.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/ZhangYL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcm/ShenL06,
author = {Cheng{-}Dong Shen and
Sikun Li},
editor = {Yueting Zhuang and
Shiqiang Yang and
Yong Rui and
Qinming He},
title = {A Hierarchical Framework for Fast Macroblock Prediction Mode Decision
in {H.264}},
booktitle = {Advances in Multimedia Information Processing - {PCM} 2006, 7th Pacific
Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4261},
pages = {827--834},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11922162\_94},
doi = {10.1007/11922162\_94},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/pcm/ShenL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ShenQL05,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
editor = {Tingao Tang},
title = {A fast counterexample minimization approach with refutation analysis
and incremental {SAT}},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {451--454},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120910},
doi = {10.1145/1120725.1120910},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/ShenQL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/XiongCL05,
author = {Zhihui Xiong and
Jihua Chen and
Sikun Li},
editor = {Tingao Tang},
title = {Hardware/software partitioning for platform-based design method},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {691--696},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120996},
doi = {10.1145/1120725.1120996},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/XiongCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LiZLGL05,
author = {Tun Li and
Dan Zhu and
Lei Liang and
Yang Guo and
Sikun Li},
editor = {Tingao Tang},
title = {Automatic functional test program generation for microprocessor verification},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {1039--1042},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120819},
doi = {10.1145/1120725.1120819},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/LiZLGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LiLS05,
author = {Tiejun Li and
Sikun Li and
Cheng{-}Dong Shen},
editor = {Tingao Tang},
title = {A novel configurable motion estimation architecture for high-efficiency
{MPEG-4/H.264} encoding},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {1264--1267},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1121039},
doi = {10.1145/1120725.1121039},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/LiLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/XiongLC05,
author = {Zhihui Xiong and
Sikun Li and
Jihua Chen},
editor = {Tingao Tang},
title = {Hardware/software co-design using hierarchical platform-based design
method},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {1309--1312},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1121050},
doi = {10.1145/1120725.1121050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/XiongLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiGLL05,
author = {Tun Li and
Yang Guo and
Sikun Li and
GongJie Liu},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Predicate Abstraction of {RTL} Verilog Descriptions Using Constraint
Logic Programming},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {174--186},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_15},
doi = {10.1007/11562948\_15},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiGLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/PiYLS05,
author = {Xuexian Pi and
Xudong Yang and
Sikun Li and
Junqiang Song},
title = {High-performance navigation and rendering of very-large scale landscape
and seascape},
booktitle = {9th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2005, Hong Kong, China, 7-10 December, 2005},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CAD-CG.2005.47},
doi = {10.1109/CAD-CG.2005.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/PiYLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadgraphics/YangPZL05,
author = {Xudong Yang and
Xuexian Pi and
Liang Zeng and
Sikun Li},
title = {GPU-based real-time simulation and rendering of unbounded ocean surface},
booktitle = {9th International Conference on Computer-Aided Design and Computer
Graphics, CAD/Graphics 2005, Hong Kong, China, 7-10 December, 2005},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CAD-CG.2005.45},
doi = {10.1109/CAD-CG.2005.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cadgraphics/YangPZL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caip/ShenLL05,
author = {Cheng{-}Dong Shen and
Tiejun Li and
Sikun Li},
editor = {Andr{\'{e}} Gagalowicz and
Wilfried Philips},
title = {A Predictive Direction Guided Fast Motion Estimation Algorithm},
booktitle = {Computer Analysis of Images and Patterns, 11th International Conference,
{CAIP} 2005, Versailles, France, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3691},
pages = {188--196},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11556121\_24},
doi = {10.1007/11556121\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/caip/ShenLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShenQL05,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Minimizing Counterexample of {ACTL} Property},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {393--397},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_39},
doi = {10.1007/11560548\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/ShenQL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/LiXL05,
author = {Sikun Li and
Zhihui Xiong and
Tiejun Li},
editor = {Weiming Shen and
Kuo{-}Ming Chao and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s and
Anne E. James},
title = {Distributed Cooperative Design of Embedded Systems},
booktitle = {Computer Supported Cooperative Work in Design II, 9th International
Conference, {CSCWD} 2005, Coventry, UK, May 24-26, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3865},
pages = {455--462},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11686699\_46},
doi = {10.1007/11686699\_46},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/cscwd/LiXL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/LiXL05a,
author = {Sikun Li and
Zhihui Xiong and
Tiejun Li},
editor = {Weiming Shen and
Anne E. James and
Kuo{-}Ming Chao and
Muhammad Younas and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s},
title = {Distributed cooperative design method and environment for embedded
system},
booktitle = {Proceedings of the Ninth International Conference on Computer Supported
Cooperative Work in Design, {CSCWD} 2005, Volume 2, May 24-26, 2005,
Coventry, {UK}},
pages = {956--960},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSCWD.2005.194316},
doi = {10.1109/CSCWD.2005.194316},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscwd/LiXL05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShenQL05,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
title = {A Faster Counterexample Minimization Algorithm Based on Refutation
Analysis},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {672--677},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.14},
doi = {10.1109/DATE.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ShenQL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LiGLL05,
author = {Tun Li and
Yang Guo and
GongJie Liu and
Sikun Li},
title = {Functional Vectors Generation for RT-Level Verilog Descriptions Based
on Path Enumeration and Constraint Logic Programming},
booktitle = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
30 August - 3 September 2005, Porto, Portugal},
pages = {17--25},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSD.2005.43},
doi = {10.1109/DSD.2005.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/LiGLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LiZGLL05,
author = {Tun Li and
Dan Zhu and
Yang Guo and
GongJie Liu and
Sikun Li},
title = {{MA2TG:} {A} Functional Test Program Generator for Microprocessor
Verification},
booktitle = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
30 August - 3 September 2005, Porto, Portugal},
pages = {176--183},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSD.2005.54},
doi = {10.1109/DSD.2005.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/LiZGLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/ZhouWL05,
author = {Jing Zhou and
Yijie Wang and
Sikun Li},
editor = {Hai Zhuge and
Geoffrey C. Fox},
title = {An Optimistic Replication Algorithm to Improve Consistency for Massive
Data},
booktitle = {Grid and Cooperative Computing - {GCC} 2005, 4th International Conference,
Beijing, China, November 30 - December 3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3795},
pages = {713--718},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590354\_88},
doi = {10.1007/11590354\_88},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/ZhouWL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/LiL05a,
author = {Tiejun Li and
Sikun Li},
editor = {Laurence Tianruo Yang and
Xingshe Zhou and
Wei Zhao and
Zhaohui Wu and
Yian Zhu and
Man Lin},
title = {A Novel Block-Based Motion Estimation Algorithm and {VLSI} Architecture
Based on Cluster Parallelism},
booktitle = {Embedded Software and Systems, Second International Conference, {ICESS}
2005, Xi'an, China, December 16-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3820},
pages = {564--575},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11599555\_54},
doi = {10.1007/11599555\_54},
timestamp = {Fri, 09 Apr 2021 18:39:46 +0200},
biburl = {https://dblp.org/rec/conf/icess/LiL05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/LiGLZ05,
author = {Tun Li and
Yang Guo and
Sikun Li and
Dan Zhu},
editor = {Alexander F. Gelbukh and
Alvaro de Albornoz and
Hugo Terashima{-}Mar{\'{\i}}n},
title = {Applying Constraint Logic Programming to Predicate Abstraction of
{RTL} Verilog Descriptions},
booktitle = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
Conference on Artificial Intelligence, Monterrey, Mexico, November
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3789},
pages = {175--184},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11579427\_18},
doi = {10.1007/11579427\_18},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/LiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ShenQL05,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
editor = {Radhia Cousot},
title = {Minimizing Counterexample with Unit Core Extraction and Incremental
{SAT}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {298--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_20},
doi = {10.1007/978-3-540-30579-8\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ShenQL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LiGL04,
author = {Tun Li and
Yang Guo and
Sikun Li},
title = {Automatic Circuit Extractor for {HDL} Description Using Program Slicing},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {5},
pages = {718--728},
year = {2004},
url = {https://doi.org/10.1007/BF02945599},
doi = {10.1007/BF02945599},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/LiGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/LiGLAL04,
author = {Tun Li and
Yang Guo and
Sikun Li and
Fujiang Ao and
Gongjie Li},
editor = {Masaharu Imai},
title = {Parallel verilog simulation: architecture and circuit partition},
booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation:
Electronic Design and Solution Fair 2004, Yokohama, Japan, January
27-30, 2004},
pages = {644--646},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2004.158},
doi = {10.1109/ASPDAC.2004.158},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/LiGLAL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ShenQL04,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
editor = {Farn Wang},
title = {Localizing Errors in Counterexample with Iteratively Witness Searching},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {456--469},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_37},
doi = {10.1007/978-3-540-30476-0\_37},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ShenQL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiGL04,
author = {Tun Li and
Yang Guo and
Sikun Li},
editor = {Farn Wang},
title = {{CLP} Based Static Property Checking},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {495--498},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_44},
doi = {10.1007/978-3-540-30476-0\_44},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/XiongLCZ04,
author = {Zhihui Xiong and
Sikun Li and
Jihua Chen and
Maojun Zhang},
editor = {Weiming Shen and
Zongkai Lin and
Jean{-}Paul A. Barth{\`{e}}s and
Tangqiu Li},
title = {Hardware/Software Co-design Environment for Hierarchical Platform-Based
Design},
booktitle = {Computer Supported Cooperative Work in Design I, 8th International
Conference, {CSCWD} 2004, Xiamen, China, May 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3168},
pages = {242--251},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11568421\_24},
doi = {10.1007/11568421\_24},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/cscwd/XiongLCZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/WangL04,
author = {Yijie Wang and
Sikun Li},
editor = {Hai Jin and
Yi Pan and
Nong Xiao and
Jianhua Sun},
title = {Research of Data-Partition-Based Replication Algorithm in Peer-to-Peer
Distributed Storage System},
booktitle = {Grid and Cooperative Computing - {GCC} 2004: Third International Conference,
Wuhan, China, October 21-24, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3251},
pages = {642--649},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30208-7\_86},
doi = {10.1007/978-3-540-30208-7\_86},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/WangL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/TanPLC04,
author = {Yubo Tan and
Yuxing Peng and
Sikun Li and
Fujie Chen},
editor = {Hai Jin and
Yi Pan and
Nong Xiao},
title = {{AFEC:} An Advanced {FEC} Algorithm for Video Transmission Control
over the Grid},
booktitle = {Grid and Cooperative Computing - {GCC} 2004 Workshops: {GCC} 2004
International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan,
China, October 21-24, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3252},
pages = {753--760},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30207-0\_92},
doi = {10.1007/978-3-540-30207-0\_92},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/TanPLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/PengZL04,
author = {Yuxing Peng and
Yongjun Zhang and
Sikun Li},
editor = {Hai Jin and
Yi Pan and
Nong Xiao},
title = {Delayed State Consistency in Distributed Virtual Environments},
booktitle = {Grid and Cooperative Computing - {GCC} 2004 Workshops: {GCC} 2004
International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan,
China, October 21-24, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3252},
pages = {761--767},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30207-0\_93},
doi = {10.1007/978-3-540-30207-0\_93},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/PengZL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/LiGL04,
author = {Tun Li and
Yang Guo and
Sikun Li},
editor = {David Garrett and
John C. Lach and
Charles A. Zukowski},
title = {Assertion-based automated functional vectors generation using constraint
logic programming},
booktitle = {Proceedings of the 14th {ACM} Great Lakes Symposium on {VLSI} 2004,
Boston, MA, USA, April 26-28, 2004},
pages = {288--291},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/988952.989021},
doi = {10.1145/988952.989021},
timestamp = {Fri, 20 Aug 2021 16:30:37 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/LiGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/XiongLCZ04,
author = {Zhihui Xiong and
Sikun Li and
Jihua Chen and
Maojun Zhang},
editor = {Zhaohui Wu and
Chun Chen and
Minyi Guo and
Jiajun Bu},
title = {Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning},
booktitle = {Embedded Software and Systems, First International Conference, {ICESS}
2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3605},
pages = {216--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11535409\_30},
doi = {10.1007/11535409\_30},
timestamp = {Mon, 22 Jul 2019 15:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icess/XiongLCZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mips/TianSL04,
author = {Chuanyan Tian and
Cheng{-}Dong Shen and
Sikun Li},
editor = {Vincent Roca and
Franck Rousseau},
title = {A Fast Motion Estimation Algorithm Based on Context-Adaptive Parallelogram
Search Pattern},
booktitle = {Interactive Multimedia and Next Generation Networks: Second International
Workshop on Multimedia Interactive Protocols and Systems, {MIPS} 2004,
Grenoble, France, November 16-19, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3311},
pages = {175--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30493-7\_16},
doi = {10.1007/978-3-540-30493-7\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mips/TianSL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/LiGL04,
author = {Tun Li and
Yang Guo and
Sikun Li},
title = {Design and Implementation of a Parallel Verilog Simulator: PVSim},
booktitle = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
with the 3rd International Conference on Embedded Systems Design,
5-9 January 2004, Mumbai, India},
pages = {329--334},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICVD.2004.1260944},
doi = {10.1109/ICVD.2004.1260944},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/LiGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/LiGL03,
author = {Tun Li and
Yang Guo and
Sikun Li},
title = {An Automatic Circuit Extractor for {RTL} Verification},
booktitle = {12th Asian Test Symposium {(ATS} 2003), 17-19 November 2003, Xian,
China},
pages = {154--160},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ATS.2003.1250801},
doi = {10.1109/ATS.2003.1250801},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/LiGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijvr/Wang0ZL00,
author = {Yongjun Wang and
Yijie Wang and
Long Zhao and
Sikun Li},
title = {Design and Implementation of a Distributed Virtual Environment Development
Platform},
journal = {Int. J. Virtual Real.},
volume = {4},
number = {4},
pages = {44--54},
year = {2000},
url = {https://doi.org/10.20870/IJVR.2000.4.4.2655},
doi = {10.20870/IJVR.2000.4.4.2655},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijvr/Wang0ZL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:42 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:
