Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Blieberger, Johann"'
Autor:
Blieberger, Johann, Burgstaller, Bernd
The mutual-exclusion property of locks stands in the way to scalability of parallel programs on many-core architectures. Locks do not allow progress guarantees, because a task may fail inside a critical section and keep holding a lock that blocks oth
Externí odkaz:
http://arxiv.org/abs/1803.10067
In this paper, we propose several optimizations for the SFA construction algorithm, which greatly reduce the in-memory footprint and the processing steps required to construct an SFA. We introduce fingerprints as a space- and time-efficient way to re
Externí odkaz:
http://arxiv.org/abs/1512.09228
Autor:
Yang, Shinhyung, Jeong, Seongho, Min, Byunguk, Kim, Yeonsoo, Burgstaller, Bernd, Blieberger, Johann
Publikováno v:
In Journal of Systems Architecture November 2020 110
Autor:
Mittermayr, Robert, Blieberger, Johann
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread interleavings grows exponentially in the number of threads. The idea that thread interleavings can be studied with a matrix cal
Externí odkaz:
http://arxiv.org/abs/1109.5522
Publikováno v:
In Transportation Research Procedia 2017 27:545-552
Autor:
Mittermayr, Robert1 (AUTHOR) robert@auto.tuwien.ac.at, Blieberger, Johann1 (AUTHOR)
Publikováno v:
Computing. May2021, Vol. 103 Issue 5, p749-770. 22p.
Autor:
Blieberger, Johann
Publikováno v:
In Information and Computation 15 December 2001 171(2):156-182
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.