Publications

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

Currently viewing all publications in category Presentations - back to overwiew...

Presentations

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

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

W. Friesenbichler, T. Panhofer, A. Steininger: A Deterministic Approach for Hardware Fault Injection in Asynchronous QDI Logic
DDECS 2010 (Design and Diagnostics of Electronic Circuits and Systems), Vienna, Austria; in: 13th IEEE International Symposium On Design And Diagnostics Of Electronic Cicruits And Systems, IEEE, 2010, ISBN: 9781424466108, p. 317 - 322
bib details doi

M. J. Kofler, W. Kastner: A Knowledge Base for Energy-Efficient Smart Homes
IEEE International Energy Conference & Exhibition, Manama, Bahrain; in: Proceedings IEEE International Energy Conference & Exhibition, 2010
bib details

F. Praus, C. Reinisch, P. Leitner, W. Kastner: Open Source Approaches to Integrate KNX into Media Centers
KNX Scientific Conference 2010, Pamplona, Navarra, Spain; in: Proceedings KNX Scientific Conference 2010, 2010
bib details

W. Kastner, M. J. Kofler, C. Reinisch: Auf dem Weg zu prädiktiven Regelungen im Zweckbau und Heimbereich
Technologieworkshop, Wien
bib details

W. Kastner (invited): Building Automation
Smart Buildings - Planning for the Future, Wien
bib details

W. Kastner: Intelligente Gebäudeautomation
Plusenergiehäuser der Zukunft, Wien
bib details

W. Kastner (invited): No-new-wires technologies for control
Broadband Home today and tomorrow: technical challenges and developments, Delft, Netherlands; in: Broadband Home today and tomorrow: technical challenges and developments, 2010
bib details

H. Chung, P. Robinson, L. Welch: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks
ACM SIGACT/SIGMOBILE (International Workshop on FOUNDATIONS OF MOBILE COUMPUTING), Cambridge, Massachusetts, USA; in: Proceedings of the 6th International Workshop on Foundations of Mobile Computing, ACM, 2010, ISBN: 9781450304139, p. 81 - 90
bib details doi

H. Chung, P. Robinson, L. Welch: Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks
ALGOSENSORS 2010 (6th International Workshop on Algorithmic Aspects of Wireless Sensor Networks), Bordeaux, France; in: Algorithms for Sensor Systems - LNCS, Springer, 6451/2010 (2010), ISBN: 9783642169878, p. 90 - 91
bib details doi

A. Kößler, H. Moser, U. Schmid: Real-Time Analysis of Round-based Distributed Algorithms
RTSOPS 2010 (1st International Real-Time Scheduling Open Problems Seminar), Brussels, Belgium; in: Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010, p. 9 - 11
bib details

M. Ferringer: Investigating Self-Timed Circuits for the Time-Triggered Protocol
5th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings (ReCoSoC), Karlsruhe, Germany; in: Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip 2010, KIT Scientific Publishing - DFG, 2010, ISBN: 9783866445154, p. 101 - 108
bib details

M. Ferringer: Towards self-timed logic in the Time-Triggered Protocol
DSN 2010 (International Conference on Dependable Systems and Networks), Chicago, IL, USA; in: DSN 2010 - Full Program, IEEE Computer Society, 2010, ISBN: 9781424477289, p. 136 - 141
bib details doi

M Függer, A. Dielacher, U. Schmid: How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
EDCC - 8 (European Dependable Computing Conference), Valencia, Spain; in: Proceedings of the Eight European Dependable Computing Conference, IEEE Computer Society, 2010, ISBN: 9780769540078, p. 230 - 239
bib details doi

M. Jeitler, J. Lechner, A. Steininger: Enhancing Pipelined Processor Architectures with Fast Autonomous Recovery of Transient Faults
DDECS 2010 (Design and Diagnostics of Electronic Circuits and Systems), Vienna, Austria; in: 13th IEEE International Symposium On Design And Diagnostics Of Electronic Cicruits And Systems, IEEE Computer Society, 2010, ISBN: 9781424466108, p. 233 - 236
bib details doi

M. Jeitler, J. Lechner: Low Latency Recovery from Transient Faults for Pipelined Processor Architectures
DSD 2010 (Euromicro Conference on Digital System Design), Lille, France; in: Proceedings DSD 2010 (Euromicro Conference on Digital System Design), IEEE Computer Society, 2010, ISBN: 9780769541716, p. 219 - 225
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 >   >>