Publications

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

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

Presentations

T. Polzer, F. Huemer, A. Steininger: A Programmable Delay Line for Metastability Characterization in FPGAs
24th Austrian Workshop on Microelectronics (Austrochip), Villach; in: Proceedings 24th Austrian Workshop on Microelectronics, 2016; 6 pages
bib details

F. Huemer, J. Lechner, A. Steininger: A New Coding Scheme for Fault Tolerant 4-Phase Delay-Insensitive Codes
2016 IEEE International Conference on Computer Design, Phoenix, Arizona, USA; in: Proceedings 2016 IEEE International Conference on Computer Design, 2016, ISBN: 978-1-5090-5142-7, p. 392 - 395
bib details

J. Schumann, P. Moosbrugger, K. Rozier: Runtime Analysis with R2U2: A Tool Exhibition Report
7th International Conference on Runtime Verification, Madrid; in: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Springer International Publishing, 10012 (2016), ISSN: 0302-9743, p. 504 - 509
bib details doi pdf

G. Wang, R. Grosu: Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks
S2M'16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal; in: Proceedings of S2M'16, the International Conference on Sustaniable Smart Manufacturing, Taylor & Francis, 2016
bib details

P. Bogdan, P. Pande, H. Amrouch, M. Shafique, J. Henkel (invited): Power and Thermal Management in Massive Multicore Chips: Theoretical Foundation meets Architectural Innovation and Resource Allocation
International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Pittsburgh, Pennsylvania, USA; in: CASES, ACM, 2016, ISBN: 978-1-4503-4482-1
bib details doi pdf

S. Rehman, W. El-Harouni, M. Shafique, A. Kumar, J. Henkel: Architectural-Space Exploration of Approximate Multipliers
The IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Austin, TX, USA; in: ICCAD, ACM New York, NY, USA, 2016, ISBN: 978-1-4503-4466-1
bib details doi pdf

A. Steininger, R. Najvirt, J. Maier: Does Cascading Schmitt-Trigger Stages Improve the Metastable Behavior?
2016 Euromicro Conference on Digital System Design (DSD), Limassol, Portugal; in: 2016 Euromicro Conference on Digital System Design (DSD), IEEE, 2016, ISBN: 978-1-5090-2817-7, p. 372 - 379
bib details doi

A. Steininger, J. Maier, R. Najvirt: The Metastable Behavior of a Schmitt-Trigger
22nd IEEE International Symposium on Asynchronous Circuits and Systems, Porto Alegre -- Brazil; in: 2016 22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), IEEE Computer Society Conference Publishing Services (CPS), 2016, ISBN: 978-1-4673-9007-1, p. 57 - 64
bib details doi

A. Islam, G. Byrne, S. Kong, E. Clarke, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka: Bifurcation Analysis of Cardiac Alternans using Delta-Decidability
CMSB 2016: 14th International Conference on Computational Methods in Systems Biology, Cambridge, UK; in: Proceedings of CMSB'16, the 14th International Conference on Computational Methods in Systems Biology, LNCS, Springer, Lecture Notes in Computer Science, Vol. 9859, Cambridge, UK (2016), ISBN: 978-3-319-45176-3, p. 132 - 146
bib details doi pdf

W. Wallner, A. Wasicek, R. Grosu: A simulation framework for IEEE 1588
2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden; in: Proceedings of IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, IEEE, 2016, ISSN: 1949-0313, p. 1 - 6
bib details doi pdf

K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu: Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties
Design and Verification Conference and Exhibition, San Jose, USA; in: Design and Verification Conference and Exhibition, Online, 2016; 8 pages
bib details pdf

M. Lazić, I. Konnov, H. Veith, J. Widder (invited): Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms
7th Workshop on Program Semantics, Specification and Verification: Theory and Applications, St. Petersburg, Russia
bib details

I. Konnov, M. Lazić, H. Veith, J. Widder: Parameterized Verification of Liveness of Distributed Algorithms
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Marrakech, Marocco
bib details

U. Schmid (invited): Easy Impossibility Proofs for k-Set Agreement
Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
bib details doi

D. Pfleger, U. Schmid: A Framework for Connectivity Monitoring in Wireless Sensor Networks
10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), Nice, France; in: Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), IARIA XPS Press, 2016, ISBN: 978-1-61208-490-9, p. 40 - 48
bib details

B. Charron-Bost, M Függer, T. Nowak: Fast, Robust, Quantizable Approximate Consensus
International Colloquium on Automata, Languages and Programming (ICALP), Rome, Italy; in: Proceedings 43rd International Colloquium on Automata, Languages, and Programming (ICALP'16), Leibniz International Proceedings in Informatics (LIPIcs), 2016, ISBN: 978-3-95977-013-2, p. 1 - 14
bib details doi

M. Schwarz, K. Winkler, U. Schmid: Fast Consensus Under Eventually Stabilizing Message Adversaries
17th International Conference on Distributed Computing and Networking, Singapore; in: Proceedings of the 17th International Conference on Distributed Computing and Networking, ACM, 2016, ISBN: 978-1-4503-4032-8, p. 1 - 10
bib details doi

A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka: Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans
18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; in: 18th IEEE International High-Level Design Validation and Test Workshop, IEEE, 2016, ISSN: 2471-7827, p. 170 - 177
bib details doi

R. M. Hasani, L. Esterle, R. Grosu: Investigations on the Nervous System of Caenorhabditis elegans
Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt
bib details

R. M. Hasani, D. Haerle, R. Grosu: Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks
12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal; in: Proc. of PRIME 2016: 12th conference on PhD research on microelectronics and electronics, IEEE, 2016, ISBN: 978-1-5090-0493-5, p. 1 - 4
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 >   >>