[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Crellvm: verified credible compilation for LLVM
- 作者Kang, Jeehoon; Hur, Chung-Kil; Yi, Kwangkeun; Kim, Yoonseung; Song, Youngju; Lee, Juneyoung; Park, Sanghoon; Shin, Mark Dongyeon; Kim, Yonghyun; Cho, Sungkeun; Choi, Joonwon
- 文件大小455.74KB
- 发表时间2018
- DOI10.1145/3192366.3192377
- 页码631-645
[ACM Press the 12th ACM SIGPLAN International Conference - Athens, Greece (2019.10.20-2019.10.22)] Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019 - The lands platform: lan.guages and d.omain s.yntaxPapoulias, Nick · 2019
[ACM Press the 4th international conference - Stanford, California (2006.12.04-2006.12.06)] Proceedings of the 4th international conference on Mobile and ubiquitous multimedia - MUM '06 - A QoS management system for multimedia applications in IEEE 802.11 wireless LANPalmieri, Andrea; Sigona, Francesco · 2006
[ACM Press the 15th ACM international conference - Paphos, Cyprus (2012.10.21-2012.10.25)] Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '12 - Measuring channel occupancy for 802.11 wireless LAN in the 2.4 GHz ISM bandWollenberg, Till; Bader, Sebastian; Ahrens, Andreas · 2012
[ACM Press the 7th International Conference - Umeå, Sweden (2008.12.03-2008.12.05)] Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia - MUM '08 - Application-aware handover with minimal power consumption for multimedia streaming service in wireless LANPark, Jong-Tae; Nah, Jae-Wook; Wang, Song · 2008
[ACM Press the 6th International Conference - Kuala Lumpur, Malaysia (2012.02.20-2012.02.22)] Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication - ICUIMC '12 - Throughput analysis and measurement on real terminal in multi-rate wireless LANIwaki, Saeko; Murase, Tutomu; Oguchi, Masato · 2012