Publications

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

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

C. Gabriel: Development of an Advanced Protection Concept for Automotive Wire Harnesses (Master's Thesis)
reviewers: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; oral examination: 2016-10-04
bib details

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
ACM SIGACT News, 47 (2016), p. 53 - 64
bib details doi pdf

I. Konnov, H. Veith, J. Widder (invited): What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Kazan, Russland; in: Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, LNCS / Springer, 9609 (2016), p. 6 - 21
bib details doi pdf

M. Zeiner, M. Schwarz, K. Winkler, U. Schmid: Broadcasting in Random Trees
ALEA in Europe - Young Researchers Workshop, TU Wien
bib details

B. Mörzinger, M. Obermair, I. Leobner, P. Smolek, B. Heinzl, A. Wittmann, F. Bleicher (invited): Data-Based Modelling, Simulation And Optimization Of The Operation Of Production Plants
2nd Vienna young Scientists Symposium, Wien; in: VSS, H. Krebs (ed.); 2016, ISBN: 978-3-9504017-2-1, p. 86 - 87
bib details pdf

S. Markidis, I. Peng, J. Träff, A. Rougier, V. Bartsch, R. Machado, M. Rahn, A. Hart, D. Holmes, M. Bull, E. Laure (invited): The EPiGRAM Project: Preparing Parallel Programming Models for Exascale
Workshop on Exascale Multi/Many Core Computing Systems (E-MuCoCoS 2016) in conjunction with ISC 2016, Frankfurt, Germany; in: High Performance Computing, ISC High Performance, 2016 International Workshops, Revised Selected Papers, M. Taufer, B. Mohr, J. Kunkel (ed.); Springer International Publishing, LNCS 9945 (2016), ISBN: 978-3-319-46078-9, p. 56 - 68
bib details doi

D. Holmes, C. Collis, J. Träff, L. Smith: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016
ACM, 2016, ISBN: 978-1-4503-4234-6; 221 pages
bib details

A. Carpen-Amarie, S. Hunold, J. Träff: On the Expected and Observed Communication Performance with MPI Derived Datatypes
23rd European MPI Users' Group Meeting, EuroMPI 2016, Edinburgh, United Kingdom; in: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016, D. Holmes, C. Collis, J. Träff, L. Smith (ed.); ACM, 2016, ISBN: 978-1-4503-4234-6, p. 108 - 120
bib details doi

J. Träff: A Library for Advanced Datatype Programming
23rd European MPI Users' Group Meeting, EuroMPI 2016, Edinburgh, United Kingdom; in: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016, D. Holmes, C. Collis, J. Träff, L. Smith (ed.); ACM, 2016, ISBN: 978-1-4503-4234-6, p. 98 - 107
bib details doi

P. Smolek, I. Leobner, B. Heinzl, G. Gourlis, K. Ponweiser: A Method for Real-Time Aggregation of a Product Footprint during Manufacturing
Journal of Sustainable Development of Energy, Water and Environment Systems, 4 (2016), p. 360 - 378
bib details doi

J. Blieberger (invited): Kronecker Algebra Based Analysis of Concurrent Computer Programs
Festkolloquium aus Anlass des 60. Geburtstages von o.Univ.Prof.Dr. Peter Kirschenhofer, Leoben
bib details

N. Mayerhofer: Untersuchung der Implementierbarkeit eines lock-freien binären Suchbaumes (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2016; oral examination: 2016-10-04
bib details

B. Redl: Extending the Pheet framework for Parallel Pipelined Applications (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2016; oral examination: 2016-10-04
bib details

R. Mittermayr: Kronecker Algebra Based Analysis of Shared Memory Concurrent Systems (PhD Thesis)
reviewers: J. Blieberger, B. Burgstaller; E 183-1, 2016; oral examination: 2016-10-11
bib details pdf

A. Oesterreicher, C. Gorsche, S. Ayalur-Karunakaran, A. Moser, M. Edler, G. Pinter, S. Schlögl, R. Liska, T. Griesser: Exploring Network Formation of Tough and Biocompatible Thiol-​yne Based Photopolymers
Macromolecular Rapid Communications, 37 (2016), p. 1701 - 1706
bib details doi pdf

S. Hunold (invited): The Art of MPI Benchmarking
45th SPEEDUP Workshop on High-Performance Computing, Basel, Switzerland
bib details

P. Smolek, I. Leobner, G. Gourlis, B. Mörzinger, B. Heinzl, K. Ponweiser: Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications
11th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES 2016), Lissabon; in: Proceedings of the 11th Conference on Sustainable Development of Energy, Water and Environment Systems, Faculty of Mechanical Engineering and Naval Architecture, Zagreb, 2016, ISSN: 1847-7178; 12 pages
bib details

S. Ibrahim, T. Phan, A. Carpen-Amarie, H. Chihoub, D. Moise, G. Antoniu: Governing energy consumption in Hadoop through CPU frequency scaling: An analysis
Future Generation Computer Systems, Volume 54 (2016), p. 219 - 232
bib details

R. Ganian, M. Kalany, S. Szeider, J. Träff: Polynomial-Time Construction of Optimal MPI Derived Datatype Trees
IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016), Chicago, Illinois, USA; in: Proceedings of the IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016), IEEE Computer Society, 2016, ISBN: 978-1-5090-2140-6, p. 638 - 647
bib details doi

C. Lengauer, L. Bougé, J. Träff: Editorial: Special Issue: Euro-Par 2015
Concurrency and Computation: Practice and Experience, Volume 28 (2016), p. 3445 - 3446
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 >   >>