Publications

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

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

M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner: Best Practice for Caching of Single-Path Code
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; in: Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6, p. 1 - 12
bib details doi pdf

B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner: Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISBN: 978-1-5386-1574-4, p. 76 - 83
bib details doi

J. Träff (invited): High Performance Expectations for MPI
Friedrich-Alexander-Universität Erlangen-Nürnberg, Prof. Dr. Gerhard Wellein, Erlangen, Germany
bib details

J. Maier: Modeling the CMOS Inverter using Hybrid Systems
TUW-259633, 2017
bib details pdf

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
International Conference on Parallel Processing, Bristol; in: Proceedings of the 46th International Conference on Parallel Processing (ICPP-2017), IEEE, 2017, ISSN: 2332-5690, p. 271 - 281
bib details doi

E. Wimmer: Is Gossip-inspired reduction competitive in high performance computing?
International Workshop on Parallel Numerics (PARNUM 2017), Waischenfeld, Germany
bib details

W. Sodsong, R. Mittermayr, Y. Park, B. Burgstaller, J. Blieberger: Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores
Euro-Par 2017 23rd International European Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain; in: Proceedings of the 23rd International European Conference on Parallel and Distributed Computing (Euro-Par 2017), LNCS / Springer Verlag, 10417 / Santiago de Compostela, Spain (2017), ISBN: 978-3-319-64202-4, p. 538 - 552
bib details doi

J. Blieberger, M. Bader: 22nd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe'2017 International Conference on Reliable Software Technologies, series editors: G. Goos, J. Hartmanis, J. van Leeuwen, issued by: Ada-Europe, Springer LNCS 10300, Berlin, 2017, ISBN: 978-3-319-60587-6; 255 pages
bib details doi

R. Mittermayr, J. Blieberger: Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs
Computing, 1 (2017), p. 1 - 22
bib details doi

C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
CoRR - Computing Research Repository, arXiv:1702.04164, 2017; 13 pages
bib details

J. Träff: Practical, Linear-time, Fully Distributed Algorithms for Irregular Gather and Scatter
CoRR - Computing Research Repository, arXiv:1702.05967, 2017; 17 pages
bib details

C. Schulz, J. Träff: VieM v1.00 - Vienna Mapping and Sparse Quadratic Assignment User Guide
CoRR - Computing Research Repository, arXiv:1703.05509, 2017; 9 pages
bib details

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017
bib details

J. Träff (invited): High Performance Expectations for MPI
Austrian HPC Meeting 2017 - AHPC 2017, Grundlsee, Austria; in: AHPC 2017, Austrian HPC Meeting 2017, G. Baumgartner, J. Courian (ed.); FSP Scientific Computing, University of Innsbruck, 2017, p. 33
bib details

M. Meisel, S. Wilker, M. Kammerstetter, M. Müllner, D. Fasthuber, W. Kastner, W. Gawlik (invited): Reference Architecture as Foundation for Risk and Threat Analysis
Symposium On Innovative Smart Grid Cybersecurity Solutions, Wien; in: http://smartgrid-cybersecurity.events/call-for-posters/, Facultas, Wien (2017); 1 pages
bib details pdf

I. Konnov, H. Veith, J. Widder: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Information and Computation, 252 (2017), p. 95 - 109
bib details doi pdf

I. Konnov, J. Widder, F. Spegni, L. Spalazzi: Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Verification, Model Checking, and Abstract Interpretation (VMCAI), Paris; in: VMCAI 2017: Verification, Model Checking, and Abstract Interpretation, Springer, LNCS/10145/Paris (2017), ISBN: 978-3-319-52233-3, p. 347 - 366
bib details doi pdf

I. Konnov, M. Lazić, H. Veith, J. Widder: A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France; in: POPL, ACM, Paris (2017), ISBN: 978-1-4503-4660-3, p. 719 - 734
bib details doi pdf

M. Stefan, J. Blieberger, A. Schöbel: Application of Kronecker Algebra in Railway Operation
Tehnicki Vjesnik-Technical Gazette, 24 (2017), p. 21 - 30
bib details doi

J. Ren, A. Rao, M. Lindorfer, A. Legout, D. Choffnes: ReCon: Revealing and Controlling PII Leaks in Mobile Network Traffic
International Conference on Mobile Systems, Applications and Services (MobiSys), ACM, 2016, p. 361 - 374
bib details doi pdf

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