Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yuanrui Zhang
@article{DBLP:journals/jlap/ZhangL24, author = {Yuanrui Zhang and Zhiming Liu}, title = {A dynamic logic with branching modalities}, journal = {J. Log. Algebraic Methods Program.}, volume = {136}, pages = {100921}, year = {2024}, url = {https://doi.org/10.1016/j.jlamp.2023.100921}, doi = {10.1016/J.JLAMP.2023.100921}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/ZhangL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-01222, author = {Yuanrui Zhang and Xinxin Liu}, title = {Image Reflection on {LLEE} Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity}, journal = {CoRR}, volume = {abs/2311.01222}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.01222}, doi = {10.48550/ARXIV.2311.01222}, eprinttype = {arXiv}, eprint = {2311.01222}, timestamp = {Tue, 07 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-01222.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/ZhangML22, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Zhiming Liu}, title = {A dynamic logic for verification of synchronous models based on theorem proving}, journal = {Frontiers Comput. Sci.}, volume = {16}, number = {4}, pages = {164407}, year = {2022}, url = {https://doi.org/10.1007/s11704-022-1374-4}, doi = {10.1007/S11704-022-1374-4}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fcsc/ZhangML22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ZhangMZCLL21, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Huibiao Zhu and Yixiang Chen and Bo Liu and Zhiming Liu}, title = {A clock-based dynamic logic for schedulability analysis of {CCSL} specifications}, journal = {Sci. Comput. Program.}, volume = {202}, pages = {102546}, year = {2021}, url = {https://doi.org/10.1016/j.scico.2020.102546}, doi = {10.1016/J.SCICO.2020.102546}, timestamp = {Thu, 23 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ZhangMZCLL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ZhangWCM21, author = {Yuanrui Zhang and Hengyang Wu and Yixiang Chen and Fr{\'{e}}d{\'{e}}ric Mallet}, title = {A clock-based dynamic logic for the verification of {CCSL} specifications in synchronous systems}, journal = {Sci. Comput. Program.}, volume = {203}, pages = {102591}, year = {2021}, url = {https://doi.org/10.1016/j.scico.2020.102591}, doi = {10.1016/J.SCICO.2020.102591}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/ZhangWCM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-03681, author = {Yuanrui Zhang}, title = {A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving}, journal = {CoRR}, volume = {abs/2104.03681}, year = {2021}, url = {https://arxiv.org/abs/2104.03681}, eprinttype = {arXiv}, eprint = {2104.03681}, timestamp = {Tue, 13 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-03681.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/ZhangMC20, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Yixiang Chen}, title = {A verification framework for spatio-temporal consistency language with {CCSL} as a specification language}, journal = {Frontiers Comput. Sci.}, volume = {14}, number = {1}, pages = {105--129}, year = {2020}, url = {https://doi.org/10.1007/s11704-018-7054-8}, doi = {10.1007/S11704-018-7054-8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fcsc/ZhangMC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ZhangCW19, author = {Yuanrui Zhang and Yixiang Chen and Hengyang Wu}, title = {A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour}, journal = {{IEEE} Access}, volume = {7}, pages = {57172--57187}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2914228}, doi = {10.1109/ACCESS.2019.2914228}, timestamp = {Fri, 31 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ZhangCW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhangMZC19, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Huibiao Zhu and Yixiang Chen}, editor = {Dominique M{\'{e}}ry and Shengchao Qin}, title = {A Logical Approach for the Schedulability Analysis of {CCSL}}, booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2019, Guilin, China, July 29-31, 2019}, pages = {25--32}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/TASE.2019.00-23}, doi = {10.1109/TASE.2019.00-23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/ZhangMZC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcom/ZhangWKMZ18, author = {Yuanrui Zhang and Roger F. Woods and Youngwook Ko and Alan Marshall and Junqing Zhang}, title = {Security Optimization of Exposure Region-Based Beamforming With a Uniform Circular Array}, journal = {{IEEE} Trans. Commun.}, volume = {66}, number = {6}, pages = {2630--2641}, year = {2018}, url = {https://doi.org/10.1109/TCOMM.2017.2768516}, doi = {10.1109/TCOMM.2017.2768516}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcom/ZhangWKMZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/ZhangWCM18, author = {Yuanrui Zhang and Hengyang Wu and Yixiang Chen and Fr{\'{e}}d{\'{e}}ric Mallet}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Embedding {CCSL} into Dynamic Logic: {A} Logical Approach for the Verification of {CCSL} Specifications}, booktitle = {Formal Techniques for Safety-Critical Systems - 6th International Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1008}, pages = {101--118}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-12988-0\_7}, doi = {10.1007/978-3-030-12988-0\_7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/ZhangWCM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/twc/ZhangKWM17, author = {Yuanrui Zhang and Youngwook Ko and Roger F. Woods and Alan Marshall}, title = {Defining Spatial Secrecy Outage Probability for Exposure Region-Based Beamforming}, journal = {{IEEE} Trans. Wirel. Commun.}, volume = {16}, number = {2}, pages = {900--912}, year = {2017}, url = {https://doi.org/10.1109/TWC.2016.2633351}, doi = {10.1109/TWC.2016.2633351}, timestamp = {Sun, 06 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/twc/ZhangKWM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acssc/ZhangKWMCL16, author = {Yuanrui Zhang and Youngwook Ko and Roger F. Woods and Alan Marshall and Joe Cavallaro and Kaipeng Li}, editor = {Michael B. Matthews}, title = {On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers}, booktitle = {50th Asilomar Conference on Signals, Systems and Computers, {ACSSC} 2016, Pacific Grove, CA, USA, November 6-9, 2016}, pages = {689--690}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ACSSC.2016.7869132}, doi = {10.1109/ACSSC.2016.7869132}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acssc/ZhangKWMCL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acssc/ZhangKWMCL16a, author = {Yuanrui Zhang and Youngwook Ko and Roger F. Woods and Alan Marshall and Joe Cavallaro and Kaipeng Li}, editor = {Michael B. Matthews}, title = {On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers}, booktitle = {51st Asilomar Conference on Signals, Systems, and Computers, {ACSSC} 2017, Pacific Grove, CA, USA, October 29 - November 1, 2017}, pages = {2054--2058}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ACSSC.2017.8335730}, doi = {10.1109/ACSSC.2017.8335730}, timestamp = {Mon, 09 Aug 2021 14:54:04 +0200}, biburl = {https://dblp.org/rec/conf/acssc/ZhangKWMCL16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmb/HeC0Z16, author = {Kangli He and Yixiang Chen and Min Zhang and Yuanrui Zhang}, editor = {Anne Remke and Boudewijn R. Haverkort}, title = {PSTeC: {A} Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems}, booktitle = {Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International {GI/ITG} Conference, {MMB} {\&} {DFT} 2016, M{\"{u}}nster, Germany, April 4-6, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9629}, pages = {77--91}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31559-1\_8}, doi = {10.1007/978-3-319-31559-1\_8}, timestamp = {Sat, 19 Oct 2019 20:11:41 +0200}, biburl = {https://dblp.org/rec/conf/mmb/HeC0Z16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/ZhangMC16, author = {Yuanrui Zhang and Yujing Ma and Yixiang Chen}, title = {A {UTP} Refinement Model of the STeC Language}, booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3, 2016}, pages = {236--243}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/QRS-C.2016.36}, doi = {10.1109/QRS-C.2016.36}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/ZhangMC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/LiZC16, author = {Jinyang Li and Yuanrui Zhang and Yixiang Chen}, title = {A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles}, booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3, 2016}, pages = {382--388}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/QRS-C.2016.58}, doi = {10.1109/QRS-C.2016.58}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qrs/LiZC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZhangKWM16, author = {Yuanrui Zhang and Youngwook Ko and Roger F. Woods and Alan Marshall}, title = {Defining Spatial Security Outage Probability for Exposure Region Based Beamforming}, journal = {CoRR}, volume = {abs/1608.00634}, year = {2016}, url = {http://arxiv.org/abs/1608.00634}, eprinttype = {arXiv}, eprint = {1608.00634}, timestamp = {Fri, 08 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ZhangKWM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Zhang16e, author = {Yuanrui Zhang}, title = {Wireless Security with Beamforming Technique}, journal = {CoRR}, volume = {abs/1609.03629}, year = {2016}, url = {http://arxiv.org/abs/1609.03629}, eprinttype = {arXiv}, eprint = {1609.03629}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Zhang16e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tjs/KimZSKLTC15, author = {Seong Jo Kim and Yuanrui Zhang and Seung Woo Son and Mahmut T. Kandemir and Wei{-}keng Liao and Rajeev Thakur and Alok N. Choudhary}, title = {IOPro: a parallel {I/O} profiling and visualization framework for high-performance storage systems}, journal = {J. Supercomput.}, volume = {71}, number = {3}, pages = {840--870}, year = {2015}, url = {https://doi.org/10.1007/s11227-014-1329-0}, doi = {10.1007/S11227-014-1329-0}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tjs/KimZSKLTC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apres/ZhangCM15, author = {Yuanrui Zhang and Yixiang Chen and Yujing Ma}, editor = {Lin Liu and Mikio Aoyama}, title = {A Framework for Data-Driven Automata Design}, booktitle = {Requirements Engineering in the Big Data Era - Second Asia Pacific Symposium, {APRES} 2015, Wuhan, China, October 18-20, 2015, Proceedings}, series = {Communications in Computer and Information Science}, volume = {558}, pages = {33--47}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48634-4\_3}, doi = {10.1007/978-3-662-48634-4\_3}, timestamp = {Fri, 19 May 2017 01:25:50 +0200}, biburl = {https://dblp.org/rec/conf/apres/ZhangCM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/DingTKZK15, author = {Wei Ding and Xulong Tang and Mahmut T. Kandemir and Yuanrui Zhang and Emre Kultursay}, editor = {David Grove and Stephen M. Blackburn}, title = {Optimizing off-chip accesses in multicores}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015}, pages = {131--142}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2737924.2737989}, doi = {10.1145/2737924.2737989}, timestamp = {Wed, 23 Jun 2021 16:58:51 +0200}, biburl = {https://dblp.org/rec/conf/pldi/DingTKZK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/LiZC15, author = {Huiyong Li and Yuanrui Zhang and Yixiang Chen}, title = {{PSTEP} - {A} Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles}, booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2015, Companion, Vancouver, BC, Canada, August 3-5, 2015}, pages = {161--168}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/QRS-C.2015.43}, doi = {10.1109/QRS-C.2015.43}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/LiZC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acssc/ZhangYWCMK14, author = {Yuanrui Zhang and Bei Yin and Roger F. Woods and Joseph R. Cavallaro and Alan Marshall and Youngwook Ko}, editor = {Michael B. Matthews}, title = {Investigation of secure wireless regions using configurable beamforming on {WARP}}, booktitle = {48th Asilomar Conference on Signals, Systems and Computers, {ACSSC} 2014, Pacific Grove, CA, USA, November 2-5, 2014}, pages = {1979--1983}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ACSSC.2014.7094817}, doi = {10.1109/ACSSC.2014.7094817}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acssc/ZhangYWCMK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pimrc/ZhangMWK14, author = {Yuanrui Zhang and Alan Marshall and Roger F. Woods and Youngwook Ko}, title = {Creating secure wireless regions using configurable beamforming}, booktitle = {25th {IEEE} Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014}, pages = {47--52}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/PIMRC.2014.7136130}, doi = {10.1109/PIMRC.2014.7136130}, timestamp = {Fri, 08 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pimrc/ZhangMWK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/ChenZ14, author = {Yixiang Chen and Yuanrui Zhang}, title = {A Hybrid Clock System Related to STeC Language}, booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability, {SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume}, pages = {199--203}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/SERE-C.2014.39}, doi = {10.1109/SERE-C.2014.39}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/ssiri/ChenZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhangMC14, author = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Yixiang Chen}, title = {Timed Automata Semantics of Spatial-Temporal Consistency Language STeC}, booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE} 2014, Changsha, China, September 1-3, 2014}, pages = {201--208}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/TASE.2014.10}, doi = {10.1109/TASE.2014.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZhangMC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sp/DingZKS13, author = {Wei Ding and Yuanrui Zhang and Mahmut T. Kandemir and Seung Woo Son}, title = {Compiler-directed file layout optimization for hierarchical storage systems}, journal = {Sci. Program.}, volume = {21}, number = {3-4}, pages = {65--78}, year = {2013}, url = {https://doi.org/10.3233/SPR-130365}, doi = {10.3233/SPR-130365}, timestamp = {Wed, 06 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sp/DingZKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/DingZKSY13, author = {Wei Ding and Yuanrui Zhang and Mahmut T. Kandemir and Jithendra Srinivas and Praveen Yedlapalli}, title = {Locality-aware mapping and scheduling for multicores}, booktitle = {Proceedings of the 2013 {IEEE/ACM} International Symposium on Code Generation and Optimization, {CGO} 2013, Shenzhen, China, February 23-27, 2013}, pages = {12:1--12:12}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CGO.2013.6495009}, doi = {10.1109/CGO.2013.6495009}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/DingZKSY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcsc/ZhangLKKPS12, author = {Yuanrui Zhang and Jun Liu and Emre Kultursay and Mahmut T. Kandemir and Nikos Pitsianis and Xiaobai Sun}, title = {Automatic Parallel Code Generation for {NUFFT} Data Translation on multicores}, journal = {J. Circuits Syst. Comput.}, volume = {21}, number = {2}, year = {2012}, url = {https://doi.org/10.1142/S021812661240004X}, doi = {10.1142/S021812661240004X}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcsc/ZhangLKKPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/DingKZK12, author = {Wei Ding and Mahmut T. Kandemir and Yuanrui Zhang and Emre Kultursay}, editor = {Pen{-}Chung Yew and Sangyeun Cho and Luiz DeRose and David J. Lilja}, title = {Off-chip access localization for NoC-based multicores}, booktitle = {International Conference on Parallel Architectures and Compilation Techniques, {PACT} '12, Minneapolis, MN, {USA} - September 19 - 23, 2012}, pages = {447--448}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2370816.2370889}, doi = {10.1145/2370816.2370889}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/IEEEpact/DingKZK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ZhaoJDZKI12, author = {Hui Zhao and Ohyoung Jang and Wei Ding and Yuanrui Zhang and Mahmut T. Kandemir and Mary Jane Irwin}, editor = {Patrick Groeneveld and Donatella Sciuto and Soha Hassoun}, title = {A hybrid NoC design for cache coherence optimization for chip multiprocessors}, booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San Francisco, CA, USA, June 3-7, 2012}, pages = {834--842}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2228360.2228511}, doi = {10.1145/2228360.2228511}, timestamp = {Tue, 24 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/ZhaoJDZKI12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/ZhangLK12, author = {Yuanrui Zhang and Jun Liu and Mahmut T. Kandemir}, title = {Software-Directed Data Access Scheduling for Reducing Disk Energy Consumption}, booktitle = {2012 {IEEE} 32nd International Conference on Distributed Computing Systems, Macau, China, June 18-21, 2012}, pages = {596--605}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICDCS.2012.12}, doi = {10.1109/ICDCS.2012.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/ZhangLK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/JigangJZZ12, author = {Jigang Wu and Guiyuan Jiang and Yuanrui Zhang and Yuanbo Zhu}, title = {Algorithm for Communication Synchronization on Reconfigurable Processor Arrays with Faults}, booktitle = {26th {IEEE} International Parallel and Distributed Processing Symposium Workshops {\&} PhD Forum, {IPDPS} 2012, Shanghai, China, May 21-25, 2012}, pages = {266--270}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/IPDPSW.2012.30}, doi = {10.1109/IPDPSW.2012.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/JigangJZZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/LiuZJDK12, author = {Jun Liu and Yuanrui Zhang and Ohyoung Jang and Wei Ding and Mahmut T. Kandemir}, editor = {Jan Vitek and Haibo Lin and Frank Tip}, title = {A compiler framework for extracting superword level parallelism}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '12, Beijing, China - June 11 - 16, 2012}, pages = {347--358}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2254064.2254106}, doi = {10.1145/2254064.2254106}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/LiuZJDK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sc/DingZKS12, author = {Wei Ding and Yuanrui Zhang and Mahmut T. Kandemir and Seung Woo Son}, editor = {Jeffrey K. Hollingsworth}, title = {Compiler-directed file layout optimization for hierarchical storage systems}, booktitle = {{SC} Conference on High Performance Computing Networking, Storage and Analysis, {SC} '12, Salt Lake City, UT, {USA} - November 11 - 15, 2012}, pages = {41}, publisher = {{IEEE/ACM}}, year = {2012}, url = {https://doi.org/10.1109/SC.2012.35}, doi = {10.1109/SC.2012.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sc/DingZKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmetrics/ZhangLMK11, author = {Yuanrui Zhang and Jun Liu and Sai Prashanth Muralidhara and Mahmut T. Kandemir}, title = {BrickX: building hybrid systems for recursive computations}, journal = {{SIGMETRICS} Perform. Evaluation Rev.}, volume = {39}, number = {3}, pages = {98--100}, year = {2011}, url = {https://doi.org/10.1145/2160803.2160870}, doi = {10.1145/2160803.2160870}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmetrics/ZhangLMK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlsisp/DengSZC11, author = {Lanping Deng and Kanwaldeep Sobti and Yuanrui Zhang and Chaitali Chakrabarti}, title = {Accurate Area, Time and Power Models for FPGA-Based Implementations}, journal = {J. Signal Process. Syst.}, volume = {63}, number = {1}, pages = {39--50}, year = {2011}, url = {https://doi.org/10.1007/s11265-009-0387-7}, doi = {10.1007/S11265-009-0387-7}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlsisp/DengSZC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/ZhangDLK11, author = {Yuanrui Zhang and Wei Ding and Jun Liu and Mahmut T. Kandemir}, editor = {Lawrence Rauchwerger and Vivek Sarkar}, title = {Optimizing Data Layouts for Parallel Computation on Multicores}, booktitle = {2011 International Conference on Parallel Architectures and Compilation Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011}, pages = {143--154}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/PACT.2011.20}, doi = {10.1109/PACT.2011.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEpact/ZhangDLK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/LiuZDK11, author = {Jun Liu and Yuanrui Zhang and Wei Ding and Mahmut T. Kandemir}, title = {On-chip cache hierarchy-aware tile scheduling for multicore machines}, booktitle = {Proceedings of the {CGO} 2011, The 9th International Symposium on Code Generation and Optimization, Chamonix, France, April 2-6, 2011}, pages = {161--170}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CGO.2011.5764684}, doi = {10.1109/CGO.2011.5764684}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/LiuZDK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/KandemirZLY11, author = {Mahmut T. Kandemir and Yuanrui Zhang and Jun Liu and Taylan Yemliha}, title = {Neighborhood-aware data locality optimization for NoC-based multicores}, booktitle = {Proceedings of the {CGO} 2011, The 9th International Symposium on Code Generation and Optimization, Chamonix, France, April 2-6, 2011}, pages = {191--200}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CGO.2011.5764687}, doi = {10.1109/CGO.2011.5764687}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cgo/KandemirZLY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/KandemirPKZ11, author = {Mahmut T. Kandemir and Ramya Prabhakar and Mustafa Karak{\"{o}}y and Yuanrui Zhang}, editor = {Emmanuel Jeannot and Raymond Namyst and Jean Roman}, title = {Multilayer Cache Partitioning for Multiprogram Workloads}, booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6852}, pages = {130--141}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23400-2\_13}, doi = {10.1007/978-3-642-23400-2\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/KandemirPKZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/MuralidharaKZ11, author = {Sai Prashanth Muralidhara and Mahmut T. Kandemir and Yuanrui Zhang}, editor = {Emmanuel Jeannot and Raymond Namyst and Jean Roman}, title = {Bandwidth Constrained Coordinated {HW/SW} Prefetching for Multicores}, booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6852}, pages = {310--325}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23400-2\_29}, doi = {10.1007/978-3-642-23400-2\_29}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/MuralidharaKZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpdc/ZhangLWK11, author = {Yuanrui Zhang and Jun Liu and Ellis Herbert Wilson and Mahmut T. Kandemir}, editor = {Arthur B. Maccabe and Douglas Thain}, title = {Software-directed data access scheduling for reducing disk energy consumption}, booktitle = {Proceedings of the 20th {ACM} International Symposium on High Performance Distributed Computing, {HPDC} 2011, San Jose, CA, USA, June 8-11, 2011}, pages = {281--282}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1996130.1996175}, doi = {10.1145/1996130.1996175}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hpdc/ZhangLWK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/DingZLK11, author = {Wei Ding and Yuanrui Zhang and Jun Liu and Mahmut T. Kandemir}, editor = {Joel R. Phillips and Alan J. Hu and Helmut Graeb}, title = {Optimizing data locality using array tiling}, booktitle = {2011 {IEEE/ACM} International Conference on Computer-Aided Design, {ICCAD} 2011, San Jose, California, USA, November 7-10, 2011}, pages = {142--149}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICCAD.2011.6105318}, doi = {10.1109/ICCAD.2011.6105318}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/DingZLK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micro/ZhangDKLJ11, author = {Yuanrui Zhang and Wei Ding and Mahmut T. Kandemir and Jun Liu and Ohyoung Jang}, editor = {Carlo Galuzzi and Luigi Carro and Andreas Moshovos and Milos Prvulovic}, title = {A data layout optimization framework for NUCA-based multicores}, booktitle = {44rd Annual {IEEE/ACM} International Symposium on Microarchitecture, {MICRO} 2011, Porto Alegre, Brazil, December 3-7, 2011}, pages = {489--500}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2155620.2155677}, doi = {10.1145/2155620.2155677}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/micro/ZhangDKLJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmetrics/ZhangKY11, author = {Yuanrui Zhang and Mahmut T. Kandemir and Taylan Yemliha}, editor = {Arif Merchant and Kimberly Keeton and Dan Rubenstein}, title = {Studying inter-core data reuse in multicores}, booktitle = {{SIGMETRICS} 2011, Proceedings of the 2011 {ACM} {SIGMETRICS} International Conference on Measurement and Modeling of Computer Systems, San Jose, CA, USA, 07-11 June 2011 (Co-located with {FCRC} 2011)}, pages = {25--36}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993744.1993748}, doi = {10.1145/1993744.1993748}, timestamp = {Sun, 01 Aug 2021 14:20:40 +0200}, biburl = {https://dblp.org/rec/conf/sigmetrics/ZhangKY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/ZhangDYMZKCPS10, author = {Yuanrui Zhang and Lanping Deng and Praveen Yedlapalli and Sai Prashanth Muralidhara and Hui Zhao and Mahmut T. Kandemir and Chaitali Chakrabarti and Nikos Pitsianis and Xiaobai Sun}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {A special-purpose compiler for look-up table and code generation for function evaluation}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {1130--1135}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5456978}, doi = {10.1109/DATE.2010.5456978}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/ZhangDYMZKCPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/ZhangLKKPS10, author = {Yuanrui Zhang and Jun Liu and Emre Kultursay and Mahmut T. Kandemir and Nikos Pitsianis and Xiaobai Sun}, editor = {Pasqua D'Ambra and Mario Rosario Guarracino and Domenico Talia}, title = {Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores}, booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6272}, pages = {125--136}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15291-7\_13}, doi = {10.1007/978-3-642-15291-7\_13}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/ZhangLKKPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paap/WangJZZ10, author = {Jing Wang and Wu Jigang and Yuanrui Zhang and Dakun Zhang}, title = {Accelerating Reconfiguration for Degradable Mesh-Connected Processor Arrays}, booktitle = {Third International Symposium on Parallel Architectures, Algorithms and Programming, {PAAP} 2010, Dalian, China, 18-20 December, 2010}, pages = {55--58}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/PAAP.2010.59}, doi = {10.1109/PAAP.2010.59}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/paap/WangJZZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/KandemirYMSIZ10, author = {Mahmut T. Kandemir and Taylan Yemliha and Sai Prashanth Muralidhara and Shekhar Srikantaiah and Mary Jane Irwin and Yuanrui Zhang}, editor = {Benjamin G. Zorn and Alexander Aiken}, title = {Cache topology aware computation mapping for multicores}, booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2010, Toronto, Ontario, Canada, June 5-10, 2010}, pages = {74--85}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806596.1806605}, doi = {10.1145/1806596.1806605}, timestamp = {Tue, 22 Jun 2021 17:10:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/KandemirYMSIZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pvm/KimZSPKPLC10, author = {Seong Jo Kim and Yuanrui Zhang and Seung Woo Son and Ramya Prabhakar and Mahmut T. Kandemir and Christina M. Patrick and Wei{-}keng Liao and Alok N. Choudhary}, editor = {Rainer Keller and Edgar Gabriel and Michael M. Resch and Jack J. Dongarra}, title = {Automated Tracing of {I/O} Stack}, booktitle = {Recent Advances in the Message Passing Interface - 17th European {MPI} Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6305}, pages = {72--81}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15646-5\_8}, doi = {10.1007/978-3-642-15646-5\_8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pvm/KimZSPKPLC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ISCApdcs/SonKZG09, author = {Seung Woo Son and Mahmut T. Kandemir and Yuanrui Zhang and Rajat Garg}, editor = {James H. Graham and Anthony Skjellum}, title = {Topology-Aware {I/O} Caching for Shared Storage Systems}, booktitle = {22nd International Conference on Parallel and Distributed Computing and Communication Systems, {PDCCS} 2009, September 24-26, 2009, Marriott Louisville Downtown, Louisville, Kentucky, {USA}}, pages = {143--150}, publisher = {{ISCA}}, year = {2009}, timestamp = {Mon, 09 Aug 2021 16:35:40 +0200}, biburl = {https://dblp.org/rec/conf/ISCApdcs/SonKZG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/KandemirZMON09, author = {Mahmut T. Kandemir and Yuanrui Zhang and Sai Prashanth Muralidhara and Ozcan Ozturk and Sri Hari Krishna Narayanan}, editor = {J{\"{o}}rg Henkel and Sri Parameswaran}, title = {Slicing based code parallelization for minimizing inter-processor communication}, booktitle = {Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, {CASES} 2009, Grenoble, France, October 11-16, 2009}, pages = {87--96}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629395.1629409}, doi = {10.1145/1629395.1629409}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cases/KandemirZMON09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/KandemirZO09, author = {Mahmut T. Kandemir and Yuanrui Zhang and Ozcan Ozturk}, editor = {Luca Benini and Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller}, title = {Adaptive prefetching for shared cache based chip multiprocessors}, booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France, April 20-24, 2009}, pages = {773--778}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/DATE.2009.5090768}, doi = {10.1109/DATE.2009.5090768}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/KandemirZO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/ZhangKPS09, author = {Yuanrui Zhang and Mahmut T. Kandemir and Nikos Pitsianis and Xiaobai Sun}, editor = {Samarjit Chakraborty and Nicolas Halbwachs}, title = {Exploring parallelization strategies for {NUFFT} data translation}, booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16, 2009}, pages = {187--196}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629335.1629361}, doi = {10.1145/1629335.1629361}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/ZhangKPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micro/KandemirMNZO09, author = {Mahmut T. Kandemir and Sai Prashanth Muralidhara and Sri Hari Krishna Narayanan and Yuanrui Zhang and Ozcan Ozturk}, editor = {David H. Albonesi and Margaret Martonosi and David I. August and Jos{\'{e}} F. Mart{\'{\i}}nez}, title = {Optimizing shared cache behavior of chip multiprocessors}, booktitle = {42st Annual {IEEE/ACM} International Symposium on Microarchitecture {(MICRO-42} 2009), December 12-16, 2009, New York, New York, {USA}}, pages = {505--516}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1669112.1669176}, doi = {10.1145/1669112.1669176}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/micro/KandemirMNZO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sasp/ZhangK09, author = {Yuanrui Zhang and Mahmut T. Kandemir}, title = {A hardware-software codesign strategy for Loop intensive applications}, booktitle = {Proceedings of the {IEEE} 7th Symposium on Application Specific Processors, {SASP} 2009, San Francisco, CA, {USA} , July 27-28, 2009}, pages = {107--113}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SASP.2009.5226327}, doi = {10.1109/SASP.2009.5226327}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasp/ZhangK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/ZhangLJC05, author = {Yuanrui Zhang and Shu Liu and Weijia Jia and Xu Cheng}, title = {BluePower - {A} New Distributed Multihop Scatternet Formation Protocol for Bluetooth Networks}, booktitle = {34th International Conference on Parallel Processing {(ICPP} 2005), 14-17 June 2005, Oslo, Norway}, pages = {287--294}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICPP.2005.22}, doi = {10.1109/ICPP.2005.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpp/ZhangLJC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.