Publications

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

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

Presentations

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0, p. 209 - 226
bib details doi pdf

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra and its Broad Applications in Railway Systems
EURO-ZEL 2013, Zilina; in: EURO-ZEL 2013: Recent Challenges for European Railways, University of Zilina, Zilina (2013), ISBN: 978-80-263-0380-0, p. 275 - 282
bib details

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Work-stealing with Configurable Scheduling Strategies
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China; in: Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, ACM, 2013, ISBN: 978-1-4503-1922-5, p. 315 - 316
bib details doi

T. Polzer, A. Steininger, J. Lechner: Muller C-Element Metastability Containment
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; in: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2, p. 103 - 112
bib details

J. Lechner, R. Najvirt: A Generic Architecture for Robust Asynchronous Communication Links
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; in: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2, p. 121 - 130
bib details

S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok: Runtime Verification with State Estimation
RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; in: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 978-3-642-29859-2, p. 193 - 207
bib details doi

C. Kessler, U. Dastgeer, M. Majeed, N. Furmento, S. Thibault, R. Namyst, S. Benkner, S. Pllana, J. Träff, M. Wimmer: Leveraging PEPPHER Technology for Performance Portable Supercomputing
Supercomputing 2012 Conference, Salt Lake City, Utah, USA; in: Proceedings of the 2012 SC Companion: High Performance Computing, Networking, Storage and Analysis, IEEE Computer Society, 2012, ISBN: 978-0-7695-4956-9, p. 1397
bib details doi

P. Milbredt, M. Glass, M. Lukasiewycz, A. Steininger, J. Teich: Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), Dresden, Germany; in: Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) Proceedings, EDAA, 2012, ISBN: 978-3-9810801-8-6, p. 276 - 279
bib details

V. S. Veeravalli, A. Steininger: Efficient Radiation-Hardening of a Muller C-Element
2012 Single Event Effects Symposium (SEE 2012), San Diego, USA; in: 2012 Single Event Effects Symposium, 2012
bib details

V. S. Veeravalli, A. Steininger: LFSR Implementation Using C-Elements
MEMICS 2012, Znjomo, Czechia; in: MEMICS 2012, 2012, p. 73 - 83
bib details

B. Fritz, V. S. Veeravalli, A. Steininger: Reliable Gateway for Radiation Experiments on a VLSI Chip
Austrochip 2012, Graz, Austria; in: Austrochip 2012, 2012, p. 65 - 70
bib details

V. S. Veeravalli, A. Steininger: Radiation-Tolerant Combinational Gates - An Implementation Based Comparison
15th IEEE International Conference on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2012), Tallinn, Estonia; in: Design and Diagnostics of Electronic Circuits Systems (DDECS), 2012 IEEE 15th International Symposium on, 2012, p. 115 - 120
bib details

V. S. Veeravalli, A. Steininger: Monitoring Single Event Transient Effects in Dynamic Mode
1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2012), Annecy, France; in: 1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2012), 2012, p. 51 - 54
bib details

T. Reinbacher, J. Geist, P. Moosbrugger, M. Horauer, A. Steininger: Parallel Runtime Verification of Temporal Properties for Embedded Software
Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, Suzhou, China; in: Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, 2012, ISBN: 978-1-4673-2347-5, p. 224 - 231
bib details

T. Reinbacher, M. Horauer, A. Steininger: A Runtime Verification Unit for Microcontrollers
System, Software, SoC and Silicon Debug Conference (S4D), 2012, Vienna, Austria; in: System, Software, SoC and Silicon Debug Conference (S4D), 2012, 2012, ISSN: 2114-3684, p. 1 - 6
bib details

M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger: Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation
21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), Biarritz, FRANCE; in: Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), 2012
bib details

V. S. Veeravalli, A. Steininger, U. Schmid, T. Polzer: Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip
15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012), Izmir, Turkey; in: Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD'12), 2012, p. 8 - 17
bib details

D. Dolev, M Függer, C. Lenzen, U. Schmid (invited): Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip
NITRD Workshop, Baltimore, USA
bib details

M. Biely, P. Robinson, U. Schmid: Agreement in Directed Dynamic Networks
19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), Reykjavik, Iceland; in: Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), 2012, p. 73 - 84
bib details

K. John, A. Ehringfeld, G. Fischer: Quality Assurance Case Study of an ICT Supported Legally Binding Election in Austria
6th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2012), Albany, US; in: Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2012), J. Gil-Garcia, N. Helbig, O. Adegboyega (ed.); The Association for Computing Machinery, New York (2012), ISBN: 978-1-4503-1200-4, p. 500 - 501
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 >   >>