Publications

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

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

J. Blieberger, P. Kirschenhofer: Generalized Catalan Sequences Originating from the Analysis of Special Data Structures
Bulletin of the Institute of Combinatorics and its Applications, 71 (2014), p. 103 - 116
bib details

M. Volcic, J. Blieberger, A. Schöbel: Optimisation of Railway Operation by Application of Kronecker Algebra
CETRA 2014, Split; in: Proceedings CETRA 2014, 2014, ISSN: 1848-9850, p. 37 - 42
bib details

F. Lübbe: Planung und automatische Verfeinerung der Laufzeitmessung von MPI-Operationen (Master's Thesis)
reviewers: R. Vollmar, J. Träff, T. Worsch; KIT Karlsruhe und AB Parallel Computing, Institut für Informationssysteme, TU Wien, 2014
bib details

A. Rougier (invited): Datatypes in Exascale message-passing
3rd Vienna Scientific Cluster User Workshop, Neusiedl am See, Austria
bib details

A. Papatriantafyllou (invited): Multi-core prefix-sums
3rd Vienna Scientific Cluster User Workshop, Neusiedl am See, Austria
bib details

M. Wimmer, F. Versaci, J. Träff, D. Cederman, P. Tsigas: Data Structures for Task-based Priority Scheduling
19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2014, Orlando, Florida, USA; in: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2014, ACM, New York, NY, USA (2014), ISBN: 978-1-4503-2656-8, p. 379 - 380
bib details doi

F. Ehrentraud, M. Di Angelo: Soundia A Learning Application For Musical Correlations According To "The Musical Space"
ITEC 2014, Dubai; in: ITEC 2014, A. çakir İlhan (ed.); University of Ankara, Ankara (2014); 11 pages
bib details pdf

J. Blieberger, A. Schöbel, M. Volcic: Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich
Signal + Draht, 106 (2014), p. 15 - 18
bib details

J. Blieberger, B. Burgstaller: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
Reliable Software Technologies - Ada-Europe, Paris, France; in: Proceedings of Ada-Europe 2014, 2014, ISBN: 978-3-319-08310-0, p. 27 - 42
bib details

S. Kandl, M. Elshuber, P. Puschner: Formal Verification at System Level
HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna
bib details

M. Jung (invited): Smart Web Grid - An Austrian research project on interoperable data exchange within smart grids
2nd EU- Jordan Networking in Renewable Energy, Wien
bib details

D. Van Der Linden, P. De Bruyn, W. Kastner, H. Mannaert: Deriving guidelines for cross-vendor reuse of IEC 61131-3 modules based on Normalized Systems theorems
Computer Standards & Interfaces, 32 (2014), p. 598 - 603
bib details doi

F. Dür, T. Flatz, I. Kovacic, L. Waltenberger, D. Wiegand, S. Emrich, I. Leobner, T. Bednar, K. Eder, W. Kastner, B. Heinzl, K. Kiesel: INFO - Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben
Klima- und Energiefonds, 2013; 132 pages
bib details pdf

E. Bartocci, C. Ramakrishnan: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
bib details doi

U. Schmid: Final Report FWF PSRTS-Project (P20529)
TUW-235379, 2013
bib details pdf

P. Puschner (invited): Constructing Time-Critical Embedded Systems: Decide Before Runtime
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 3
bib details

P. Puschner (invited): Embedded Systems for Safety-Critical and Mixed-Criticality Applications
Second Mediterranean Conference on Embedded Computing, Budva, Montenegro; in: Proceedings 2nd Mediterranean Conference on Embedded Computing (MECO), IEEE, 2013, ISBN: 978-9940-9436-1-5, p. 15
bib details

M. Wimmer, D. Cederman, F. Versaci, J. Träff, P. Tsigas: Data Structures for Task-based Priority Scheduling
CoRR - Computing Research Repository, arXiv:1312.2501, 2013; 19 pages
bib details

S. Hunold, J. Träff: On the State and Importance of Reproducible Experimental Research in Parallel Computing
CoRR - Computing Research Repository, arXiv:1308.3648, 2013; 15 pages
bib details

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Configurable Strategies for Work-stealing
CoRR - Computing Research Repository, arXiv:1305.6474, 2013; 17 pages
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 >   >>