-
1دورية أكاديمية
المؤلفون: Jianxing Zhang, Baoren Li, Yuxuan Peng, Daming Zou, Gang Yang
المصدر: Journal of Marine Science and Engineering, Vol 11, Iss 1, p 202 (2023)
مصطلحات موضوعية: underwater glider, optimization design, pressure hull, energy consumption constraint, Naval architecture. Shipbuilding. Marine engineering, VM1-989, Oceanography, GC1-1581
وصف الملف: electronic resource
-
2
المؤلفون: Daming Zou, Yuchen Gu, Yuanfeng Shi, MingZhe Wang, Yingfei Xiong, Zhendong Su
المصدر: Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)
مصطلحات موضوعية: program repair, floating-point error, micro-structure, dynamic analysis, Safety, Risk, Reliability and Quality, Software
وصف الملف: application/application/pdf
-
3
المؤلفون: Lu Zhang, Daming Zou, Michael D. Ernst, Yingfei Xiong, Jingjing Liang
المصدر: IEEE Transactions on Software Engineering. 47:332-347
مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, business.industry, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, Fault (power engineering), computer.software_genre, Execution time, Software Engineering (cs.SE), Computer Science - Software Engineering, Range (mathematics), Empirical research, Software, Debugging, Software bug, 0202 electrical engineering, electronic engineering, information engineering, Data mining, business, computer, media_common
-
4
المؤلفون: Muhan Zeng, Zhoulai Fu, Lu Zhang, Daming Zou, Zhendong Su, Yingfei Xiong
المصدر: Zou, D, Zou, M, Xiong, Y, Fu, Z, Zhang, L & Su, Z 2019, Detecting Floating-Point Errors via Atomic Conditions . in 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) ., 60, Association for Computing Machinery . https://doi.org/10.1145/3371128
Proceedings of the ACM on Programming Languages, 4 (POPL)مصطلحات موضوعية: Difficult problem, Floating point, Computer science, media_common.quotation_subject, Testing, Floating-point error, 02 engineering and technology, Search engine, Program analysis, 020204 information systems, Dynamic analysis, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Safety, Risk, Reliability and Quality, Implementation, media_common, floating-point error, business.industry, 020207 software engineering, Atomic condition, dynamic analysis, Modular design, Computer engineering, Debugging, business, Software
وصف الملف: application/pdf; application/application/pdf
-
5
المؤلفون: Lu Zhang, Gang Huang, Daming Zou, Yingfei Xiong, Ran Wang, Xinrui He
المصدر: SIGSOFT FSE
مصطلحات موضوعية: Ideal (set theory), Floating point, Computer engineering, Semantics (computer science), Computer science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), False positive paradox, 020207 software engineering, 02 engineering and technology, Precision and recall, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0eb9084eca1f35157198d4601a8c6aad
https://doi.org/10.1145/2950290.2950355 -
6
المؤلفون: Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
المصدر: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::40a3b0733be6bad8351c85dfb3552a2c
https://doi.org/10.1109/icse.2015.70 -
7
المصدر: Frontiers in Bioscience. 11:2574
مصطلحات موضوعية: PEAR, education.field_of_study, Geography, Health professionals, biology, Population, Opuntia, biology.organism_classification, Horticulture, Nutraceutical, Healthy food, Fruit, Fruits and vegetables, Cactus, Cladodes, education, Nutritive Value, Phytotherapy
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9ca4ad75ee41cefcf1749e994bedb67
https://doi.org/10.2741/1992