Publications

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

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

J. Pannosch: Reliable Data Forecasting for Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, D. Schachinger; Computer Engineering, 2018; oral examination: 2018-04-12
bib details

D. Schachinger, W. Kastner: Context-aware optimization strategies for universal application in smart building energy management
IEEE 16th International Conference on Industrial Informatics (INDIN 2018), Porto, Portugal; in: Proceedings of the IEEE 16th International Conference on Industrial Informatics, IEEE, 2018, ISBN: 978-1-5386-4829-2; 6 pages
bib details doi pdf

D. Schachinger, J. Pannosch, W. Kastner: Adaptive learning-based time series prediction framework for building energy management
IEEE International Conference on Industrial Electronics for Sustainable Energy Systems (IESES 2018), Hamilton, New Zealand; in: Proceedings of the IEEE International Conference on Industrial Electronics for Sustainable Energy Systems, IEEE, 2018, ISBN: 978-1-5090-4974-5; 6 pages
bib details doi pdf

M. Pöter: Effective Memory Reclamation for Lock-Free Data Structures in C++ (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-03-01
bib details

W. Sihn, T. Sobottka, B. Heinzl, F. Kamhuber: Interdisciplinary multi-criteria optimization using hybrid simulation to pursue energy efficiency through production planning
68th CIRP General Assembly, Tokyo
bib details doi pdf

W. Sihn, T. Sobottka, B. Heinzl, F. Kamhuber: Interdisciplinary multi-criteria optimization using hybrid simulation to pursue energy efficiency through production planning
CIRP Annals-Manufacturing Technology, 67 (2018), p. 447 - 450
bib details doi pdf

T. Kainrad: Providing Transparent Remote Access to HPC Resources for Graphical Desktop Applications (Master's Thesis)
reviewer: S. Hunold; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-06-12
bib details

M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser: Time series analysis: Unsupervised anomaly detection beyond outlier detection
Information Security Practice and Experience, C. Su, H. Kikuch (ed.); Springer, 2018, p. 16 - 36
bib details

M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser: Dynamic log file analysis: An unsupervised cluster evolution approach for anomaly detection
Computers & Security, 79 (2018), p. 94 - 116
bib details

J. Träff (invited): On Optimal trees for Irregular Gather and Scatter Collectives
Uppsala University, Uppsala, Sweden
bib details

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

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
Archive for Mathematical Logic, 58 (2019), p. 359 - 385
bib details doi 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

<<   < 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 >   >>