Zobrazeno 1 - 10
of 1 712
pro vyhledávání: '"HOFFMANN, JAN"'
Autor:
Pham, Long, Hoffmann, Jan
Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vulnerabilities to denial-of-service (DoS) attacks. However, it is non-tr
Externí odkaz:
http://arxiv.org/abs/2309.01261
The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automatic resource analysis is the inference of bounds that are functions of
Externí odkaz:
http://arxiv.org/abs/2304.13627
Autor:
Hoffmann, Jan1,2 (AUTHOR) j.hoffmann@tu-braunschweig.de, Canders, Wolf-Rüdiger1,2 (AUTHOR) w.canders@tu-braunschweig.de, Henke, Markus1,2 (AUTHOR) markus.henke@tu-braunschweig.de
Publikováno v:
Energies (19961073). Nov2024, Vol. 17 Issue 22, p5652. 23p.
Autor:
Wells, Megan, Hoffmann, Jan, Stage, Autumn, Enger, Isabella, Pomper, Jayme, Briggs, Lily, LaCrosse, Amber ∗
Publikováno v:
In The Journal of Pharmacology and Experimental Therapeutics January 2025 392(1)
Autor:
Sparks, Tay, Kuksenko, Viacheslav, Gorley, Michael, Hoffmann, Jan, Chiu, Yu-Lung, Connolley, Thomas, Rieth, Michael, Wang, Yiqiang, Cai, Biao
Publikováno v:
In Acta Materialia 1 June 2024 271
Autor:
Kahn, David M, Hoffmann, Jan
We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more precise analyses of resources that are not monotonically consumed, like st
Externí odkaz:
http://arxiv.org/abs/2106.13936
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating guide programs to improve inferen
Externí odkaz:
http://arxiv.org/abs/2104.03598
In this article, we present a semantics-level adaption of the Optional Stopping Theorem, sketch an expected-cost analysis as its application, and survey different variants of the Optional Stopping Theorem that have been used in static analysis of pro
Externí odkaz:
http://arxiv.org/abs/2103.16105
Autor:
Santamaria, Morena, Stöcker, Arno, Hoffmann, Jan, Mause, Laura, Ohnhäuser, Tim, Scholten, Nadine
Publikováno v:
In International Dental Journal April 2024 74(2):276-283