Zobrazeno 1 - 10
of 1 604
pro vyhledávání: '"Fesefeldt, A."'
In this paper, we develop a novel verification technique to reason about programs featuring concurrency, pointers and randomization. While the integration of concurrency and pointers is well studied, little is known about the combination of all three
Externí odkaz:
http://arxiv.org/abs/2207.02822
Autor:
Batz, Kevin, Fesefeldt, Ira, Jansen, Marvin, Katoen, Joost-Pieter, Keßler, Florian, Matheja, Christoph, Noll, Thomas
Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers instead of truth values, e.g., the probability of memory-safe termination i
Externí odkaz:
http://arxiv.org/abs/2201.11464
Publikováno v:
Energy Reports, Vol 7, Iss , Pp 343-350 (2021)
During the IntegrCiTy project, a novel urban energy planning approach was successfully tested. The latter combines stakeholder engagement with an innovative multi-energy model using different control strategies, while combining both energy demand and
Externí odkaz:
https://doaj.org/article/60d5ef4fa189487c909a9168ccb9f201
Publikováno v:
In Energy 15 September 2021 231
Publikováno v:
Recht in Afrika, Vol 22, Iss 1, Pp 120-126 (2019)
Externí odkaz:
https://doaj.org/article/6190b3efeb574b21a90c63f8c336ed9b
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:
Jobard, Xavier, Capezzali, Massimiliano, Dimri, Neha, Duret, Alexis, Fesefeldt, Marten, Frossard, Mija, Jacquot, Vincent, Lasvaux, Sebastien
Publikováno v:
Journal of Physics: Conference Series; Sep2023, Vol. 2600 Issue 1, p1-6, 6p
Publikováno v:
Energy Reports, Vol 7, Iss, Pp 343-350 (2021)
During the IntegrCiTy project, a novel urban energy planning approach was successfully tested. The latter combines stakeholder engagement with an innovative multi-energy model using different control strategies, while combining both energy demand and
Autor:
Walther L. Bernecker, Christian Büschges, Antoni Gavaldá, Juan Pan-Montojo, Sebastian Dorsch, Henrike Fesefeldt, M. del Carmen Riu de Martín, Abel Losada Álvarez, Ursula Prutsch, Stefan Peters, Birgit Aschmann, Geraldine Rogers, Klaus-Jürgen Nagel, Anthony Gilliland
Publikováno v:
Iberoamericana. América Latina - España - Portugal, Vol 8, Iss 31, Pp 245-270 (2014)
Externí odkaz:
https://doaj.org/article/8455395b0bbc42d382367575bfbe5baf
Autor:
Sören Brinkmann, Virginia Maza Castán, Günter Mertins, Manfred Böcker, Marició Janué i Miret, José Manuel Ventura Rojas, Henrike Fesefeldt, Walther L. Bernecker, Pedro Ribas, Andreas Stucki, Santiago Izquierdo Ballester, Klaus-Jürgen Nagel
Publikováno v:
Iberoamericana. América Latina - España - Portugal, Vol 4, Iss 13, Pp 247-271 (2014)
Externí odkaz:
https://doaj.org/article/5efe20e412ef44d6925a4df1a5bde5b7