@inproceedings{66192, author = {{Shi, Junjie and Ueter, Niklas and Chen, Jian-Jia and Chen, Kuan-Hsun}}, booktitle = {{2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)}}, publisher = {{IEEE}}, title = {{{Average Task Execution Time Minimization under (m, k) Soft Error Constraint}}}, doi = {{10.1109/rtas58335.2023.00008}}, year = {{2023}}, } @inproceedings{66197, author = {{Guenzel, Mario and Ueter, Niklas and Chen, Kuan-Hsun and Chen, Jian-Jia}}, booktitle = {{The 31st International Conference on Real-Time Networks and Systems}}, publisher = {{ACM}}, title = {{{Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms}}}, doi = {{10.1145/3575757.3593640}}, year = {{2023}}, } @unpublished{66312, abstract = {{Let $X$ be a complex abelian variety. We prove an analogue of both the (cohomological) $P=W$ conjecture and the geometric $P=W$ conjecture connecting the finer topological structure of the Dolbeault moduli space of topologically trivial semistable Higgs bundles on $X$ and the Betti moduli space of characters of the fundamental group of $X$. The geometric heart of our approach is the spectral data morphism for Dolbeault moduli spaces on abelian varieties that naturally factors the Hitchin morphism and whose target is not an affine space of pluricanonical sections, but a suitable symmetric product.}}, author = {{Bolognese, Barbara and Küronya, Alex and Ulirsch, Martin}}, booktitle = {{arXiv:2303.03734}}, title = {{{$P=W$ phenomena on abelian varieties}}}, year = {{2023}}, } @article{66325, abstract = {{AbstractLet$\mathfrak{A}$be a finite abelian group. In this paper, we classify harmonic$\mathfrak{A}$-covers of a tropical curve$\Gamma$(which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on$\Gamma$. We give a realisability criterion for harmonic$\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on$\Gamma$. As an explicit example, we work out the case$\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$and explain how realisability for such covers is related to the nowhere-zero flow problem from graph theory.}}, author = {{Len, Yoav and Ulirsch, Martin and Zakharov, Dmitry}}, issn = {{0305-0041}}, journal = {{Mathematical Proceedings of the Cambridge Philosophical Society}}, number = {{2}}, pages = {{395--416}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Abelian tropical covers}}}, doi = {{10.1017/S0305004123000518}}, volume = {{176}}, year = {{2023}}, } @misc{65608, author = {{Sperling, Sonja}}, booktitle = {{Die Grundschulzeitschrift}}, number = {{341}}, pages = {{32--34}}, title = {{{Grammatik in Bewegung. Klammerstrukturen in Sätzen erforschen}}}, year = {{2023}}, } @inproceedings{45775, abstract = {{RISC-V has received worldwide acceptance in the industry and by the academic community. As of today, multiple RISC-V applications and variants are under investigation for embedded IoT systems, from resource-limited single-core processors up to multi-core systems for High-Performance Computing (HPC). Recently, the Grid of Processing Cells (GPC) platform has been proposed as a scalable parallel grid-oriented network of processor cores with local memories. This paper describes a prototype design of the GPC platform for hardware implementation at Register-Transfer Level (RTL) based on modified RISC-V Rocket processors with scratchpad memories. It introduces a scalable Chisel-based implementation of the modified Rocket cores with RTL generation and a functional test using Verilator simulation. This work also includes the adaptation of the Chipyard software toolchain to extend the compiler to multi-core grids with different local address spaces.}}, author = {{Luchterhandt, Lars and Nellius, Tom and Beck, Robert and Dömer, Rainer and Kneuper, Pascal and Müller, Wolfgang and Sadiye, Babak}}, booktitle = {{MBMV 2023 - 26. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“, MBMV 2023, Freiburg}}, location = {{Freiburg}}, publisher = {{VDE Verlag}}, title = {{{Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture}}}, year = {{2023}}, } @misc{66659, author = {{Pöllmann, Andreas}}, booktitle = {{EEO Enzyklopädie Erziehungswissenschaften Online}}, issn = {{2191-8325}}, pages = {{1--19}}, publisher = {{Beltz Verlagsgruppe GmbH & Co. KG}}, title = {{{Interkulturelles Kapital}}}, doi = {{10.3262/eeo06230481}}, year = {{2023}}, } @book{58753, abstract = {{Angesichts der aktuellen Arbeitsbedingungen in Wissenschaft und Hochschule – zwischen Qualifizierung, Selbstoptimierung und Prekarisierung – hangeln sich Wissenschaftler*innen jenseits unbefristeter Professuren von einem befristeten Arbeitsvertrag zum nächsten. Unter prekarisierten Arbeitsbedingungen stemmen sie einen Großteil der wissenschaftlichen Arbeit in Forschung und Lehre. Der Band diskutiert diese Verhältnisse der Wissensproduktion aus theoretischen, historischen, politischen wie empirischen Blickrichtungen, wobei der Fokus der Analysen über ungleichheitstheoretische erziehungs- und sozialwissenschaftliche Perspektivierungen sowie solche angrenzender disziplinärer Felder grundiert ist. Er leistet damit auch einen Beitrag zu den Bestrebungen, für bessere Arbeitsbedingungen an Hochschulen und in der Wissenschaft einzutreten.}}, editor = {{Leinfellner, Stefanie and Thole, Friederike and Simon, Stephanie and Sehmer, Julian}}, isbn = {{978-3-8474-1869-6}}, pages = {{239}}, publisher = {{Barbara Budrich}}, title = {{{Bedingungen der Wissensproduktion. Qualifizierung, Selbstoptimierung und Prekarisierung in Wissenschaft und Hochschule (eBook)}}}, year = {{2023}}, } @book{58752, abstract = {{Angesichts der aktuellen Arbeitsbedingungen in Wissenschaft und Hochschule – zwischen Qualifizierung, Selbstoptimierung und Prekarisierung – hangeln sich Wissenschaftler*innen jenseits unbefristeter Professuren von einem befristeten Arbeitsvertrag zum nächsten. Unter prekarisierten Arbeitsbedingungen stemmen sie einen Großteil der wissenschaftlichen Arbeit in Forschung und Lehre. Der Band diskutiert diese Verhältnisse der Wissensproduktion aus theoretischen, historischen, politischen wie empirischen Blickrichtungen, wobei der Fokus der Analysen über ungleichheitstheoretische erziehungs- und sozialwissenschaftliche Perspektivierungen sowie solche angrenzender disziplinärer Felder grundiert ist. Er leistet damit auch einen Beitrag zu den Bestrebungen, für bessere Arbeitsbedingungen an Hochschulen und in der Wissenschaft einzutreten.}}, editor = {{Leinfellner, Stefanie and Thole, Friederike and Simon, Stephanie and Sehmer, Julian}}, isbn = {{978-3-8474-2699-8}}, pages = {{239}}, publisher = {{Barbara Budrich}}, title = {{{Bedingungen der Wissensproduktion. Qualifizierung, Selbstoptimierung und Prekarisierung in Wissenschaft und Hochschule}}}, year = {{2023}}, } @inbook{58754, author = {{Leinfellner, Stefanie and Thole, Friederike and Sehmer, Julian and Simon, Stephanie}}, booktitle = {{Bedingungen der Wissensproduktion. Qualifizierung, Selbstoptimierung und Prekarisierung in Wissenschaft und Hochschule}}, editor = {{Leinfellner, Stefanie and Thole, Friederike and Simon, Stephanie and Sehmer, Julian}}, isbn = {{978-3-8474-2699-8}}, pages = {{11 -- 25}}, publisher = {{Barbara Budrich}}, title = {{{Bedingungen der Wissensproduktion an Hochschulen und die Notwendigkeit ihrer disziplinären Bearbeitung}}}, year = {{2023}}, } @inbook{58755, author = {{Simon, Stephanie and Sehmer, Julian and Thole, Friederike and Leinfellner, Stefanie}}, booktitle = {{Bedingungen der Wissensproduktion. Qualifizierung, Selbstoptimierung und Prekarisierung in Wissenschaft und Hochschule}}, editor = {{Leinfellner, Stefanie and Thole, Friederike and Simon, Stephanie and Sehmer, Julian}}, isbn = {{978-3-8474-2699-8}}, pages = {{65 -- 86}}, publisher = {{Barbara Budrich}}, title = {{{Biographien in der Wissenschaft zwischen Qualifizierung, (Selbst-)Optimierung und Prekarisierung}}}, year = {{2023}}, } @article{53539, abstract = {{AbstractThe infinite Brownian loop on a Riemannian manifold is the limit in distribution of the Brownian bridge of length T around a fixed origin when $$T \rightarrow +\infty $$ T → + ∞ . The aim of this note is to study its long-time asymptotics on Riemannian symmetric spaces G/K of noncompact type and of general rank. This amounts to the behavior of solutions to the heat equation subject to the Doob transform induced by the ground spherical function. Unlike the standard Brownian motion, we observe in this case phenomena which are similar to the Euclidean setting, namely $$L^1$$ L 1 asymptotic convergence without requiring bi-K-invariance for initial data, and strong $$L^{\infty }$$ L ∞ convergence.}}, author = {{Papageorgiou, Efthymia}}, issn = {{2296-9020}}, journal = {{Journal of Elliptic and Parabolic Equations}}, keywords = {{Applied Mathematics, Numerical Analysis, Analysis}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Asymptotics for the infinite Brownian loop on noncompact symmetric spaces}}}, doi = {{10.1007/s41808-023-00250-8}}, year = {{2023}}, } @inproceedings{66199, author = {{Lin, Ching-Chi and Günzel, Mario and Shi, Junjie and Seidl, Tristan Taylan and Chen, Kuan-Hsun and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)}}, publisher = {{IEEE}}, title = {{{Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies}}}, doi = {{10.1109/rtas58335.2023.00020}}, year = {{2023}}, } @article{66198, title = {{{Simulation Environment with Customized RISC-V Instructions for Logic-in-Memory Architectures}}}, doi = {{10.48550/ARXIV.2303.12128}}, year = {{2023}}, } @article{66183, abstract = {{In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the corresponding effect, must be provided. Current approaches focus on the maximum reaction time, considering the worst-case system behavior. However, in many scenarios, probabilistic guarantees on the reaction time are sufficient. That is, it is sufficient to provide a guarantee that the reaction does not exceed a certain threshold with (at least) a certain probability. This work provides such probabilistic guarantees on the reaction time, considering two types of randomness: response time randomness and failure probabilities. To the best of our knowledge, this is the first work that defines and analyzes probabilistic reaction time for cause-effect chains based on sporadic tasks.}}, author = {{Günzel, Mario and Ueter, Niklas and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}}, issn = {{1539-9087}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{5s}}, pages = {{1--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Probabilistic Reaction Time Analysis}}}, doi = {{10.1145/3609390}}, volume = {{22}}, year = {{2023}}, } @article{66188, abstract = {{In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the corresponding effect, must be provided. Current approaches focus on the maximum reaction time, considering the worst-case system behavior. However, in many scenarios, probabilistic guarantees on the reaction time are sufficient. That is, it is sufficient to provide a guarantee that the reaction does not exceed a certain threshold with (at least) a certain probability. This work provides such probabilistic guarantees on the reaction time, considering two types of randomness: response time randomness and failure probabilities. To the best of our knowledge, this is the first work that defines and analyzes probabilistic reaction time for cause-effect chains based on sporadic tasks.}}, author = {{Günzel, Mario and Ueter, Niklas and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}}, issn = {{1539-9087}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{5s}}, pages = {{1--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Probabilistic Reaction Time Analysis}}}, doi = {{10.1145/3609390}}, volume = {{22}}, year = {{2023}}, } @article{66185, author = {{Chen, Kuan-Hsun and Lin, Yung-Chia and Lee, Jenq-Kuen}}, issn = {{1939-8018}}, journal = {{Journal of Signal Processing Systems}}, number = {{5}}, pages = {{569--570}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications}}}, doi = {{10.1007/s11265-023-01854-y}}, volume = {{95}}, year = {{2023}}, } @inproceedings{66196, author = {{Hölscher, Nils and Truong, Minh Duy and Hakert, Christian and Seidl, Tristan and Chen, Kuan-Hsun and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 12th Non-Volatile Memory Systems and Applications Symposium (NVMSA)}}, publisher = {{IEEE}}, title = {{{Rapid NVM Simulation and Analysis on Single Bit Granularity Featuring Gem5 and NVMain}}}, doi = {{10.1109/nvmsa58981.2023.00012}}, year = {{2023}}, } @inproceedings{66195, author = {{Teper, Harun and Betz, Tobias and Von Der Brüggen, Georg and Chen, Kuan-Hsun and Betz, Johannes and Chen, Jian-Jia}}, booktitle = {{2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)}}, publisher = {{IEEE}}, title = {{{Timing-Aware ROS 2 Architecture and System Optimization}}}, doi = {{10.1109/rtcsa58653.2023.00032}}, year = {{2023}}, } @article{66358, abstract = {{AbstractAffine Bruhat–Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of parameterizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite‐dimensional vector space, up to homothety. It has first been studied by Goldman and Iwahori as a piecewise‐linear analogue of symmetric spaces. The space of seminorms compactifies the space of norms and admits a natural surjective restriction map from the Berkovich analytification of projective space that factors the natural tropicalization map. Inspired by Payne's result that the analytification is the limit of all tropicalizations, we show that the space of seminorms is the limit of all tropicalized linear embeddings and prove a faithful tropicalization result for compactified linear spaces. The space of seminorms is in fact the tropical linear space associated to the universal realizable valuated matroid.}}, author = {{Battistella, Luca and Kühn, Kevin and Kuhrs, Arne and Ulirsch, Martin and Vargas, Alejandro}}, issn = {{0024-6107}}, journal = {{Journal of the London Mathematical Society}}, number = {{1}}, publisher = {{Wiley}}, title = {{{Buildings, valuated matroids, and tropical linear spaces}}}, doi = {{10.1112/jlms.12850}}, volume = {{109}}, year = {{2023}}, }