Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Fang, Xinwei"'
The deployment of Large Language Models (LLMs) for code debugging (e.g., C and Python) is widespread, benefiting from their ability to understand and interpret intricate concepts. However, in the semiconductor industry, utilising LLMs to debug Regist
Externí odkaz:
http://arxiv.org/abs/2405.06840
We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software systems. The new PMC technique works by automatically decomposing a param
Externí odkaz:
http://arxiv.org/abs/2208.12723
Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental or internal changes trigger a system response only after a violation of
Externí odkaz:
http://arxiv.org/abs/2205.03628
Publikováno v:
In Global Finance Journal December 2024 63
Autor:
Ren, Wei, Ru, Hao, Peng, Kun, Li, Huifang, Lu, Shuai, Chen, Aixi, Wang, Pengdong, Fang, Xinwei, Li, Zhiyun, Huang, Rong, Wang, Li, Wang, Yihua, Li, Fangsen
Publikováno v:
Materials 14, 4584 (2021)
The phenomenon of oxygen incorporation induced superconductivity in iron telluride (Fe1+yTe, with antiferromagnetic (AFM) orders) is intriguing and quite different from the case of FeSe. Until now, the microscopic origin of the induced superconductiv
Externí odkaz:
http://arxiv.org/abs/2110.06417
Publikováno v:
In Finance Research Letters April 2024 62 Part A
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC formulae
Externí odkaz:
http://arxiv.org/abs/2102.01490
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fang, Xinwei
Using low-cost sensors to monitor the urban environment has become increasingly popular, as they can provide better data resolution than current practices. However, these low-cost sensors often produce poorer data quality, and so the data may not be
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752638
Publikováno v:
In Global Finance Journal May 2023 56