Page 173 - 《软件学报》2024年第6期

陈文杰 等: 面向全分布式智能建筑系统应用程序的并行化编译方法 2749

1375581.1375595]
[21] Ferner CS. The Paraguin compiler-message-passing code generation using SUIF [Stanford University Intermediate Format]. In: Proc. of
the 2002 IEEE SoutheastCon. Columbia: IEEE, 2002. 1–6. [doi: 10.1109/SECON.2002.995545]
[22] Chen DZ, Zhao RC, Yao Y, Han L. Message-passing code generation algorithm in the MPI automatic parallelizing compilation system.
Computer Science, 2012, 39(6): 301–304 (in Chinese with English abstract). [doi: 10.3969/j.issn.1002-137X.2012.06.075]
[23] Jordan H, Pellegrini S, Thoman P, Kofler K, Fahringer T. INSPIRE: The insieme parallel intermediate representation. In: Proc. of the
22nd Int’l Conf. on Parallel Architectures and Compilation Techniques. Edinburgh: IEEE, 2013. 7–17. [doi: 10.1109/PACT.2013.
6618799]
[24] Schardl TB, Moses WS, Leiserson CE. Tapir: Embedding fork-join parallelism into LLVM’s intermediate representation. In: Proc. of the
22nd ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming. Austin: ACM, 2017. 249–265. [doi: 10.1145/3018743.
3018758]
[25] Armstrong TG, Wozniak JM, Wilde M, Foster IT. Compiler techniques for massively scalable implicit task parallelism. In: Proc. of the
2014 Int’l Conf. for High Performance Computing, Networking, Storage and Analysis. New Orleans: IEEE, 2014. 299–310. [doi: 10.1109/
SC.2014.30]
[26] Shen Q. Studies on architecture of decentralized system in intelligent building [Ph.D. Thesis]. Beijing: Tsinghua University, 2015 (in
Chinese with English abstract).
[27] Zhao QC, Xai L, Jiang ZY. Project report: New generation intelligent building platform techniques. Energy Informatics, 2018, 1: 1–5.
[doi: 10.1007/s42162-018-0011-9]
2
[28] Zhao QC, Jiang ZY. Insect intelligent building (I B): A new architecture of building control systems based on Internet of Things (IoT). In:
Proc. of the 2019 Int’l Conf. on Smart City and Intelligent Building. Singapore: Springer, 2019. 457–466. [doi: 10.1007/978-981-13-6733-
5_42]
[29] Jiang ZY, Dai YC. A decentralized, flat-structured building automation system. Energy Procedia, 2017, 122: 68–73. [doi: 10.1016/j.
egypro.2017.07.285]
[30] Dai YC, Jiang ZY, Shen Q, Chen PZ, Wang SQ, Jiang Y. A decentralized algorithm for optimal distribution in HVAC systems. Building
and Environment, 2016, 95: 21–31. [doi: 10.1016/j.buildenv.2015.09.007C]
[31] Yu JQ, Liu QT, Zhao AJ, Qian XG, Zhang R. Optimal chiller loading in HVAC system using a novel algorithm based on the distributed
framework. Journal of Building Engineering, 2020, 28: 101044. [doi: 10.1016/j.jobe.2019.101044]
[32] SwarmIntelligenceCompiler. 2024. https://gitee.com/resiliencewj/supplemental-material
[33] English abstract). [doi: 10.3969/j.issn.1673-7237.2018.11.001]
Bernstein PA. Applying model management to classical meta data problems. In: Proc. of the 1st Biennial Conf. on Innovative Data
Systems Research. Asilomar: CIDR, 2003. 209–220.
[34] Nastic S, Sehic S, Vögler M, Truong H L, Dustdar S. PatRICIA—A novel programming model for IoT applications on cloud platforms.
In: Proc. of the 6th Int’l Conf. on Service-Oriented Computing and Applications. Koloa: IEEE, 2013. 53–60. [doi: 10.1109/SOCA.2013.
48]
[35] Dedousis D, Kalogeraki V. A framework for programming a Swarm of UAVs. In: Proc. of the 11th Pervasive Technologies Related to
Assistive Environments Conf. Corfu: ACM, 2018. 5–12. [doi: 10.1145/3197768.3197772]
[36] Bettini L. Implementing Domain-specific Languages with Xtext and Xtend. 2nd ed., Birmingham: Packt Publishing, 2016.
[37] Liu XG, Xie LQ, Yang QL, Xing JC, Jiang ZY, Zhao QC. Simulation experiment study on firefighting system under the insect intelligent
building platform. Building Science, 2020, 36(4): 149–154 (in Chinese with English abstract). [doi: 10.13614/j.cnki.11-1962/tu.2020.04.
22]
[38] Koziolek H. Goal, question, metric. Dependability Metrics: Advanced Lectures, 2008, 39–42. [doi: 10.1007/978-3-540-68947-8_6]
[39] Zhu DD. Building automation platform based on insect intelligence. Building Energy Efficiency, 2018, 46(11): 1–4 (in Chinese with
[40] Chen WJ, Yang QL, Jiang ZY, Xing JC, Zhao QC, Zhou QZ, Han DS. Touch: A textual programming language for developing APPs of
insect intelligent building. Scientific Programming, 2020, 2020: 8887588. [doi: 10.1155/2020/8887588]
[41] Dai YC, Jiang ZY, Zhang F, Li HB, Zhao XH, Song ML, Pu J. Application of Swarm intelligent system to a new commercial building.
Heating Ventilating & Air Conditioning, 2019, 49(11): 18–25, 17 (in Chinese with English abstract).
[42] Arabnejad H, Bispo J, Barbosa JG, Cardoso JMP. AutoPar-clava: An automatic parallelization source-to-source tool for C code
applications. In: Proc. of the 9th Workshop and the 7th Workshop on Parallel Programming and RunTime Management Techniques for
Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms. Manchester: ACM, 2018.
13–19. [doi: 10.1145/3183767.3183770]