Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Michael Petter"'
Autor:
Marion C. Schäfer, Michael Petter, Ingo Hartenbach, Ralf J. C. Locke, Shuang Zhang, Claudia Wickleder, Thomas Schleid
Publikováno v:
Crystals, Vol 13, Iss 3, p 511 (2023)
With Tm3F[Si3O10], a new representative of the Ln3F[Si3O10] series could be synthesized by the reaction of Tm2O3, TmF3 and SiO2 (molar ratio: 1:1:3), applying an excess of CsBr as a fluxing agent in gas-tightly sealed platinum crucibles for eight day
Externí odkaz:
https://doaj.org/article/bad0940ab5564442909c78dcedff33f6
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 2 (2017)
We prove that all valid Herbrand equalities can be inter-procedurally inferred for programs where all assignments whose right-hand sides depend on at most one variable are taken into account. The analysis is based on procedure summaries representing
Externí odkaz:
https://doaj.org/article/a83c77dbeb394b838207a3f08d86f9f7
Publikováno v:
Discover Sustainability, Vol 5, Iss 1, Pp 1-16 (2024)
Abstract Current community-led conservation (CLC) actions support present and future biodiversity. Present-day conservation volunteer efforts are measurable; however, future CLC activity is uncertain. Understanding what motivates volunteers to take p
Externí odkaz:
https://doaj.org/article/85d147321b9449909232bc84f2ac7988
Publikováno v:
Programming Languages and Systems ISBN: 9783662466681
ESOP
ESOP
We prove that all valid Herbrand equalities can be inter-procedurally inferred for programs where all assignments whose right-hand sides depend on at most one variable are taken into account. The analysis is based on procedure summaries representing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74b56ec8fca4ffc2f0860abca2674f95
https://lmcs.episciences.org/3655
https://lmcs.episciences.org/3655
Publikováno v:
ACM Transactions on Programming Languages and Systems. 33:1-33
In this article we provide an interprocedural analysis of linear two-variable equalities. The novel algorithm has a worst-case complexity of 𝒪( n ⋅ k 4 ), where k is the number of variables and n is the program size. Thus, it saves a factor of k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f41d3f91ca6a26a203b838148fdeef6d
https://doi.org/10.1145/2049706.2049710
https://doi.org/10.1145/2049706.2049710
Autor:
Nathan Mosusu, Gideon Maim, Michael Petterson, Robert Holm, Arnold Lakamanga, Joseph. O. Espi
Publikováno v:
Geosciences, Vol 13, Iss 12, p 369 (2023)
Geoscientists are involved in both the upstream and downstream side of the extractive industries. As explorationists and field geologists, they are often the first technical people related to extractive industries that communities meet. It is imperat
Externí odkaz:
https://doaj.org/article/ef32c4675b5b421b8bcc8f49a0be3333
Publikováno v:
Static Analysis ISBN: 9783642237010
SAS
SAS
In this paper we present a light-weight interprocedural side-effect analysis on assembly code. We represent the modifying potential of a procedure f by classifying all write accesses, occurring within f, relative to the parameter registers. In partic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::105828b7a75f2657c5900bf0b78f0823
https://doi.org/10.1007/978-3-642-23702-7_10
https://doi.org/10.1007/978-3-642-23702-7_10
Publikováno v:
Programming Languages and Systems ISBN: 9783642171635
APLAS
APLAS
In this paper we provide an interprocedural algorithm for reconstructing the control flow of assembly code in presence of indirect jumps, call instructions and returns. In case that the underlying assembly code is the output of a compiler, indirect j
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f845676f04c8861b6999c15dadbfa64
https://doi.org/10.1007/978-3-642-17164-2_14
https://doi.org/10.1007/978-3-642-17164-2_14
Publikováno v:
Static Analysis ISBN: 9783540691631
In this paper, we present methods for checking and inferring allvalid polynomial relations in ${\mathbb Z_{2^w}}$. In contrast to the infinite field i¾?, ${\mathbb Z_{2^w}}$ is finite and hence allows for finitely many polynomial functions only. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edf51a4d64eb676375625ce5b834b4b5
https://doi.org/10.1007/978-3-540-69166-2_20
https://doi.org/10.1007/978-3-540-69166-2_20
In this paper we present an analysis of assembly code for safety-critical embedded environments. Since local and global variables are the core concepts affecting the control flow of such programs, we first concentrate on classifying memory accesses a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::a1cf41c7eb50bbe457efe9a8365e418d
https://mediatum.ub.tum.de/doc/1094256/document.pdf
https://mediatum.ub.tum.de/doc/1094256/document.pdf