Publications

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

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

D. Pfleger, U. Schmid: A Framework for Connectivity Monitoring in Wireless Sensor Networks
TUW-241107, 2015
bib details pdf

S. Hunold (invited): Accurately Measuring MPI Collectives with Synchronized Clocks
Dagstuhl Seminar 15281: Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems, Schloss Dagstuhl, Wadern, Germany
bib details

M. Stefan, J. Blieberger, A. Schöbel: Kronecker Algebra zur Optimierung des Eisenbahnbetriebes
Eisenbahntechnische Rundschau, 64 (2015), p. 78 - 84
bib details pdf

J. Träff, S. Hunold, F. Versaci: Euro-Par 2015: Parallel Processing, 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, LNCS 9233
Springer-Verlag Berlin Heidelberg, 2015, ISBN: 978-3-662-48095-3; 732 pages
bib details doi

J. Träff (invited): The Power of Structured Data in MPI
The University of Texas at Austin, Prof. Robert A. van de Geijn, Austin, Texas
bib details

M. Schwarz, K. Winkler, U. Schmid: Fast Consensus under Eventually Stabilizing Message Adversaries
TUW-240061, 2015; 13 pages
bib details pdf

E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: System Design of Stochastic Models using Robustness of Temporal Properties
Theoretical Computer Science, 587 (2015), p. 3 - 25
bib details doi

I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta: SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 189 - 198
bib details doi

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Kastner, M. Vincze: Coordination of an Autonomous Fleet
Austrian Robotics Workshop (ARW), Klagenfurt; in: Proceedings of the Austrian Robotics Workshop 2015, 2015; 2 pages
bib details

L. Haselsteiner: Adaptive Work-Stealing Techniques (Master's Thesis)
reviewers: J. Träff, M. Wimmer; Institut für Informationssysteme, Parallel Computing Group, 2015; oral examination: 2015-06-03
bib details

J. Träff (invited): The Relative Power of Synchronization Primitives
Computational Mathematics in Engineering Group - Prof. Dr. Joachim Schöberl, Institute for Analysis and Scientific Computing, TU Wien, Vienna, Austria
bib details

S. Hunold (invited): One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
Wirtschaftswissenschaftliche Fakultät, Universität Augsburg, Augsburg, Deutschland
bib details

S. Hunold: One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
Concurrency and Computation: Practice and Experience, Volume 27 (2015), p. 1010 - 1026
bib details doi

S. Kandl (invited): How Mutations Can Help to Prove That Your System Does Not Contain (Unwanted) Mutations
Design, Automation and Test in Europe Conference (DATE), Grenoble, France; in: DATE 2015 - M04 Embedded Systems: Functional Qualification: Applications in the C/C++ Domain, 2015
bib details

M. Wimmer, J. Gruber, J. Träff, P. Tsigas: The Lock-Free k-LSM Relaxed Priority Queue
20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA; in: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, A. Cohen, D. Grove (ed.); ACM, 2015, ISBN: 978-1-4503-3205-7, p. 277 - 278
bib details doi

S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

D. Prokesch: Single-Path Code Generation for the Patmos Processor
TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande
bib details

M. Volcic: Energy-efficient Optimization of Railway Operation (PhD Thesis)
reviewers: J. Blieberger, J. Siegmann; 183, 2015; oral examination: 2015-02-04
bib details pdf

A. Heinisch: Selection and Hardware-Implementation of an Efficient Consensus Algorithm for a Mesochronous System (Master's Thesis)
reviewers: T. Polzer, A. Steininger; Technische Informatik, 2015; oral examination: 2015-01-15
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 >   >>