Publications

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

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

K. Berger: Begabtenförderung mit Lego Mindstorms (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

J. Hong, K. Hong, B. Burgstaller, J. Blieberger: AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005
Reliable Software Technologies - Ada-Europe, Valencia; in: Reliable Software Technologies - Ada Europe 2010, Springer-Verlag, LNCS 6106 (2010), ISBN: 978-3-642-13549-1, p. 208 - 221
bib details pdf

S. Kandl: A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems (PhD Thesis)
reviewers: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17
bib details

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: Towards an Orchestrated Approach for Annotation Verification
27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, p. 71 - 85
bib details

A. Ehringfeld: First legally binding Election in Austria - the Student Union Election
4th International Conference on eDemocracy (EDEM 2010), Krems
bib details

R. Krimmer, A. Ehringfeld, M. Traxl: The Use of E-Voting in the Austrian Federation of Students Elections 2009
4th International Conference on Electronic Voting 2010 (EVOTE 2010), Bregenz, Austria; in: Electronic Voting, R. Krimmer, R. Grimm (ed.); Gi, Lni, 167 (2010), ISBN: 978-3-88579-261-1, p. 33 - 44
bib details

A. Ehringfeld, L. Naber, T. Grechenig, R. Krimmer, M. Traxl, G. Fischer: Analysis of Recommendation Rec(2004)11 Based on the Experiences of Specific Attacks Against the First Legally Binding Implementation of E-Voting in Austria
4th International Conference on Electronic Voting 2010 (EVOTE 2010), Bregenz, Austria; in: Electronic Voting, R. Krimmer, R. Grimm (ed.); Gi, Lni, 167 (2010), ISBN: 978-3-88579-261-1, p. 225 - 237
bib details

T. Nowak: Topology in Distributed Computing (Master's Thesis)
reviewer: U. Schmid; Institut für Technische Informatik - 182/2, 2010
bib details pdf

A. Dielacher: A Pipelined Distributed Fault-Tolerant Clock Generation Algorithm in VLSI - Proofs and Implementation (Master's Thesis)
reviewers: U. Schmid, M Függer; Institut für Technische Informatik - 182/2, 2010
bib details pdf

M Függer: Analysis of On-Chip Fault-Tolerant Distributed Algorithms (PhD Thesis)
reviewers: U. Schmid, L. Welch; Institut für Technische Informatik - 182/2, 2010
bib details pdf

A. Kößler: Challenges in Fault-Tolerant Distribiuted Real-Time Systems
RiSE Workshop TU Graz, Szentendre, Hungary
bib details

M Függer (invited): Fault-Tolerant Distribiuted on-chip Algorithms
PUMA 2010, Szentendre, Hungary
bib details

M Függer (invited): Fault-Tolerant Distribiuted on-chip Algorithms
RiSE GUGGING (IST AUSTRIA), Gugging (IST Austria)
bib details

M Függer (invited): Fault-Tolerant Distribiuted on-chip Algorithms
FK 2010 (Forschungskooperation TU Wien - UNI Brno), Brno, Czech Republic
bib details

U. Schmid (invited): Synchrony and Time in Fault-Tolerant Distribiuted Algorithms
FORMATS 2010 (Formal Modeling and Analysis of Times Systems), Klosterneuburg, Austria; in: Formal Modeling and Analysis of Timed Systems, Springer, 6246 (2010), ISBN: 9783642152962
bib details

T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
MEMICS 2010 (Mathematical and Engineering Methods in Computer Science), Mikulov, Czech Republic; in: MEMICS proceedings, 2010, p. 151 - 158
bib details

B. Thallner, H. Moser, U. Schmid: Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks
Wireless Networks, 16 (2010), p. 388 - 404
bib details doi

S. Bachl, M. Tomitsch, C. Wimmer, T. Grechenig: Challenges for Designing the User Experience of Multi-touch Interfaces
Engineering Patterns for Multi-Touch Interfaces 2010, Berlin; in: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM, New York, NY, USA (2010), ISBN: 978-1-4503-0083-4
bib details

W. Friesenbichler, T. Panhofer, A. Steininger: Reliability Estimation and Experimental Results of a Self-Healing Asynchronous Circuit: A Case Study
NASA/ESA 2010 (Conference on Adaptive Hardware and Systems), Anaheim, CA, USA; in: NASA/ESA 2010 Proceedings, IEEE Computer Society, 2010, ISBN: 9781424458882, p. 97 - 104
bib details doi

W. Friesenbichler, T. Panhofer, A. Steininger: Implementation of Self-Healing Asynchronous Circuits at the Example of a Video-Processing Algorithm
WSDN 2010 (4th Workshop on Dependable and Secure Nanocomputing, Chicago, IL, USA; in: WSDN - Full Program, IEEE Computer Socitey, 2010, ISBN: 9781424477289, p. 129 - 134
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 >   >>