Publications

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

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

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

J. Träff: A Note on (Parallel) Depth- and Breadth-First Search by Arc Elimination
CoRR - Computing Research Repository, arXiv:1305.1222, 2013; 7 pages
bib details

C. Siebert, J. Träff: Perfectly load-balanced, optimal, stable, parallel merge
CoRR - Computing Research Repository, arXiv:1303.4312, 2013; 8 pages
bib details

M. Meisel, G. Kienesberger, M. Jung, T. Hofer, M. Berger (invited): Smart Web Grid - Eine universelle Informationsdrehscheibe für Smart Grids
Smart Grids Week - Salzburg 2013, Salzburg; in: Proceedings der Smart Grids Week 2013, 2013; 1 pages
bib details pdf

F. Versaci: OutFlank Routing: Increasing Throughput in Toroidal Interconnection Networks
19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea; in: Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, IEEE Computer Society, 2013, ISBN: 978-1-4799-2081-5, p. 216 - 223
bib details doi

K. John, S. Taber, A. Ehringfeld: Proxy Authenticator - Approach of a Signature based Single Sign On Solution for e-Government Services
IFIP Electronic Government (EGOV) Conference 2013, Koblenz; in: Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of IFIP EGOV and IFIP ePart 2013, M. Wimmer et al. (ed.); Gi 2013 Lni, Koblenz (2013), ISBN: 978-3-88579-615-2, p. 262 - 263
bib details

M. Jung (invited): Heim- und Gebäudeautomation im Smart Grid: Potentiale, Barrieren und aktuelle Trends
Smarte Dienstleistungen - hochwertige Hardware und intelligente Software, Wien
bib details

A. Novak: Location Based Keys, Implementation of an encryption scheme (Master's Thesis)
reviewers: W. Kastner, H. Schweinzer; Institute of Electrodynamics, Microwave and Circuit Engineering, 2013
bib details

C. Krieg, A. Dabrowski, H. Hobel, K. Krombholz, E. Weippl: Hardware Malware
Synthesis Lectures on Information Security, Privacy, and Trust, 4 (2013), p. 1 - 115
bib details

O. Melnychenko, H.-P. Kreuter: Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification
21st Austrian Workshop on Microelectronics (Austrochip), Linz; in: Austrochip 2013. Tagungsband, 2013, p. 17 - 21
bib details pdf

O. Melnychenko, H.-P. Kreuter: A Metric Driven Verification and Validation Approach for Smart Power Devices
9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach; in: Conference Proceedings. 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), 2013, ISBN: 978-1-4673-4580-4, p. 289 - 292
bib details doi

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The T-CREST Approach of Compiler and WCET-Analysis Integration
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2013
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 143 144 145 146 147 148 149 150 >   >>