Publications

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

Currently viewing all publications chronologically - back to overwiew...

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 67:1 - 67:10
bib details doi

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

J. Träff, S. Hunold: Cartesian Collective Communication
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 48:1 - 48:11
bib details doi

J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
IEEE Transactions on Parallel and Distributed Systems, Volume 30 (2019), p. 2060 - 2074
bib details doi

W. Kastner, S. Gaida, H. Tellioglu: Knowledge-based building management combining human perception and building automation systems
First International Conference on Societal Automation (SA 2019), Krakow, Poland; in: Proceedings of the First International Conference on Societal Automation (SA 2019), 2019
bib details pdf

M. Schäffer, M. Di Angelo, G. Salzer: Performance and Scalability of Private Ethereum Blockchains
BPM Blockchain and Central and Eastern Europe Forum, Springer, 2019, p. 1 - 15
bib details pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

M. Kronegger, S. Ordyniak, A. Pfandler: Backdoors to planning
Artificial Intelligence, 269 (2019), p. 49 - 75
bib details doi

J. Fichte, M. Kronegger, S. Woltran (invited): A Multiparametric View on Answer Set Programming
Annals of Mathematics and Artificial Intelligence, 86 (2019), p. 121 - 147
bib details doi

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

M. Di Angelo, G. Salzer: Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time
Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19), ACM Press, 2019, ISBN: 978-1-4503-6785-1, p. 1 - 10
bib details doi pdf

M. Di Angelo, G. Salzer: Collateral Use of Deployment Code for Smart Contracts in Ethereum
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), IEEE, 2019, ISBN: 978-1-7281-1542-9; 5 pages
bib details doi pdf

S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger: Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and Performance
Reliable Software Technologies - Ada-Europe, Warsaw
bib details

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

S. Hunold, A. Carpen-Amarie: On the Importance of Data Quality when Tuning MPI Libraries
Austrian HPC Meeting 2019 - AHPC19, Grundlsee, Austria; in: Austrian HPC Meeting 2019 - AHPC19 (AHPC19 booklet of abstracts), G. Haase (ed.); Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 15
bib details

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Scalable Algorithms for MPI Intergroup Allgather and Allgatherv
Parallel Computing, Volume 85 (2019), p. 220 - 230
bib details doi

J. Träff (invited): On Optimal Trees for Irregular Gather and Scatter Collectives
Kolloquium Mathematische Informatik, Goethe-Universität Frankfurt am Main, Frankfurt am Main, Germany
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

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
The 12th Annual Meeting of the Asian Association for Algorithms and Computation, Seoul, South Korea
bib details

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 >   >>