Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Reports, Miscellaneous - back to overwiew...

Reports, Miscellaneous

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Institut für Computer Engineering E191-02, TUW-281149, 2019
bib details pdf

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
CoRR - Computing Research Repository, arXiv:1907.13077, 2019; 10 pages
bib details

R. Kuznets (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

M. Kainer, J. Träff: More Parallelism in Dijkstra's Single-Source Shortest Path Algorithm
CoRR - Computing Research Repository, arXiv:1903.12085, 2019; 29 pages
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details pdf

U. Schmid: FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits
TUW-278607, 2018
bib details pdf

A. Wendt, A. Fernbach, Franz Preyser: Wenn die Heizung alles richtig macht
2018
bib details

W. Kastner (invited): Building Automation in the Realm of the IoT
2018 IEEE International Conference on Future IoT Technologies (Future IoT 2018), Eger, Hungary
bib details

R. Kuznets (invited): Interpolation using sequents and their generalisations
PhDs in Logic X, Prague
bib details

M. Pöter, J. Träff: Stamp-it: A more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
CoRR - Computing Research Repository, arXiv:1805.08639, 2018; 27 pages
bib details

J. Träff: Parallel Quicksort without Pairwise Element Exchange
CoRR - Computing Research Repository, arXiv:1804.07494, 2018; 4 pages
bib details

M. Pöter, J. Träff: Memory Models for C/C++ Programmers
CoRR - Computing Research Repository, arXiv:1803.04432, 2018; 15 pages
bib details

D. Pfleger, U. Schmid: On Knowledge and Communication Complexity in Distributed Systems
Institute of Computer Engineering, TUW-269752, 2018
bib details pdf

M. Schwarz, U. Schmid: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
TUW-269285, 2018
bib details pdf

M. Shafique (invited): Enabling Extreme Energy-Efficiency through Brain-Inspired Computing Trends: From Approximate to Neural Processing
15th International Conference On Frontiers of Information Technology (FIT'17), Islamabad, Pakistan
bib details

M. Shafique (invited): Emerging Brain-Inspired Computing Trends: From Approximate Computing to Neural Processing
International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), Karachi, Pakistan
bib details

M. Pöter, J. Träff: A new and five older Concurrent Memory Reclamation Schemes in Comparison (Stamp-it)
CoRR - Computing Research Repository, arXiv:1712.06134, 2017; 34 pages
bib details

J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
CoRR - Computing Research Repository, arXiv:1711.08731, 2017; 12 pages
bib details

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 >   >>