Zobrazeno 1 - 10
of 709
pro vyhledávání: '"A. Hähnle"'
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to compr
Externí odkaz:
http://arxiv.org/abs/2403.06622
Autor:
Hähnle, Reiner, Henrio, Ludovic
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 6
The context of this work is cooperative scheduling, a concurrency paradigm, where task execution is not arbitrarily preempted. Instead, language constructs exist that let a task voluntarily yield the right to execute to another task. The inquiry is t
Externí odkaz:
http://arxiv.org/abs/2312.16977
Autor:
Uhrmacher, Adelinde, Frazier, Peter, Hähnle, Reiner, Klügl, Franziska, Lorig, Fabian, Ludäscher, Bertram, Nenzi, Laura, Ruiz-Martin, Cristina, Rumpe, Bernhard, Szabo, Claudia, Wainer, Gabriel A., Wilsdorf, Pia
Simulation has become, in many application areas, a sine-qua-non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices and methods. We identify four goals of methodological work for addressi
Externí odkaz:
http://arxiv.org/abs/2310.05649
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified with the state-based Hoare-style contracts common in deductive verifi
Externí odkaz:
http://arxiv.org/abs/2310.04384
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This necessitates to annot
Externí odkaz:
http://arxiv.org/abs/2211.09487
Autor:
Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, Silvia Lizeth Tapia
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to align smoot
Externí odkaz:
http://arxiv.org/abs/2202.12195
Autor:
Taniguchi, Akio, Bakx, Tom J. L. C., Baselmans, Jochem J. A., Huiting, Robert, Karatsu, Kenichi, Llombart, Nuria, Rybak, Matus, Takekoshi, Tatsuya, Tamura, Yoichi, Akamatsu, Hiroki, Brackenhoff, Stefanie, Bueno, Juan, Buijtendorp, Bruno T., Dabironezare, Shahab, Doing, Anne-Kee, Fujii, Yasunori, Fujita, Kazuyuki, Gouwerok, Matthijs, Hähnle, Sebastian, Ishida, Tsuyoshi, Ishii, Shun, Kawabe, Ryohei, Kitayama, Tetsu, Kohno, Kotaro, Kouchi, Akira, Maekawa, Jun, Matsuda, Keiichi, Murugesan, Vignesh, Nakatsubo, Shunichi, Oshima, Tai, Laguna, Alejandro Pascual, Thoen, David J., van der Werf, Paul P., Yates, Stephen J. C., Endo, Akira
Integrated superconducting spectrometer (ISS) technology will enable ultra-wideband, integral-field spectroscopy for (sub)millimeter-wave astronomy, in particular, for uncovering the dust-obscured cosmic star formation and galaxy evolution over cosmi
Externí odkaz:
http://arxiv.org/abs/2110.14656
Autor:
Buijtendorp, B. T., Vollebregt, S., Karatsu, K., Thoen, D. J., Murugesan, V., Kouwenhoven, K., Hähnle, S., Baselmans, J. J. A., Endo, A.
Publikováno v:
Phys. Rev. Appl. 18 (2022) 064003
Low-loss deposited dielectrics will benefit superconducting devices such as integrated superconducting spectrometers, superconducting qubits and kinetic inductance parametric amplifiers. Compared with planar structures, multi-layer structures such as
Externí odkaz:
http://arxiv.org/abs/2110.03500
Autor:
Hähnle, S., Kouwenhoven, K., Buijtendorp, B., Endo, A., Karatsu, K., Thoen, D. J., Murugesan, V., Baselmans, J. J. A.
Publikováno v:
Phys. Rev. Applied 16, 014019, July 2021
We present a lab-on-chip experiment to accurately measure losses of superconducting microstrip lines at microwave and sub-mm wavelengths. The microstrips are fabricated from NbTiN, which is deposited using reactive magnetron sputtering, and amorphous
Externí odkaz:
http://arxiv.org/abs/2108.11095
Autor:
Endo, Akira, Laguna, Alejandro Pascual, Hähnle, Sebastian, Karatsu, Kenichi, Thoen, David J., Murugesan, Vignesh, Baselmans, Jochem J. A.
Publikováno v:
Proc. SPIE 11453, Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy X, 114532T (2020)
Superconducting resonators and transmission lines are fundamental building blocks of integrated circuits for millimeter-submillimeter astronomy. Accurate simulation of radiation loss from the circuit is crucial for the design of these circuits becaus
Externí odkaz:
http://arxiv.org/abs/2012.07251