4 Search Results for "Takahashi, Takuya"

Document
Artifact
DOI: 10.4230/DARTS.12.2.11
Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors (Artifact)

Authors: Hiroto Takahashi, Atsushi Yano, and Takuya Azumi

Published in: DARTS, Volume 12, Issue 2, Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
This artifact accompanies the ECRTS 2026 paper "Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors". The package provides the implementation of the proposed probabilistic schedulability analysis and baseline analyses, together with the DAG-generation wrapper, experiment drivers, plotting scripts, and input data needed to reproduce the main evaluation results of the paper. The primary reproduction workflow covers the paper-scale experiments for Figures 3-5, while additional check and smoke modes provide faster functional validation. The artifact was evaluated in the ECRTS 2026 Artifact Evaluation process and received all four artifact-evaluation seals: Artifact Available, Artifact Evaluated - Functional, Artifact Evaluated - Reusable, and Artifact Evaluated - Results Reproduced.
Cite as

Hiroto Takahashi, Atsushi Yano, and Takuya Azumi. Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors (Artifact). In Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 2, pp. 11:1-11:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{takahashi_et_al:DARTS.12.2.11,
  author =	{Takahashi, Hiroto and Yano, Atsushi and Azumi, Takuya},
  title =	{{Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors (Artifact)}},
  pages =	{11:1--11:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2026},
  volume =	{12},
  number =	{2},
  editor =	{Takahashi, Hiroto and Yano, Atsushi and Azumi, Takuya},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.12.2.11},
  URN =		{urn:nbn:de:0030-drops-266280},
  doi =		{10.4230/DARTS.12.2.11},
  annote =	{Keywords: Mixed-Criticality Systems, DAG Tasks, Probabilistic Analysis, Federated Scheduling, Real-Time Systems, Artifact Evaluation}
}
Document
DOI: 10.4230/LIPIcs.ECRTS.2026.3
Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors

Authors: Hiroto Takahashi, Atsushi Yano, and Takuya Azumi

Published in: LIPIcs, Volume 375, 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
Mixed-criticality DAG task systems on multiprocessors require schedulability analysis to guarantee that safety-critical tasks meet their deadlines. Conventional approaches rely on worst-case execution times (WCETs), which account for extremely rare pathological scenarios and consequently lead to significant over-provisioning of processor cores. This paper proposes a probabilistic schedulability analysis that exploits the statistical rarity of multiple vertices within a DAG exceeding their expected execution budgets. By grouping vertices within each DAG into small clusters and bounding the probability that more than one vertex in a cluster overruns, the method assigns each cluster a tighter execution budget than the sum of individual WCETs, thereby reducing the number of cores required. The clustering configuration is optimized via simulated annealing to minimize total core usage while maintaining a designer-specified bound on the system-level probability of deadline misses. Experiments on synthetic task sets demonstrate that the proposed method reduces the required number of cores by up to 36% compared to a deterministic baseline, with larger gains for DAGs exhibiting higher internal parallelism.
Cite as

Hiroto Takahashi, Atsushi Yano, and Takuya Azumi. Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors. In 38th European Conference on Real-Time Systems (ECRTS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 375, pp. 3:1-3:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{takahashi_et_al:LIPIcs.ECRTS.2026.3,
  author =	{Takahashi, Hiroto and Yano, Atsushi and Azumi, Takuya},
  title =	{{Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors}},
  booktitle =	{38th European Conference on Real-Time Systems (ECRTS 2026)},
  pages =	{3:1--3:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-429-1},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{375},
  editor =	{Kritikakou, Angeliki},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2026.3},
  URN =		{urn:nbn:de:0030-drops-265871},
  doi =		{10.4230/LIPIcs.ECRTS.2026.3},
  annote =	{Keywords: Mixed-Criticality Systems, DAG Tasks, Probabilistic Analysis, Federated Scheduling, Real-Time Systems}
}
Document
Short Paper
DOI: 10.4230/LIPIcs.COSIT.2024.18
Inferring the Origin of Linguistic Features from an Atlas: A Case Study of Swiss-German Dialects. (Short Paper)

Authors: Takuya Takahashi, Elvira Glaser, and Peter Ranacher

Published in: LIPIcs, Volume 315, 16th International Conference on Spatial Information Theory (COSIT 2024)

Abstract
A linguistic atlas is a set of maps which visualize the geographical variation of linguistic features in a single language. We present a novel model for Bayesian statistics which infers when and where the variants of a linguistic feature were invented based on the geographical distribution shown in a linguistic atlas. Based on a spatial network representing the rate of diffusion between locations, our model evaluates the probability (likelihood) that the observed geographical pattern is realized by considering the genealogical relationship between variants at different locations. We apply our model to a linguistic atlas of Swiss-German dialects and infer the origin of three forms of the High-German word "nein" meaning "no".
Cite as

Takuya Takahashi, Elvira Glaser, and Peter Ranacher. Inferring the Origin of Linguistic Features from an Atlas: A Case Study of Swiss-German Dialects. (Short Paper). In 16th International Conference on Spatial Information Theory (COSIT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 315, pp. 18:1-18:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{takahashi_et_al:LIPIcs.COSIT.2024.18,
  author =	{Takahashi, Takuya and Glaser, Elvira and Ranacher, Peter},
  title =	{{Inferring the Origin of Linguistic Features from an Atlas: A Case Study of Swiss-German Dialects.}},
  booktitle =	{16th International Conference on Spatial Information Theory (COSIT 2024)},
  pages =	{18:1--18:9},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-330-0},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{315},
  editor =	{Adams, Benjamin and Griffin, Amy L. and Scheider, Simon and McKenzie, Grant},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.18},
  URN =		{urn:nbn:de:0030-drops-208331},
  doi =		{10.4230/LIPIcs.COSIT.2024.18},
  annote =	{Keywords: Dialectology, Linguistic geography, Geographic information science, Bayesian inference}
}
Document
Short Paper
DOI: 10.4230/LIPIcs.GIScience.2023.71
Inferring the History of Spatial Diffusion Processes (Short Paper)

Authors: Takuya Takahashi, Geneviève Hannes, Nico Neureiter, and Peter Ranacher

Published in: LIPIcs, Volume 277, 12th International Conference on Geographic Information Science (GIScience 2023)

Abstract
When studying the spatial diffusion of a phenomenon, we often know its geographic distribution at one or more snapshots in time, while the complete history of the diffusion process is unknown. For example, we know when and where the first Indo-European languages arrived in South America and their current distribution. However, we do not know the history of how these languages spread, displacing the indigenous languages from their original habitat. We present a Bayesian model to interpolate the history of a diffusion process between two points in time with known geographical distributions. We apply the model to recover the spread of the Indo-European languages in South America and infer a posterior distribution of possible evolutionary histories of how they expanded their areas since the time of the first invasion by Europeans. Our model is more generally applicable to infer the evolutionary history of geographic diffusion phenomena from incomplete data.
Cite as

Takuya Takahashi, Geneviève Hannes, Nico Neureiter, and Peter Ranacher. Inferring the History of Spatial Diffusion Processes (Short Paper). In 12th International Conference on Geographic Information Science (GIScience 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 277, pp. 71:1-71:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{takahashi_et_al:LIPIcs.GIScience.2023.71,
  author =	{Takahashi, Takuya and Hannes, Genevi\`{e}ve and Neureiter, Nico and Ranacher, Peter},
  title =	{{Inferring the History of Spatial Diffusion Processes}},
  booktitle =	{12th International Conference on Geographic Information Science (GIScience 2023)},
  pages =	{71:1--71:6},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-288-4},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{277},
  editor =	{Beecham, Roger and Long, Jed A. and Smith, Dianna and Zhao, Qunshan and Wise, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2023.71},
  URN =		{urn:nbn:de:0030-drops-189662},
  doi =		{10.4230/LIPIcs.GIScience.2023.71},
  annote =	{Keywords: Bayesian inference, geographic diffusion, language evolution, Indo-European, colonisation of the Americas}
}
  • Refine by Type
  • 4 Document/PDF

  • Refine by Publication Year
  • 2 2026
  • 1 2024
  • 1 2023

  • Refine by Author
  • 2 Azumi, Takuya
  • 2 Ranacher, Peter
  • 2 Takahashi, Hiroto
  • 2 Takahashi, Takuya
  • 2 Yano, Atsushi
  • Show More...

  • Refine by Series/Journal
  • 3 LIPIcs
  • 1 DARTS

  • Refine by Classification
  • 2 Computer systems organization → Real-time systems
  • 1 Computing methodologies
  • 1 Mathematics of computing → Bayesian computation

  • Refine by Keyword
  • 2 Bayesian inference
  • 2 DAG Tasks
  • 2 Federated Scheduling
  • 2 Mixed-Criticality Systems
  • 2 Probabilistic Analysis
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact