Zobrazeno 1 - 10
of 129
pro vyhledávání: '"XIAOGUANG MAO"'
Autor:
Xiang Ye, Zhiwen Dou, Mingyan Jiang, Zhenghua Luo, Mao Li, Haixiong Tang, Xiao Huang, Yuqian Wang, Liwei Dong, Xiaoguang Mao, Yu Feng
Publikováno v:
Frontiers in Public Health, Vol 11 (2023)
BackgroundNature therapy can significantly benefit the physiology and psychology of middle-aged and older people, but previous studies have focused on forest environments. The restoration potential of rural environments in urban fringe areas, which a
Externí odkaz:
https://doaj.org/article/343f0cf973324a31a24cbfcf87201684
Publikováno v:
PLoS ONE, Vol 17, Iss 9, p e0274515 (2022)
In an error-prone development process, the ability to localize faults is a crucial one. Generally speaking, detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development time. The debugg
Externí odkaz:
https://doaj.org/article/391deafd8fe24b048928f545bfd5f407
Publikováno v:
IEEE Access, Vol 7, Pp 62561-62576 (2019)
Organ transplantation has brought convenience for software reuse and evolution since it was proposed. However, studies about mature, high-quality organs are still insufficient. It is still unclear about the detailed characteristics of organs in the o
Externí odkaz:
https://doaj.org/article/07f346eff96740628a09338e7acebf37
Publikováno v:
IEEE Access, Vol 6, Pp 59268-59281 (2018)
Organ transplantation, which is the utilization of codes directly related to some specific functionalities to complete one’s own program, provides more convenience for developers than the traditional component reuse. However, recent techniques are
Externí odkaz:
https://doaj.org/article/20f2aaeffba54852a04fbd1a646372b8
Publikováno v:
Journal of Applied Mathematics, Vol 2014 (2014)
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In such reduct
Externí odkaz:
https://doaj.org/article/c25210aa99a349a9862a8f495bf2df82
Publikováno v:
The Scientific World Journal, Vol 2013 (2013)
API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single
Externí odkaz:
https://doaj.org/article/36d952bbf29b4ec09998df3257153d43
Publikováno v:
Journal of Applied Mathematics, Vol 2013 (2013)
As a complementary technique of the BDD-based approach, bounded model checking (BMC) has been successfully applied to LTL symbolic model checking. However, the expressiveness of LTL is rather limited, and some important properties cannot be captured
Externí odkaz:
https://doaj.org/article/f923258bbaec47adb02f661300df545f
Publikováno v:
ACM Transactions on Architecture & Code Optimization; Sep2024, Vol. 21 Issue 3, p1-25, 25p
Publikováno v:
ACM Transactions on Architecture & Code Optimization; Sep2024, Vol. 21 Issue 3, p1-26, 26p
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-37
Evaluation is the foundation of automated program repair (APR), as it provides empirical evidence on strengths and weaknesses of APR techniques. However, the reliability of such evaluation is often threatened by various introduced biases. Consequentl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a055363822430954c17e9e7fee943dc
https://doi.org/10.1145/3561382
https://doi.org/10.1145/3561382