BibTeX records: Jianfeng An

download as .bib file

@article{DBLP:journals/ijon/FengFAWL25,
  author       = {Kaijie Feng and
                  Xiaoya Fan and
                  Jianfeng An and
                  Haoyang Wang and
                  Chuxi Li},
  title        = {{CSDSE:} An efficient design space exploration framework for deep
                  neural network accelerator based on cooperative search},
  journal      = {Neurocomputing},
  volume       = {623},
  pages        = {129366},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.neucom.2025.129366},
  doi          = {10.1016/J.NEUCOM.2025.129366},
  timestamp    = {Fri, 14 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijon/FengFAWL25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/ZhuFAF25,
  author       = {Junda Zhu and
                  Xiaoya Fan and
                  Jianfeng An and
                  Kaijie Feng},
  title        = {{PRDSE:} {A} Prior-Driven Design Space Exploration Method},
  booktitle    = {36th {IEEE} International Conference on Application-specific Systems,
                  Architectures and Processors, {ASAP} 2025, Vancouver, BC, Canada,
                  July 28-30, 2025},
  pages        = {33--40},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/ASAP65064.2025.00015},
  doi          = {10.1109/ASAP65064.2025.00015},
  timestamp    = {Sun, 07 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/ZhuFAF25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcasII/FengFA24,
  author       = {Kaijie Feng and
                  Xiaoya Fan and
                  Jianfeng An},
  title        = {{LCDSE:} Enable Efficient Design Space Exploration for {DCNN} Accelerator
                  Based on Layer Clustering},
  journal      = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
  volume       = {71},
  number       = {10},
  pages        = {4486--4490},
  year         = {2024},
  url          = {https://doi.org/10.1109/TCSII.2024.3393986},
  doi          = {10.1109/TCSII.2024.3393986},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcasII/FengFA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mms/TaoLHA23,
  author       = {Huanjie Tao and
                  Minghao Lu and
                  Zhenwu Hu and
                  Jianfeng An},
  title        = {A gated multi-hierarchical feature fusion network for recognizing
                  steel plate surface defects},
  journal      = {Multim. Syst.},
  volume       = {29},
  number       = {3},
  pages        = {1347--1360},
  year         = {2023},
  url          = {https://doi.org/10.1007/s00530-023-01066-1},
  doi          = {10.1007/S00530-023-01066-1},
  timestamp    = {Sun, 04 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mms/TaoLHA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/TaoBDHAX23,
  author       = {Huanjie Tao and
                  Wenjie Bao and
                  Qianyue Duan and
                  Zhenwu Hu and
                  Jianfeng An and
                  Chao Xie},
  title        = {An improved interaction-and-aggregation network for person re-identification},
  journal      = {Multim. Tools Appl.},
  volume       = {82},
  number       = {28},
  pages        = {44053--44069},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11042-023-15531-6},
  doi          = {10.1007/S11042-023-15531-6},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mta/TaoBDHAX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsv/TaoDA23,
  author       = {Huanjie Tao and
                  Qianyue Duan and
                  Jianfeng An},
  title        = {An Adaptive Interference Removal Framework for Video Person Re-Identification},
  journal      = {{IEEE} Trans. Circuits Syst. Video Technol.},
  volume       = {33},
  number       = {9},
  pages        = {5148--5159},
  year         = {2023},
  url          = {https://doi.org/10.1109/TCSVT.2023.3250464},
  doi          = {10.1109/TCSVT.2023.3250464},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsv/TaoDA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FengFALDL23,
  author       = {Kaijie Feng and
                  Xiaoya Fan and
                  Jianfeng An and
                  Chuxi Li and
                  Kaiyue Di and
                  Jiangfei Li},
  title        = {{ACDSE:} {A} Design Space Exploration Method for {CNN} Accelerator
                  based on Adaptive Compression Mechanism},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {22},
  number       = {6},
  pages        = {95:1--95:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3545177},
  doi          = {10.1145/3545177},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/FengFALDL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/FengFAWL23,
  author       = {Kaijie Feng and
                  Xiaoya Fan and
                  Jianfeng An and
                  Haoyang Wang and
                  Chuxi Li},
  editor       = {Zahir Tari and
                  Keqiu Li and
                  Hongyi Wu},
  title        = {{CSDSE:} Apply Cooperative Search to Solve the Exploration-Exploitation
                  Dilemma of Design Space Exploration},
  booktitle    = {Algorithms and Architectures for Parallel Processing - 23rd International
                  Conference, {ICA3PP} 2023, Tianjin, China, October 20-22, 2023, Proceedings,
                  Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14490},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-97-0859-8\_1},
  doi          = {10.1007/978-981-97-0859-8\_1},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ica3pp/FengFAWL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/WangLWAF22,
  author       = {Jihe Wang and
                  Jun Liu and
                  Danghui Wang and
                  Jianfeng An and
                  Xiaoya Fan},
  title        = {An Automatic-Addressing Architecture With Fully Serialized Access
                  in Racetrack Memory for Energy-Efficient CNNs},
  journal      = {{IEEE} Trans. Computers},
  volume       = {71},
  number       = {1},
  pages        = {235--250},
  year         = {2022},
  url          = {https://doi.org/10.1109/TC.2020.3045433},
  doi          = {10.1109/TC.2020.3045433},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/WangLWAF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgx/FengFAWDLLL21,
  author       = {Kaijie Feng and
                  Xiaoya Fan and
                  Jianfeng An and
                  Xiping Wang and
                  Kaiyue Di and
                  Jiangfei Li and
                  Minghao Lu and
                  Chuxi Li},
  title        = {{ERDSE:} efficient reinforcement learning based design space exploration
                  method for {CNN} accelerator on resource limited platform},
  journal      = {Graph. Vis. Comput.},
  volume       = {4},
  pages        = {200024},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.gvc.2021.200024},
  doi          = {10.1016/J.GVC.2021.200024},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cgx/FengFAWDLLL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/WangZAWQ21,
  author       = {Jihe Wang and
                  Jiaxiang Zhao and
                  Jianfeng An and
                  Danghui Wang and
                  Meikang Qiu},
  title        = {A Linear {NAS} Service of ConvNets for Fast Deployment in the Edge
                  of 5G Networks},
  journal      = {{IEEE} Netw.},
  volume       = {35},
  number       = {2},
  pages        = {46--52},
  year         = {2021},
  url          = {https://doi.org/10.1109/MNET.011.1900336},
  doi          = {10.1109/MNET.011.1900336},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/network/WangZAWQ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/AnYSC21,
  author       = {Jianfeng An and
                  Hongjun You and
                  Jinhua Sun and
                  Jiawei Cao},
  title        = {Fault Tolerant {XY-YX} Routing Algorithm Supporting Backtracking Strategy
                  for NoC},
  booktitle    = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
                  with Applications, Big Data {\&} Cloud Computing, Sustainable
                  Computing {\&} Communications, Social Computing {\&} Networking
                  (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
                  30 - Oct. 3, 2021},
  pages        = {632--635},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00092},
  doi          = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00092},
  timestamp    = {Thu, 06 Jan 2022 09:48:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ispa/AnYSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/AnYXYS20,
  author       = {Jianfeng An and
                  Hongjun You and
                  Fengqing Xie and
                  Yuanlin Yang and
                  Jinhua Sun},
  title        = {{FIG-QEMU:} {A} Fault Inject Platform Supporting Full System Simulation},
  booktitle    = {7th International Conference on Dependable Systems and Their Applications,
                  {DSA} 2020, Xi'an, China, November 28-29, 2020},
  pages        = {275--278},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DSA51864.2020.00049},
  doi          = {10.1109/DSA51864.2020.00049},
  timestamp    = {Sat, 21 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/AnYXYS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/WangZHAC19,
  author       = {Shiyu Wang and
                  Shengbing Zhang and
                  Xiaoping Huang and
                  Jianfeng An and
                  Libo Chang},
  title        = {A Highly Efficient Heterogeneous Processor for {SAR} Imaging},
  journal      = {Sensors},
  volume       = {19},
  number       = {15},
  pages        = {3409},
  year         = {2019},
  url          = {https://doi.org/10.3390/s19153409},
  doi          = {10.3390/S19153409},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/WangZHAC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/WangMZALC18,
  author       = {Danghui Wang and
                  Lang Ma and
                  Meng Zhang and
                  Jianfeng An and
                  Hai Helen Li and
                  Yiran Chen},
  title        = {Shift-Optimized Energy-Efficient Racetrack-Based Main Memory},
  journal      = {J. Circuits Syst. Comput.},
  volume       = {27},
  number       = {5},
  pages        = {1850081:1--1850081:16},
  year         = {2018},
  url          = {https://doi.org/10.1142/S0218126618500810},
  doi          = {10.1142/S0218126618500810},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcsc/WangMZALC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/AnW16,
  author       = {Jianfeng An and
                  Yi Wang},
  title        = {Speed up an x86 {SAME} simulator using synthesizable SystemC timing
                  models},
  booktitle    = {{IEEE} 59th International Midwest Symposium on Circuits and Systems,
                  {MWSCAS} 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/MWSCAS.2016.7870148},
  doi          = {10.1109/MWSCAS.2016.7870148},
  timestamp    = {Fri, 29 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mwscas/AnW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/ChenA16,
  author       = {Chao Chen and
                  Jianfeng An},
  title        = {{DRAM} write-only-cache for improving lifetime of phase change memory},
  booktitle    = {{IEEE} 59th International Midwest Symposium on Circuits and Systems,
                  {MWSCAS} 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/MWSCAS.2016.7870093},
  doi          = {10.1109/MWSCAS.2016.7870093},
  timestamp    = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mwscas/ChenA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/WangAH16,
  author       = {Yi Wang and
                  Jianfeng An and
                  Yajun Ha},
  title        = {Unified data authenticated encryption for vehicular communication},
  booktitle    = {{IEEE} 59th International Midwest Symposium on Circuits and Systems,
                  {MWSCAS} 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/MWSCAS.2016.7870158},
  doi          = {10.1109/MWSCAS.2016.7870158},
  timestamp    = {Fri, 29 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mwscas/WangAH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/HuangA13,
  author       = {Xiaoping Huang and
                  Jianfeng An},
  title        = {A Novel Architecture to Identify the Microprocessor Chips by Implanting
                  Timing-Fault Execution Unit},
  booktitle    = {16th {IEEE} International Conference on Computational Science and
                  Engineering, {CSE} 2013, December 3-5, 2013, Sydney, Australia},
  pages        = {766--769},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CSE.2013.117},
  doi          = {10.1109/CSE.2013.117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cse/HuangA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/RenGFAY12,
  author       = {Xianglong Ren and
                  Deyuan Gao and
                  Xiaoya Fan and
                  Jianfeng An and
                  Tao Yao},
  title        = {Modeling and Performance Analysis of Network on Chip Based on Improved
                  Asymmetric Multi-channel Router},
  booktitle    = {12th {IEEE} International Conference on Computer and Information Technology,
                  {CIT} 2012, Chengdu, Sichuan, China, October 27-29, 2012},
  pages        = {700--705},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CIT.2012.146},
  doi          = {10.1109/CIT.2012.146},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/RenGFAY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/HanGFSA11,
  author       = {Limin Han and
                  Deyuan Gao and
                  Xiaoya Fan and
                  Liwen Shi and
                  Jianfeng An},
  editor       = {Yuping Wang and
                  Yiu{-}ming Cheung and
                  Ping Guo and
                  Yingbin Wei},
  title        = {Global Prefetcher Aggressiveness Control for Chip-Multiprocessor},
  booktitle    = {Seventh International Conference on Computational Intelligence and
                  Security, {CIS} 2011, Sanya, Hainan, China, December 3-4, 2011},
  pages        = {273--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CIS.2011.68},
  doi          = {10.1109/CIS.2011.68},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cis/HanGFSA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/AnFZWW06,
  author       = {Jianfeng An and
                  Xiaoya Fan and
                  Shengbing Zhang and
                  Danghui Wang and
                  Yi Wang},
  title        = {{VMSIM:} Virtual Machine Based a Full System Simulation Platform for
                  Microprocessors' Functional Verification},
  booktitle    = {Third International Conference on Information Technology: New Generations
                  {(ITNG} 2006), 10-12 April 2006, Las Vegas, Nevada, {USA}},
  pages        = {245--249},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ITNG.2006.139},
  doi          = {10.1109/ITNG.2006.139},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/AnFZWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/WangFGZA05,
  author       = {Danghui Wang and
                  Xiaoya Fan and
                  Deyuan Gao and
                  Shengbing Zhang and
                  Jianfeng An},
  editor       = {Laurence Tianruo Yang and
                  Xingshe Zhou and
                  Wei Zhao and
                  Zhaohui Wu and
                  Yian Zhu and
                  Man Lin},
  title        = {Microprocessor Based Self Schedule and Parallel {BIST} for System-On-a-Chip},
  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        = {299--309},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11599555\_30},
  doi          = {10.1007/11599555\_30},
  timestamp    = {Fri, 09 Apr 2021 18:39:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icess/WangFGZA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/AnFZW04,
  author       = {Jianfeng An and
                  Xiaoya Fan and
                  Shengbing Zhang and
                  Danghui Wang},
  editor       = {Zhaohui Wu and
                  Chun Chen and
                  Minyi Guo and
                  Jiajun Bu},
  title        = {An Efficient Verification Method for Microprocessors Based on the
                  Virtual Machine},
  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        = {514--521},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11535409\_75},
  doi          = {10.1007/11535409\_75},
  timestamp    = {Mon, 22 Jul 2019 15:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icess/AnFZW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}