Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lintao Zhang
@article{DBLP:journals/corr/abs-2402-06875,
author = {Mengqi Wu and
Lintao Zhang and
Pew{-}Thian Yap and
Hongtu Zhu and
Mingxia Liu},
title = {Disentangled Latent Energy-Based Style Translation: An Image-Level
Structural {MRI} Harmonization Framework},
journal = {CoRR},
volume = {abs/2402.06875},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06875},
doi = {10.48550/ARXIV.2402.06875},
eprinttype = {arXiv},
eprint = {2402.06875},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-08162,
author = {Lintao Zhang and
Mengqi Wu and
Lihong Wang and
David C. Steffens and
Guy G. Potter and
Mingxia Liu},
title = {Iterative Learning for Joint Image Denoising and Motion Artifact Correction
of 3D Brain {MRI}},
journal = {CoRR},
volume = {abs/2403.08162},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.08162},
doi = {10.48550/ARXIV.2403.08162},
eprinttype = {arXiv},
eprint = {2403.08162},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-08162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangZZZ23,
author = {Juhua Wang and
Jianhua Zhang and
Quan Zhou and
Lintao Zhang},
title = {Full-Length Row-Multiplier {QC-LDPC} Codes With Girth Eight and Short
Circulant Sizes},
journal = {{IEEE} Access},
volume = {11},
pages = {22250--22265},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3249464},
doi = {10.1109/ACCESS.2023.3249464},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangZZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/WangZWT23,
author = {Yuanyu Wang and
Lintao Zhang and
Chi Wei and
Yuliang Tang},
title = {Joint optimization of resource allocation and computation offloading
based on game coalition in {C-V2X}},
journal = {Ad Hoc Networks},
volume = {150},
pages = {103266},
year = {2023},
url = {https://doi.org/10.1016/j.adhoc.2023.103266},
doi = {10.1016/J.ADHOC.2023.103266},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/WangZWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ZhangYYZ23,
author = {Ziyi Zhang and
Rong Yan and
Wei Yuan and
Lintao Zhang},
title = {Influential Spreaders Identification by Fusing Network Topology},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {33},
number = {11{\&}12},
pages = {1701--1724},
year = {2023},
url = {https://doi.org/10.1142/S0218194023410097},
doi = {10.1142/S0218194023410097},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/ZhangYYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LiHLZLYZLXFZW23,
author = {Meng Li and
Shunbo Hu and
Guoqiang Li and
Fuchun Zhang and
Jitao Li and
Yue Yang and
Lintao Zhang and
Mingtao Liu and
Yan Xu and
Deqian Fu and
Wenyin Zhang and
Xing Wang},
title = {The Successive Next Network as Augmented Regularization for Deformable
Brain {MR} Image Registration},
journal = {Sensors},
volume = {23},
number = {6},
pages = {3208},
year = {2023},
url = {https://doi.org/10.3390/s23063208},
doi = {10.3390/S23063208},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/LiHLZLYZLXFZW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/winet/SunZTZ23,
author = {Yanglong Sun and
Lintao Zhang and
Yuliang Tang and
Jianxin Zhang},
title = {{PASS:} power allocation and {SIC} order selection of cache-aided
{NOMA} in vehicular networks},
journal = {Wirel. Networks},
volume = {29},
number = {1},
pages = {173--187},
year = {2023},
url = {https://doi.org/10.1007/s11276-022-03105-7},
doi = {10.1007/S11276-022-03105-7},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/winet/SunZTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ZhaoHYZ0YZL0QZZ23,
author = {Hanyu Zhao and
Zhenhua Han and
Zhi Yang and
Quanlu Zhang and
Mingxia Li and
Fan Yang and
Qianxi Zhang and
Binyang Li and
Yuqing Yang and
Lili Qiu and
Lintao Zhang and
Lidong Zhou},
editor = {Giuseppe Antonio Di Luna and
Leonardo Querzoni and
Alexandra Fedorova and
Dushyanth Narayanan},
title = {SiloD: {A} Co-design of Caching and Scheduling for Deep Learning Clusters},
booktitle = {Proceedings of the Eighteenth European Conference on Computer Systems,
EuroSys 2023, Rome, Italy, May 8-12, 2023},
pages = {883--898},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3552326.3567499},
doi = {10.1145/3552326.3567499},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/ZhaoHYZ0YZL0QZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/ZhangWWWSQPL23,
author = {Lintao Zhang and
Jinjian Wu and
Lihong Wang and
Li Wang and
David C. Steffens and
Shijun Qiu and
Guy G. Potter and
Mingxia Liu},
editor = {Hayit Greenspan and
Anant Madabhushi and
Parvin Mousavi and
Septimiu Salcudean and
James Duncan and
Tanveer F. Syeda{-}Mahmood and
Russell H. Taylor},
title = {Brain Anatomy-Guided {MRI} Analysis for Assessing Clinical Progression
of Cognitive Impairment with Structural {MRI}},
booktitle = {Medical Image Computing and Computer Assisted Intervention - {MICCAI}
2023 - 26th International Conference, Vancouver, BC, Canada, October
8-12, 2023, Proceedings, Part {VIII}},
series = {Lecture Notes in Computer Science},
volume = {14227},
pages = {109--119},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43993-3\_11},
doi = {10.1007/978-3-031-43993-3\_11},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/ZhangWWWSQPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlmi-ws/WuZYLZL23,
author = {Mengqi Wu and
Lintao Zhang and
Pew{-}Thian Yap and
Weili Lin and
Hongtu Zhu and
Mingxia Liu},
editor = {Xiaohuan Cao and
Xuanang Xu and
Islem Rekik and
Zhiming Cui and
Xi Ouyang},
title = {Structural {MRI} Harmonization via Disentangled Latent Energy-Based
Style Translation},
booktitle = {Machine Learning in Medical Imaging - 14th International Workshop,
{MLMI} 2023, Held in Conjunction with {MICCAI} 2023, Vancouver, BC,
Canada, October 8, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14348},
pages = {1--11},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45673-2\_1},
doi = {10.1007/978-3-031-45673-2\_1},
timestamp = {Wed, 18 Oct 2023 20:03:53 +0200},
biburl = {https://dblp.org/rec/conf/mlmi-ws/WuZYLZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08984,
author = {Zhiqi Lin and
Youshan Miao and
Guodong Liu and
Xiaoxiang Shi and
Quanlu Zhang and
Fan Yang and
Saeed Maleki and
Yi Zhu and
Xu Cao and
Cheng Li and
Mao Yang and
Lintao Zhang and
Lidong Zhou},
title = {SuperScaler: Supporting Flexible {DNN} Parallelization via a Unified
Abstraction},
journal = {CoRR},
volume = {abs/2301.08984},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08984},
doi = {10.48550/ARXIV.2301.08984},
eprinttype = {arXiv},
eprint = {2301.08984},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05076,
author = {Hong Wang and
Yuanzhi Zhou and
Chi Zhang and
Chen Peng and
Mingxia Huang and
Yi Liu and
Lintao Zhang},
title = {{XFL:} {A} High Performace, Lightweighted Federated Learning Framework},
journal = {CoRR},
volume = {abs/2302.05076},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05076},
doi = {10.48550/ARXIV.2302.05076},
eprinttype = {arXiv},
eprint = {2302.05076},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-11837,
author = {Lintao Zhang and
Jinjian Wu and
Lihong Wang and
Li Wang and
David C. Steffens and
Shijun Qiu and
Guy G. Potter and
Mingxia Liu},
title = {Brain Anatomy Prior Modeling to Forecast Clinical Progression of Cognitive
Impairment with Structural {MRI}},
journal = {CoRR},
volume = {abs/2306.11837},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.11837},
doi = {10.48550/ARXIV.2306.11837},
eprinttype = {arXiv},
eprint = {2306.11837},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-11837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/ZhangW22,
author = {Lintao Zhang and
Juhua Wang},
title = {Construction of {QC-LDPC} Codes from Sidon Sequence Using Permutation
and Segmentation},
journal = {{IEEE} Commun. Lett.},
volume = {26},
number = {8},
pages = {1710--1714},
year = {2022},
url = {https://doi.org/10.1109/LCOMM.2022.3177511},
doi = {10.1109/LCOMM.2022.3177511},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/ZhangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HeoWCHZ22,
author = {Taekyung Heo and
Yang Wang and
Wei Cui and
Jaehyuk Huh and
Lintao Zhang},
title = {Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems},
journal = {{IEEE} Trans. Computers},
volume = {71},
number = {1},
pages = {53--68},
year = {2022},
url = {https://doi.org/10.1109/TC.2020.3036686},
doi = {10.1109/TC.2020.3036686},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/HeoWCHZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/ZhangYWSWPL22,
author = {Lintao Zhang and
Minhui Yu and
Lihong Wang and
David C. Steffens and
Rong Wu and
Guy G. Potter and
Mingxia Liu},
editor = {Chunfeng Lian and
Xiaohuan Cao and
Islem Rekik and
Xuanang Xu and
Zhiming Cui},
title = {Understanding Clinical Progression of Late-Life Depression to Alzheimer's
Disease Over 5 Years with Structural {MRI}},
booktitle = {Machine Learning in Medical Imaging - 13th International Workshop,
{MLMI} 2022, Held in Conjunction with {MICCAI} 2022, Singapore, September
18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13583},
pages = {259--268},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21014-3\_27},
doi = {10.1007/978-3-031-21014-3\_27},
timestamp = {Fri, 13 Jan 2023 15:50:23 +0100},
biburl = {https://dblp.org/rec/conf/miccai/ZhangYWSWPL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ricai/YangWLZZW22,
author = {Mengzhu Yang and
Yongfang Wang and
Guoqiang Li and
Lintao Zhang and
Dong Zhu and
Chengchao Wang},
title = {SU-Net: {A} retinal segmentation model based on improved U-Net network},
booktitle = {Proceedings of the 4th International Conference on Robotics, Intelligent
Control and Artificial Intelligence, {RICAI} 2022, Dongguan, China,
December 16-18, 2022},
pages = {946--950},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3584376.3584545},
doi = {10.1145/3584376.3584545},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ricai/YangWLZZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ricai/ZhuZZLHWW22,
author = {Mengjie Zhu and
Xiancong Zhang and
Lintao Zhang and
Guoqiang Li and
Shunbo Hu and
Yongfang Wang and
Lei Wang},
title = {TST-network: {A} two-stage mutually reinforcing deep learning network
for brain {MR} registration},
booktitle = {Proceedings of the 4th International Conference on Robotics, Intelligent
Control and Artificial Intelligence, {RICAI} 2022, Dongguan, China,
December 16-18, 2022},
pages = {951--956},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3584376.3584546},
doi = {10.1145/3584376.3584546},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ricai/ZhuZZLHWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/ZhangZWTY22,
author = {Lintao Zhang and
Caijin Zhao and
Yuanyu Wang and
Yuliang Tang and
Bo Yang},
title = {Dependency-aware Task Scheduling and Cache Placement in Vehicular
Networks},
booktitle = {95th {IEEE} Vehicular Technology Conference, {VTC} Spring 2022, Helsinki,
Finland, June 19-22, 2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/VTC2022-Spring54318.2022.9860959},
doi = {10.1109/VTC2022-SPRING54318.2022.9860959},
timestamp = {Wed, 25 Jan 2023 10:28:23 +0100},
biburl = {https://dblp.org/rec/conf/vtc/ZhangZWTY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12810,
author = {Lintao Zhang and
Lihong Wang and
Minhui Yu and
Rong Wu and
David C. Steffens and
Guy G. Potter and
Mingxia Liu},
title = {Hybrid Representation Learning for Cognitive Diagnosis in Late-Life
Depression Over 5 Years with Structural {MRI}},
journal = {CoRR},
volume = {abs/2212.12810},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.12810},
doi = {10.48550/ARXIV.2212.12810},
eprinttype = {arXiv},
eprint = {2212.12810},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-12810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/FuHZHQ21,
author = {Deqian Fu and
Shunbo Hu and
Lintao Zhang and
Shuqing He and
Jianlong Qiu},
title = {An intelligent cloud computing of trunk logistics alliance based on
blockchain and big data},
journal = {J. Supercomput.},
volume = {77},
number = {12},
pages = {13863--13878},
year = {2021},
url = {https://doi.org/10.1007/s11227-021-03800-w},
doi = {10.1007/S11227-021-03800-W},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/FuHZHQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GaoCZY21,
author = {Xiaotian Gao and
Wei Cui and
Lintao Zhang and
Mao Yang},
title = {OpEvo: An Evolutionary Method for Tensor Operator Optimization},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {12320--12327},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i14.17462},
doi = {10.1609/AAAI.V35I14.17462},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GaoCZY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccchina/ZhangZSTZ21,
author = {Lintao Zhang and
Caijin Zhao and
Yanglong Sun and
Yuliang Tang and
Hao Zeng},
title = {Resource Allocation of Cache-aided {NOMA} in 5G Vehicular Networks
with Imperfect Channel Estimation},
booktitle = {10th {IEEE/CIC} International Conference on Communications in China,
{ICCC} 2021, Xiamen, China, July 28-30, 2021},
pages = {1125--1130},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCC52777.2021.9580219},
doi = {10.1109/ICCC52777.2021.9580219},
timestamp = {Mon, 15 Nov 2021 09:00:54 +0100},
biburl = {https://dblp.org/rec/conf/iccchina/ZhangZSTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccchina/YuTZZ21,
author = {Zhuyue Yu and
Yuliang Tang and
Lintao Zhang and
Hao Zeng},
title = {Deep Reinforcement Learning Based Computing Offloading Decision and
Task Scheduling in Internet of Vehicles},
booktitle = {10th {IEEE/CIC} International Conference on Communications in China,
{ICCC} 2021, Xiamen, China, July 28-30, 2021},
pages = {1166--1171},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCC52777.2021.9580352},
doi = {10.1109/ICCC52777.2021.9580352},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccchina/YuTZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccse2/ZengZTSR21,
author = {Hao Zeng and
Lintao Zhang and
Yuliang Tang and
Yanglong Sun and
Yuqi Ruan},
title = {Intelligent Resource Allocation Based on Reinforcement Learning for
{NOMA} Vehicular Cooperative Communication Networks},
booktitle = {16th International Conference on Computer Science {\&} Education,
{ICCSE} 2021, Lancaster, United Kingdom, August 17-21, 2021},
pages = {622--627},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCSE51940.2021.9569512},
doi = {10.1109/ICCSE51940.2021.9569512},
timestamp = {Wed, 03 Nov 2021 16:14:37 +0100},
biburl = {https://dblp.org/rec/conf/iccse2/ZengZTSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/LiZBZ21,
author = {Bojie Li and
Gefei Zuo and
Wei Bai and
Lintao Zhang},
editor = {Fernando A. Kuipers and
Matthew C. Caesar},
title = {1Pipe: scalable total order communication in data center networks},
booktitle = {{ACM} {SIGCOMM} 2021 Conference, Virtual Event, USA, August 23-27,
2021},
pages = {78--92},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452296.3472909},
doi = {10.1145/3452296.3472909},
timestamp = {Wed, 11 Aug 2021 15:37:52 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/LiZBZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/ZhangCSTZ21,
author = {Jianxin Zhang and
Xuanzhi Chen and
Yanglong Sun and
Yuliang Tang and
Lintao Zhang},
title = {Reservation based Resource Allocation Scheme for Internet of Vehicles},
booktitle = {93rd {IEEE} Vehicular Technology Conference, {VTC} Spring 2021, Helsinki,
Finland, April 25-28, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VTC2021-Spring51267.2021.9449084},
doi = {10.1109/VTC2021-SPRING51267.2021.9449084},
timestamp = {Fri, 18 Jun 2021 10:49:22 +0200},
biburl = {https://dblp.org/rec/conf/vtc/ZhangCSTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/ZhangSTZR21,
author = {Lintao Zhang and
Yanglong Sun and
Yuliang Tang and
Hao Zeng and
Yuqi Ruan},
title = {Joint Offloading Decision and Resource Allocation in MEC-enabled Vehicular
Networks},
booktitle = {93rd {IEEE} Vehicular Technology Conference, {VTC} Spring 2021, Helsinki,
Finland, April 25-28, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VTC2021-Spring51267.2021.9448637},
doi = {10.1109/VTC2021-SPRING51267.2021.9448637},
timestamp = {Fri, 18 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/ZhangSTZR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LuoZCCCXWLYZ21,
author = {Ziyan Luo and
Linfeng Zhao and
Wei Cheng and
Sihao Chen and
Qi Chen and
Hui Xue and
Haidong Wang and
Chuanjie Liu and
Mao Yang and
Lintao Zhang},
editor = {Jure Leskovec and
Marko Grobelnik and
Marc Najork and
Jie Tang and
Leila Zia},
title = {Match Plan Generation in Web Search with Parameterized Action Reinforcement
Learning},
booktitle = {{WWW} '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia,
April 19-23, 2021},
pages = {1040--1052},
publisher = {{ACM} / {IW3C2}},
year = {2021},
url = {https://doi.org/10.1145/3442381.3449862},
doi = {10.1145/3442381.3449862},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/LuoZCCCXWLYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05883,
author = {Kai{-}Fung Chu and
Lintao Zhang},
title = {Privacy-Preserving Self-Taught Federated Learning for Heterogeneous
Data},
journal = {CoRR},
volume = {abs/2102.05883},
year = {2021},
url = {https://arxiv.org/abs/2102.05883},
eprinttype = {arXiv},
eprint = {2102.05883},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HuZLLFZ20,
author = {Shunbo Hu and
Lintao Zhang and
Guoqiang Li and
Mingtao Liu and
Deqian Fu and
Wenyin Zhang},
title = {Brain Deformable Registration Using Global and Local Label-Driven
Deep Regression Learning in the First Year of Life},
journal = {{IEEE} Access},
volume = {8},
pages = {25691--25705},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2019.2957233},
doi = {10.1109/ACCESS.2019.2957233},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HuZLLFZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/ShaSCZW20,
author = {Lei Sha and
Chen Shi and
Qi Chen and
Lintao Zhang and
Houfeng Wang},
title = {Estimating Minimum Operation Steps via Memory-based Recurrent Calculation
Network},
booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
Glasgow, United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IJCNN48605.2020.9206687},
doi = {10.1109/IJCNN48605.2020.9206687},
timestamp = {Tue, 06 Oct 2020 15:44:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/ShaSCZW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/HuZXS20,
author = {Shunbo Hu and
Lintao Zhang and
Yan Xu and
Dinggang Shen},
editor = {Mingxia Liu and
Pingkun Yan and
Chunfeng Lian and
Xiaohuan Cao},
title = {Label-Driven Brain Deformable Registration Using Structural Similarity
and Nonoverlap Constraints},
booktitle = {Machine Learning in Medical Imaging - 11th International Workshop,
{MLMI} 2020, Held in Conjunction with {MICCAI} 2020, Lima, Peru, October
4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12436},
pages = {210--219},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59861-7\_22},
doi = {10.1007/978-3-030-59861-7\_22},
timestamp = {Tue, 18 Jan 2022 13:58:27 +0100},
biburl = {https://dblp.org/rec/conf/miccai/HuZXS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MaXYXMCHYZZ20,
author = {Lingxiao Ma and
Zhiqiang Xie and
Zhi Yang and
Jilong Xue and
Youshan Miao and
Wei Cui and
Wenxiang Hu and
Fan Yang and
Lintao Zhang and
Lidong Zhou},
title = {Rammer: Enabling Holistic Deep Learning Compiler Optimizations with
rTasks},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {881--897},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/ma},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/MaXYXMCHYZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05664,
author = {Xiaotian Gao and
Cui Wei and
Lintao Zhang and
Mao Yang},
title = {OpEvo: An Evolutionary Method for Tensor Operator Optimization},
journal = {CoRR},
volume = {abs/2006.05664},
year = {2020},
url = {https://arxiv.org/abs/2006.05664},
eprinttype = {arXiv},
eprint = {2006.05664},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/CaoNZWXDWZC18,
author = {Shijie Cao and
Lanshun Nie and
De{-}chen Zhan and
Wenqiang Wang and
Ningyi Xu and
Ramashis Das and
Ming Wu and
Lintao Zhang and
Derek Chiou},
title = {FlexSaaS: {A} Reconfigurable Accelerator for Web Search Selection},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {12},
number = {1},
pages = {5:1--5:20},
year = {2019},
url = {https://doi.org/10.1145/3301409},
doi = {10.1145/3301409},
timestamp = {Sat, 15 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trets/CaoNZWXDWZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/LiZHFL19,
author = {Guoqiang Li and
Lintao Zhang and
Shunbo Hu and
Deqian Fu and
Mingtao Liu},
title = {Adversarial Network with Dual U-net Model and Multiresolution Loss
Computation for Medical Images Registration},
booktitle = {12th International Congress on Image and Signal Processing, BioMedical
Engineering and Informatics, {CISP-BMEI} 2019, Suzhou, China, October
19-21, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CISP-BMEI48845.2019.8965866},
doi = {10.1109/CISP-BMEI48845.2019.8965866},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmei/LiZHFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/ZhangLFZLH19,
author = {Lintao Zhang and
Guoqiang Li and
Deqian Fu and
Wenyin Zhang and
Mingtao Liu and
Shunbo Hu},
title = {Non-Rigid Joint Registration for Multi-Contrast {MR} of Infant Brain
Based on the Unsupervised Deep Regression Network},
booktitle = {12th International Congress on Image and Signal Processing, BioMedical
Engineering and Informatics, {CISP-BMEI} 2019, Suzhou, China, October
19-21, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CISP-BMEI48845.2019.8965894},
doi = {10.1109/CISP-BMEI48845.2019.8965894},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmei/ZhangLFZLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/CaoMXZLZNY19,
author = {Shijie Cao and
Lingxiao Ma and
Wencong Xiao and
Chen Zhang and
Yunxin Liu and
Lintao Zhang and
Lanshun Nie and
Zhi Yang},
title = {SeerNet: Predicting Convolutional Neural Network Feature-Map Sparsity
Through Low-Bit Quantization},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
2019, Long Beach, CA, USA, June 16-20, 2019},
pages = {11216--11225},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2019},
url = {http://openaccess.thecvf.com/content\_CVPR\_2019/html/Cao\_SeerNet\_Predicting\_Convolutional\_Neural\_Network\_Feature-Map\_Sparsity\_Through\_Low-Bit\_Quantization\_CVPR\_2019\_paper.html},
doi = {10.1109/CVPR.2019.01147},
timestamp = {Mon, 30 Aug 2021 17:01:14 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/CaoMXZLZNY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/XueMCWZZ19,
author = {Jilong Xue and
Youshan Miao and
Cheng Chen and
Ming Wu and
Lintao Zhang and
Lidong Zhou},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Fast Distributed Deep Learning over {RDMA}},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {44:1--44:14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303975},
doi = {10.1145/3302424.3303975},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/XueMCWZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/CaoZYXNZLWZ19,
author = {Shijie Cao and
Chen Zhang and
Zhuliang Yao and
Wencong Xiao and
Lanshun Nie and
De{-}chen Zhan and
Yunxin Liu and
Ming Wu and
Lintao Zhang},
editor = {Kia Bazargan and
Stephen Neuendorffer},
title = {Efficient and Effective Sparse {LSTM} on {FPGA} with Bank-Balanced
Sparsity},
booktitle = {Proceedings of the 2019 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, {FPGA} 2019, Seaside, CA, USA, February 24-26, 2019},
pages = {63--72},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3289602.3293898},
doi = {10.1145/3289602.3293898},
timestamp = {Sat, 15 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/CaoZYXNZLWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/HuZLLFZ19,
author = {Shunbo Hu and
Lintao Zhang and
Guoqiang Li and
Mingtao Liu and
Deqian Fu and
Wenyin Zhang},
editor = {Heung{-}Il Suk and
Mingxia Liu and
Pingkun Yan and
Chunfeng Lian},
title = {Infant Brain Deformable Registration Using Global and Local Label-Driven
Deep Regression Learning},
booktitle = {Machine Learning in Medical Imaging - 10th International Workshop,
{MLMI} 2019, Held in Conjunction with {MICCAI} 2019, Shenzhen, China,
October 13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11861},
pages = {106--114},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32692-0\_13},
doi = {10.1007/978-3-030-32692-0\_13},
timestamp = {Tue, 18 Jan 2022 13:58:27 +0100},
biburl = {https://dblp.org/rec/conf/miccai/HuZLLFZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/LeeLPLLLXXZS19,
author = {Taegyeong Lee and
Zhiqi Lin and
Saumay Pushp and
Caihua Li and
Yunxin Liu and
Youngki Lee and
Fengyuan Xu and
Chenren Xu and
Lintao Zhang and
Junehwa Song},
editor = {Stephen A. Brewster and
Geraldine Fitzpatrick and
Anna L. Cox and
Vassilis Kostakos},
title = {Occlumency: Privacy-preserving Remote Deep-learning Inference Using
{SGX}},
booktitle = {The 25th Annual International Conference on Mobile Computing and Networking,
MobiCom 2019, Los Cabos, Mexico, October 21-25, 2019},
pages = {46:1--46:17},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3300061.3345447},
doi = {10.1145/3300061.3345447},
timestamp = {Fri, 06 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobicom/LeeLPLLLXXZS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlpcc/ShiCSXLZW19,
author = {Chen Shi and
Qi Chen and
Lei Sha and
Hui Xue and
Sujian Li and
Lintao Zhang and
Houfeng Wang},
editor = {Jie Tang and
Min{-}Yen Kan and
Dongyan Zhao and
Sujian Li and
Hongying Zan},
title = {We Know What You Will Ask: {A} Dialogue System for Multi-intent Switch
and Prediction},
booktitle = {Natural Language Processing and Chinese Computing - 8th {CCF} International
Conference, {NLPCC} 2019, Dunhuang, China, October 9-14, 2019, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11838},
pages = {93--104},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32233-5\_8},
doi = {10.1007/978-3-030-32233-5\_8},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nlpcc/ShiCSXLZW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/LiCWBZ19,
author = {Bojie Li and
Tianyi Cui and
Zibo Wang and
Wei Bai and
Lintao Zhang},
editor = {Jianping Wu and
Wendy Hall},
title = {Socksdirect: datacenter sockets can be fast and compatible},
booktitle = {Proceedings of the {ACM} Special Interest Group on Data Communication,
{SIGCOMM} 2019, Beijing, China, August 19-23, 2019},
pages = {90--103},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341302.3342071},
doi = {10.1145/3341302.3342071},
timestamp = {Tue, 30 Nov 2021 14:57:49 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/LiCWBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/LiuHCL0Z18,
author = {Hongfu Liu and
Ziming Huang and
Qi Chen and
Mingqin Li and
Yun Fu and
Lintao Zhang},
editor = {Naoki Abe and
Huan Liu and
Calton Pu and
Xiaohua Hu and
Nesreen K. Ahmed and
Mu Qiao and
Yang Song and
Donald Kossmann and
Bing Liu and
Kisung Lee and
Jiliang Tang and
Jingrui He and
Jeffrey S. Saltz},
title = {Fast Clustering with Flexible Balance Constraints},
booktitle = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
Seattle, WA, USA, December 10-13, 2018},
pages = {743--750},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BigData.2018.8621917},
doi = {10.1109/BIGDATA.2018.8621917},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/LiuHCL0Z18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ShiCSLSWZ18,
author = {Chen Shi and
Qi Chen and
Lei Sha and
Sujian Li and
Xu Sun and
Houfeng Wang and
Lintao Zhang},
editor = {Ellen Riloff and
David Chiang and
Julia Hockenmaier and
Jun'ichi Tsujii},
title = {Auto-Dialabel: Labeling Dialogue Data with Unsupervised Learning},
booktitle = {Proceedings of the 2018 Conference on Empirical Methods in Natural
Language Processing, Brussels, Belgium, October 31 - November 4, 2018},
pages = {684--689},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://doi.org/10.18653/v1/d18-1072},
doi = {10.18653/V1/D18-1072},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ShiCSLSWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinZYZ18,
author = {Zichuan Lin and
Tianqi Zhao and
Guangwen Yang and
Lintao Zhang},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Episodic Memory Deep Q-Networks},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {2433--2439},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/337},
doi = {10.24963/IJCAI.2018/337},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LinZYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/LiuZZLZZG18,
author = {Luyang Liu and
Ruiguang Zhong and
Wuyang Zhang and
Yunxin Liu and
Jiansong Zhang and
Lintao Zhang and
Marco Gruteser},
editor = {J{\"{o}}rg Ott and
Falko Dressler and
Stefan Saroiu and
Prabal Dutta},
title = {Cutting the Cord: Designing a High-quality Untethered {VR} System
with Low Latency Remote Rendering},
booktitle = {Proceedings of the 16th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys 2018, Munich, Germany,
June 10-15, 2018},
pages = {68--80},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3210240.3210313},
doi = {10.1145/3210240.3210313},
timestamp = {Wed, 21 Nov 2018 12:44:25 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/LiuZZLZZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07603,
author = {Zichuan Lin and
Tianqi Zhao and
Guangwen Yang and
Lintao Zhang},
title = {Episodic Memory Deep Q-Networks},
journal = {CoRR},
volume = {abs/1805.07603},
year = {2018},
url = {http://arxiv.org/abs/1805.07603},
eprinttype = {arXiv},
eprint = {1805.07603},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08430,
author = {Jilong Xue and
Youshan Miao and
Cheng Chen and
Ming Wu and
Lintao Zhang and
Lidong Zhou},
title = {{RPC} Considered Harmful: Fast Distributed Deep Learning on {RDMA}},
journal = {CoRR},
volume = {abs/1805.08430},
year = {2018},
url = {http://arxiv.org/abs/1805.08430},
eprinttype = {arXiv},
eprint = {1805.08430},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcde/ZhangDCWS17,
author = {Lintao Zhang and
An{-}Yuan Deng and
Ian Cameron and
Engang Wang and
Johann Sienz},
title = {Parametric investigation on an industrial electromagnetic continuous
casting mould performance},
journal = {J. Comput. Des. Eng.},
volume = {4},
number = {4},
pages = {256--262},
year = {2017},
url = {https://doi.org/10.1016/j.jcde.2017.01.001},
doi = {10.1016/J.JCDE.2017.01.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcde/ZhangDCWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ZhongWCLLZZM17,
author = {Ruiguang Zhong and
Manni Wang and
Zijian Chen and
Luyang Liu and
Yunxin Liu and
Jiansong Zhang and
Lintao Zhang and
Thomas Moscibroda},
title = {On Building a Programmable Wireless High-Quality Virtual Reality System
Using Commodity Hardware},
booktitle = {Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India,
September 2, 2017},
pages = {7:1--7:7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3124680.3124723},
doi = {10.1145/3124680.3124723},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/ZhongWCLLZZM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiRXLXPCZ17,
author = {Bojie Li and
Zhenyuan Ruan and
Wencong Xiao and
Yuanwei Lu and
Yongqiang Xiong and
Andrew Putnam and
Enhong Chen and
Lintao Zhang},
title = {KV-Direct: High-Performance In-Memory Key-Value Store with Programmable
{NIC}},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {137--152},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132756},
doi = {10.1145/3132747.3132756},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LiRXLXPCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/ZhangDZ15,
author = {Quanlu Zhang and
Yafei Dai and
Lintao Zhang},
editor = {Shahram Ghandeharizadeh and
Sumita Barahmand and
Magdalena Balazinska and
Michael J. Freedman},
title = {DSwitch: a dual mode direct and network attached disk},
booktitle = {Proceedings of the Sixth {ACM} Symposium on Cloud Computing, SoCC
2015, Kohala Coast, Hawaii, USA, August 27-29, 2015},
pages = {71--83},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2806777.2806850},
doi = {10.1145/2806777.2806850},
timestamp = {Tue, 06 Nov 2018 11:07:34 +0100},
biburl = {https://dblp.org/rec/conf/cloud/ZhangDZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ZhangDLZ15,
author = {Quanlu Zhang and
Yafei Dai and
Fengqian Li and
Lintao Zhang},
title = {UStore: {A} Low Cost Cold and Archival Data Storage System for Data
Centers},
booktitle = {35th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2015, Columbus, OH, USA, June 29 - July 2, 2015},
pages = {431--441},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICDCS.2015.51},
doi = {10.1109/ICDCS.2015.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/ZhangDLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/HongZYKZZ13,
author = {Chuntao Hong and
Dong Zhou and
Mao Yang and
Carbo Kuo and
Lintao Zhang and
Lidong Zhou},
editor = {Christian S. Jensen and
Christopher M. Jermaine and
Xiaofang Zhou},
title = {KuaFu: Closing the parallelism gap in database replication},
booktitle = {29th {IEEE} International Conference on Data Engineering, {ICDE} 2013,
Brisbane, Australia, April 8-12, 2013},
pages = {1186--1195},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDE.2013.6544908},
doi = {10.1109/ICDE.2013.6544908},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/HongZYKZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ShiXWZZ11,
author = {Jinghao Shi and
Mingyuan Xia and
Ming Wu and
Lintao Zhang and
Zheng Zhang},
editor = {Haibo Chen and
Zheng Zhang and
Sue Moon and
Yuanyuan Zhou},
title = {{SLIM:} Mmap from the cloud to device, and back},
booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
11-12, 2011},
pages = {16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2103799.2103819},
doi = {10.1145/2103799.2103819},
timestamp = {Sat, 15 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsys/ShiXWZZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GuoWZHYZ11,
author = {Huayang Guo and
Ming Wu and
Lidong Zhou and
Gang Hu and
Junfeng Yang and
Lintao Zhang},
editor = {Ted Wobber and
Peter Druschel},
title = {Practical software model checking via dynamic interface reduction},
booktitle = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
pages = {265--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043556.2043582},
doi = {10.1145/2043556.2043582},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/GuoWZHYZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MalikZ09,
author = {Sharad Malik and
Lintao Zhang},
title = {Boolean satisfiability from theoretical hardness to practical success},
journal = {Commun. {ACM}},
volume = {52},
number = {8},
pages = {76--82},
year = {2009},
url = {https://doi.org/10.1145/1536616.1536637},
doi = {10.1145/1536616.1536637},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/MalikZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/YangCWXLLYLZZ09,
author = {Junfeng Yang and
Tisheng Chen and
Ming Wu and
Zhilei Xu and
Xuezheng Liu and
Haoxiang Lin and
Mao Yang and
Fan Long and
Lintao Zhang and
Lidong Zhou},
editor = {Jennifer Rexford and
Emin G{\"{u}}n Sirer},
title = {{MODIST:} Transparent Model Checking of Unmodified Distributed Systems},
booktitle = {Proceedings of the 6th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2009, April 22-24, 2009, Boston, MA, {USA}},
pages = {213--228},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/nsdi09/tech/full\_papers/yang/yang.pdf},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/YangCWXLLYLZZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/CostaCCRZZB08,
author = {Manuel Costa and
Jon Crowcroft and
Miguel Castro and
Antony I. T. Rowstron and
Lidong Zhou and
Lintao Zhang and
Paul Barham},
title = {Vigilante: End-to-end containment of Internet worm epidemics},
journal = {{ACM} Trans. Comput. Syst.},
volume = {26},
number = {4},
pages = {9:1--9:68},
year = {2008},
url = {https://doi.org/10.1145/1455258.1455259},
doi = {10.1145/1455258.1455259},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/CostaCCRZZB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DavisTYZ08,
author = {John D. Davis and
Zhangxi Tan and
Fang Yu and
Lintao Zhang},
editor = {Limor Fix},
title = {A practical reconfigurable hardware accelerator for Boolean satisfiability
solvers},
booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
pages = {780--785},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1391469.1391669},
doi = {10.1145/1391469.1391669},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/DavisTYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DavisTYZ08,
author = {John D. Davis and
Zhangxi Tan and
Fang Yu and
Lintao Zhang},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {Designing an Efficient Hardware Implication Accelerator for {SAT}
Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4996},
pages = {48--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_6},
doi = {10.1007/978-3-540-79719-7\_6},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/DavisTYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BordeauxZ07,
author = {Lucas Bordeaux and
Lintao Zhang},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {A solver for quantified Boolean and linear constraints},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {321--325},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244078},
doi = {10.1145/1244002.1244078},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/BordeauxZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CostaCZZP07,
author = {Manuel Costa and
Miguel Castro and
Lidong Zhou and
Lintao Zhang and
Marcus Peinado},
editor = {Thomas C. Bressoud and
M. Frans Kaashoek},
title = {Bouncer: securing software by blocking bad input},
booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007},
pages = {117--130},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294261.1294274},
doi = {10.1145/1294261.1294274},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CostaCZZP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BordeauxHZ06,
author = {Lucas Bordeaux and
Youssef Hamadi and
Lintao Zhang},
title = {Propositional Satisfiability and Constraint Programming: {A} comparative
survey},
journal = {{ACM} Comput. Surv.},
volume = {38},
number = {4},
pages = {12},
year = {2006},
url = {https://doi.org/10.1145/1177352.1177354},
doi = {10.1145/1177352.1177354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BordeauxHZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Zhang06,
author = {Lintao Zhang},
title = {Solving {QBF} by Combining Conjunctive and Disjunctive Normal Forms},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {143--150},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-023.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Zhang06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MironovZ06,
author = {Ilya Mironov and
Lintao Zhang},
editor = {Armin Biere and
Carla P. Gomes},
title = {Applications of {SAT} Solvers to Cryptanalysis of Hash Functions},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {102--115},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_13},
doi = {10.1007/11814948\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MironovZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MironovZ06,
author = {Ilya Mironov and
Lintao Zhang},
title = {Applications of {SAT} Solvers to Cryptanalysis of Hash Functions},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {254},
year = {2006},
url = {http://eprint.iacr.org/2006/254},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MironovZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/ZhouZMICC05,
author = {Lidong Zhou and
Lintao Zhang and
Frank McSherry and
Nicole Immorlica and
Manuel Costa and
Steve Chien},
editor = {Miguel Castro and
Robbert van Renesse},
title = {A First Look at Peer-to-Peer Worms: Threats and Defenses},
booktitle = {Peer-to-Peer Systems IV, 4th International Workshop, {IPTPS} 2005,
Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3640},
pages = {24--35},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11558989\_3},
doi = {10.1007/11558989\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iptps/ZhouZMICC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MarinovKBZR05,
author = {Darko Marinov and
Sarfraz Khurshid and
Suhabe Bugrara and
Lintao Zhang and
Martin C. Rinard},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Optimizations for Compiling Declarative Models into Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {187--202},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_14},
doi = {10.1007/11499107\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MarinovKBZR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Zhang05,
author = {Lintao Zhang},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {On Subsumption Removal and On-the-Fly {CNF} Simplification},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {482--489},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_42},
doi = {10.1007/11499107\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Zhang05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CostaCCRZZB05,
author = {Manuel Costa and
Jon Crowcroft and
Miguel Castro and
Antony I. T. Rowstron and
Lidong Zhou and
Lintao Zhang and
Paul Barham},
editor = {Andrew Herbert and
Kenneth P. Birman},
title = {Vigilante: end-to-end containment of internet worms},
booktitle = {Proceedings of the 20th {ACM} Symposium on Operating Systems Principles
2005, {SOSP} 2005, Brighton, UK, October 23-26, 2005},
pages = {133--147},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1095810.1095824},
doi = {10.1145/1095810.1095824},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CostaCCRZZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallCLZ04,
author = {Thomas Ball and
Byron Cook and
Shuvendu K. Lahiri and
Lintao Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {457--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_36},
doi = {10.1007/978-3-540-27813-9\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallCLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZhangM03,
author = {Lintao Zhang and
Sharad Malik},
title = {Validating {SAT} Solvers Using an Independent Resolution-Based Checker:
Practical Implementations and Other Applications},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10880--10885},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10014},
doi = {10.1109/DATE.2003.10014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ZhangM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ZhangM03,
author = {Lintao Zhang and
Sharad Malik},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Cache Performance of {SAT} Solvers: a Case Study for Efficient Implementation
of Algorithms},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {287--298},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_22},
doi = {10.1007/978-3-540-24605-3\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/ZhangM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhangM02,
author = {Lintao Zhang and
Sharad Malik},
editor = {Andrei Voronkov},
title = {The Quest for Efficient Boolean Satisfiability Solvers},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {295--313},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_26},
doi = {10.1007/3-540-45620-1\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZhangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangM02,
author = {Lintao Zhang and
Sharad Malik},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The Quest for Efficient Boolean Satisfiability Solvers},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {17--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_2},
doi = {10.1007/3-540-45657-0\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZhangM02,
author = {Lintao Zhang and
Sharad Malik},
editor = {Pascal Van Hentenryck},
title = {Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified
Boolean Formula Evaluation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {200--215},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_14},
doi = {10.1007/3-540-46135-3\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZhangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GanaiAGZM02,
author = {Malay K. Ganai and
Pranav Ashar and
Aarti Gupta and
Lintao Zhang and
Sharad Malik},
title = {Combining strengths of circuit-based and CNF-based algorithms for
a high-performance {SAT} solver},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {747--750},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514105},
doi = {10.1145/513918.514105},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GanaiAGZM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangM02,
author = {Lintao Zhang and
Sharad Malik},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {Conflict driven learning in a quantified Boolean Satisfiability solver},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {442--449},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774637},
doi = {10.1145/774572.774637},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MoskewiczMZZM01,
author = {Matthew W. Moskewicz and
Conor F. Madigan and
Ying Zhao and
Lintao Zhang and
Sharad Malik},
title = {Chaff: Engineering an Efficient {SAT} Solver},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {530--535},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.379017},
doi = {10.1145/378239.379017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/MoskewiczMZZM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangMMM01,
author = {Lintao Zhang and
Conor F. Madigan and
Matthew W. Moskewicz and
Sharad Malik},
editor = {Rolf Ernst},
title = {Efficient Conflict Driven Learning in Boolean Satisfiability Solver},
booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
pages = {279--285},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCAD.2001.968634},
doi = {10.1109/ICCAD.2001.968634},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangMMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaYAZM01,
author = {Aarti Gupta and
Zijiang Yang and
Pranav Ashar and
Lintao Zhang and
Sharad Malik},
editor = {Rolf Ernst},
title = {Partition-Based Decision Heuristics for Image Computation Using {SAT}
and BDDs},
booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
pages = {286--292},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCAD.2001.968635},
doi = {10.1109/ICCAD.2001.968635},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaYAZM01.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-16 22:56 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:
