Zobrazeno 1 - 10
of 1 070
pro vyhledávání: '"P. Peringer"'
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed description of the algorithms behind the Predator shape analyser based on
Externí odkaz:
http://arxiv.org/abs/2403.18491
Autor:
Holík, Lukáš, Peringer, Petr, Rogalewicz, Adam, Šoková, Veronika, Vojnar, Tomáš, Zuleger, Florian
The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures - in particular, various kinds of lists - that employ advanced low-level pointer operations. The goal
Externí odkaz:
http://arxiv.org/abs/2205.02590
Publikováno v:
Applied Sciences, Vol 14, Iss 16, p 7430 (2024)
Power loss is a limiting factor for batteries and individual cells. The resulting heat generation due to the power loss leads to reduced battery performance and, thus, lower efficiency. These losses are largely due to the internal resistance of the c
Externí odkaz:
https://doaj.org/article/efdfd5803f7a461d99254342de790873
Kniha
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.
This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is the way PredatorHP handles interval-sized memory regions, which is pa
Externí odkaz:
http://arxiv.org/abs/1909.07152
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.
Kniha
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.
Publikováno v:
Global Ecology and Conservation, Vol 37, Iss , Pp e02140- (2022)
Alpine summer grazing areas (high-altitude pastures) represent hotspots of biodiversity and high cultural heritage values. Low density forests (Alpine Larix decidua and/or Pinus cembra forests) and species-rich open land (Alpine and boreal heaths, si
Externí odkaz:
https://doaj.org/article/e80a9e6aaa69410da1cd188bad2b14c8
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls of standard high-level container operations like push_back or pop_fro
Externí odkaz:
http://arxiv.org/abs/1510.07995
Autor:
Bettina Pauer, Gabriel Julian Partl, Stefan Oberparleiter, Walter Schuh, Holger Kopacka, Klaus Wurst, Paul Peringer
Publikováno v:
Acta Crystallographica Section E: Crystallographic Communications, Vol 75, Iss 2, Pp 179-184 (2019)
The structure of [IrCl2(C58H51N3P4)]Cl·5.5CH3CN or [IrCl2(NHCHPh)(((dppm)C(N2dppm))-κ3P,C,P)]Cl·5.5CH3CN [3, dppm = bis(diphenylphosphino)methane; systematic name: dichlorido(1,1,3,3,7,7,9,9-octaphenyl-4,5-diaza-1,3λ5,7λ4,9-tetraphosphanona-3,5-
Externí odkaz:
https://doaj.org/article/9af8c84a1392485c9d1a50ac4a27403e