Publications

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

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

J. Lechner: Building Robust GALS Circuits: Fault-Tolerant and Variation-Aware Design Techniques for Reliable Circuit Operation (PhD Thesis)
reviewers: A. Steininger, J. Sparso; Institut für Technische Informatik, 2014; oral examination: 2014-06-17
bib details pdf

J. Träff, A. Rougier, S. Hunold: Implementing a Classic: Zero-copy All-to-all Communication with MPI Datatypes
28th ACM International Conference on Supercomputing, ICS 2014, Munich, Germany; in: Proceedings of the 28th ACM International Conference on Supercomputing, ICS 2014, M. Gerndt, P. Stenström, L. Rauchwerger, B. Miller, M. Schulz (ed.); ACM, 2014, ISBN: 978-1-4503-2642-1, p. 135 - 144
bib details doi

S. Naqvi, J. Lechner, A. Steininger: Protection of Muller-Pipelines from Transient Faults
15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; in: Proceedings 15th International Symposium & Exhibit on Quality Electronic Design, 2014, ISBN: 978-1-4799-3946-6; 9 pages
bib details doi

D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen: Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip
Journal of Computer and System Sciences, 80 (2014), p. 860 - 900
bib details doi pdf

A. Schöbel, M. Volcic, J. Blieberger: Analysis and optimisation of railway systems
EURO_ZEL 2014, 22nd International Symposium, University of Zilina, Zilina, 2014; 6 pages
bib details

M. Wimmer: Variations on Task Scheduling for Shared Memory Systems (PhD Thesis)
reviewers: J. Träff, K. Agrawal, M. Papatriantafilou; Institut für Informationssysteme, Research Group Parallel Computing, 2014; oral examination: 2014-06-26
bib details

J. Träff (invited): Implementing a classic: zero-copy all-to-all communication with MPI datatypes
Department of Computer Science, University of Copenhagen, Copenhagen, Denmark
bib details

M. Zeiner: On a family of $q$-binomial distributions
Mathematica Slovaca, 64 (2014), p. 479 - 510
bib details doi

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

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