Publications

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

Currently viewing all publications in category Presentations - back to overwiew...

Presentations

A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger: Enhancing Performance in Railway Operation by Application of Kronecker Algebra
International Conference On Traffic And Transport Engineering, Beograd; in: Proceedings ICTTE 2018, ?, Beograd (2018), ISBN: 978-86-916153-4-5, p. 113 - 117
bib details

J. Ullrich, N. Stifter, A. Judmayer, A. Dabrowski, E. Weippl: Proof-of-Blackouts? How Proof-of-Work Cryptocurrencies Could Affect Power Grids
21st International Symposium on Research in Attacks, Intrusions, and Defenses (RAID 2018), Heraklion, Crete, Greece; in: Research in Attacks, Intrusions, and Defenses, Springer in the Lecture Notes in Computer Science series, 11050 (2018), p. 184 - 203
bib details

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Full-Duplex Inter-Group All-to-All Broadcast Algorithms with Optimal Bandwidth
25th European MPI Users' Group Meeting (EuroMPI 2018), Barcelona, Spain; in: Proceedings of the 25th European MPI Users' Group Meeting (EuroMPI 2018), ACM, 2018, ISBN: 978-1-4503-6492-8, p. 1:1 - 1:10
bib details doi

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

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

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

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

B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger: Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; in: VMCAI, LNCS/Springer, 10747 (2018), p. 1 - 24
bib details doi pdf

S. Mirsadeghi, J. Träff, P. Balaji, A. Afsahi: Exploiting Common Neighborhoods to Optimize MPI Neighborhood Collectives
24th IEEE International Conference on High Performance Computing (HiPC 2017), Jaipur, India; in: Proceedings of the 24th IEEE International Conference on High Performance Computing (HiPC 2017), IEEE, 2017, ISBN: 978-1-5386-2294-0, p. 348 - 357
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 >   >>