Publications

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

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

M. Forsell, J. Roivainen, V. Leppänen, J. Träff: Implementation of Multioperations in Thick Control Flow Processors
20th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2018) in conjunction with IPDPS 2018, Vancouver, British Columbia, Canada; in: Proceedings of the IEEE 32nd International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2018), IEEE, 2018, ISBN: 978-1-5386-5556-6, p. 744 - 752
bib details doi

M. Pöter, J. Träff: Brief Announcement: Stamp-it, a more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2018), Vienna, Austria; in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2018), ACM, 2018, ISBN: 978-1-4503-5799-9, p. 355 - 358
bib details doi

J. Träff: Practical, distributed, low overhead algorithms for irregular gather and scatter collectives
Parallel Computing, Volume 75 (2018), p. 100 - 117
bib details doi

M. Perner, U. Schmid: Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures
24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18), Platja D'Aro, Spain; in: Proceedings 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18), 2018, p. 157 - 164
bib details doi

L. Gréaux, R. Kuznets, L. Prosperi, U. Schmid (invited): What do Byzantine agents know?
First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM, Mexiko-Stadt, Mexiko
bib details

S. Hunold, A. Carpen-Amarie: Autotuning MPI Collectives using Performance Guidelines
International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2018), Tokyo, Japan; in: Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2018), ACM, 2018, ISBN: 978-1-4503-5372-4, p. 64 - 74
bib details doi

R. Kuznets, B. Lellmann: Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents
Advances in Modal Logic 2018, Bern, Schweiz; in: Advances in Modal Logic, Volume 12, G. Bezhanishvili, G. D´Agostino, G Metcalfe, T. Studer (ed.); College Publications, 2018, ISBN: 978-1-84890-255-8, p. 473 - 492
bib details pdf

A. Fernbach: Semantic Evolution in Automation Systems Integration (PhD Thesis)
reviewers: W. Kastner, A. Mahdavi, M. Wollschläger; Fakultät für Informatik - Automation Systems Group, 2018; oral examination: 2018-06-27
bib details pdf

A. Schöbel, J. Blieberger, C. Schöbel: Application of Kronecker Algebra for Railway Line Zagreb-Rijeka
CETRA 2018, Zadar; in: CETRA 2018, Department of Transportation, Faculty of Ciivil Engineering, University of Zagreb, 2018, ISSN: 1848-9850, p. 1261 - 1264
bib details doi

J. Blieberger, B. Burgstaller: Safe Non-blocking Synchronization in Ada2x
Reliable Software Technologies - Ada-Europe, Lissabon; in: Ada-Europe'2018 International Conference on Reliable Software Technologies, A. Casimiro, P. Ferreira (ed.); Springer-Verlag, LNCS 10873 (2018), ISSN: 0302-9743, p. 53 - 69
bib details doi

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

G. Zucker, A. Sporr, S. Kollmann, A. Wendt, L. Siafara, A. Fernbach: A Cognitive System Architecture for Building Energy Management
IEEE Transactions on Industrial Informatics, 14 (2018), p. 2521 - 2529
bib details doi

M. Pöter, J. Träff: Stamp-it, Amortized Constant-time Memory Reclamation in Comparison to five other Schemes
23rd Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), Vienna, Austria; in: Proceedings of the 23rd Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), ACM, 2018, ISBN: 978-1-4503-4982-6, p. 413 - 414
bib details doi

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

M Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid: A Faithful Binary Circuit Model with Adversarial Noise
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: Proceedings of the 2018 Design, Automation & Test in Europe (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 1327 - 1332
bib details

D. Ratasich, T. Preindl, K. Selyunin, R. Grosu: Self-Healing by Property-Guided Structural Adaptation
1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; in: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), IEEE, 2018, ISBN: 978-1-5386-6531-2, p. 199 - 205
bib details doi

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

A. Schöbel, C. Schöbel, J. Blieberger: Kronecker Algebra for Managing Rail Capacity
ISEP2018 -- 26th International Symposium on Electronics in Transport, ISEP2018, Ljubljana, 2018, ISBN: 978-961-6187-69-5
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 142 143 144 145 146 147 148 149 150 >   >>