[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || A Modular Way to Reason About Iteration
- 作者Rayadurgam, Sanjai; Tkachuk, Oksana
- 文件大小403.67KB
- 发表时间2016
- DOI10.1007/978-3-319-40648-0_24
- 页码322-336
[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Cluster validity index based on n-sphereBen Said, Ahmed; Foufou, Sebti; Abidi, Mongi · 2014
[IEEE 2014 IEEE 5th International Conference on Photonics (ICP) - Kuala Lumpur, Malaysia (2014.9.2-2014.9.4)] 2014 IEEE 5th International Conference on Photonics (ICP) - Multimode fiber based network for IEEE 802.11n signal distributionMaksymiuk, Lukasz; Kowalczyk, Marcin; Siuzdak, Jerzy · 2014
[IEEE 2014 IEEE 11th International Conference on Group IV Photonics - Paris (2014.8.27-2014.8.29)] 11th International Conference on Group IV Photonics (GFP) - Electroluminescent diodes in n-doped germanium with Schottky contactsProst, M.; El Kurdi, M.; Ghrib, A.; Checoury, X.; Zerounian, N.; Aniel, F.; Beaudoin, G.; Sagnes, I.; Boeuf, F.; Boucaud, P. · 2014
[IEEE 2014 IEEE 11th International Conference on Group IV Photonics - Paris, France (2014.8.27-2014.8.29)] 11th International Conference on Group IV Photonics (GFP) - Resonant light emission from N-doped germanium-on-insulator microdisks at room-temperatureXu, Xuejun; Sawano, Kentarou; Maruizumi, Takuya; Shiraki, Yasuhiro · 2014
[IEEE 2014 10th International Conference on Network and Service Management (CNSM) - Rio de Janeiro, Brazil (2014.11.17-2014.11.21)] 10th International Conference on Network and Service Management (CNSM) and Workshop - QoS-aware adaptive MPDU aggregation of VoIP traffic on IEEE 802.11n WLANsSeytnazarov, Shinnazar; Kim, Young-Tak · 2014
[IEEE 2014 IEEE 11th International Conference on Semiconductor Electronics (ICSE) - Kuala Lumpur, Malaysia (2014.8.27-2014.8.29)] 2014 IEEE International Conference on Semiconductor Electronics (ICSE2014) - Lower DIBL in inverted substrate of UTBB SOI n-MOSFETsOthman, Noraini; Arshad, M.K. Md; Hashim, U. · 2014
[IEEE 2014 IEEE 28th International Conference on Advanced Information Networking and Applications (AINA) - Victoria, BC, Canada (2014.5.13-2014.5.16)] 2014 IEEE 28th International Conference on Advanced Information Networking and Applications - Energy Usage of UDP and DCCP over 802.11nAbu-Tair, Mamun; Bhatti, Saleem N. · 2014
[IEEE 2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC) - Miami, FL, USA (2014.04.7-2014.04.9)] Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control - Analyzing the impact of the N-policy on Quality of Service in wireless sensor networksSleem, Aladdin; Bao, Ming; Li, Wei W. · 2014
Population-Based Incremental Learning Algorithm for a Serial Colored Traveling Salesman ProblemMeng, Xianghu; Li, Jun; Zhou, MengChu; Dai, Xianzhong; Dou, Jianping · IEEE Transactions on Systems, Man, and Cybernetics: Systems · 2016
A Two-Stage Approach to Path Planning and Collision Avoidance of Multibridge Machining SystemsLi, Jun; Meng, Xianghu; Zhou, MengChu; Dai, Xianzhong · IEEE Transactions on Systems, Man, and Cybernetics: Systems · 2016
[IEEE 2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC) - Miami, FL, USA (2014.04.7-2014.04.9)] Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control - Improved population-based incremental learning algorithm for vehicle routing problems with soft time windowsMeng, Xianghu; Li, Jun; Qian, Bin; Zhou, MengChu; Dai, Xianzhong · 2014