Theoretical approach and practice of 'National Spatial Planning Theory': how Chinese cities and towns precisely adapt to nature and culture

Autor: Kai Wang, Hui Xu, Yajie Zhou

Publikováno v: Frontiers of Urban and Rural Planning, Vol 2, Iss 1, Pp 1-14 (2024)

Abstract Over the past 40 years, China has witnessed the world’s largest urbanization process. In light of its natural and cultural conditions featuring resource scarcity, frequent natural disasters, rich cultural heritage and regional disparities

Externí odkaz: https://doaj.org/article/99798ef627a14626b8f21a7d2706ed6f

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Bit-precise procedure-modular termination analysis

Autor: Peter Schrammel, Björn Wachter, Hong-Yi Chen, Cristina David, Daniel Kroening

Publikováno v: Chen, H-Y, David, C, Kroening, D, Schrammel, P & Wachter, B W 2017, ' Bit-Precise Procedure-Modular Termination Analysis ', ACM Transactions on Programming Languages and Systems, vol. 40, no. 1, 1 . https://doi.org/10.1145/3121136

Non-termination is the root cause of a variety of program bugs, such as hanging programs and denial-of-service vulnerabilities. This makes an automated analysis that can prove the absence of such bugs highly desirable. To scale termination checks to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::888439f6e87fa41c339b14021aee6bb4
https://www.repository.cam.ac.uk/handle/1810/294332

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.