Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

A. Schöbel, C. Schöbel, J. Blieberger: Kronecker Algebra for Managing Rail Capacity
ISEP2018 -- 26th International Symposium on Electronics in Transport, ISEP2018, Ljubljana, 2018, ISBN: 978-961-6187-69-5
bib details

B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger: Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; in: VMCAI, LNCS/Springer, 10747 (2018), p. 1 - 24
bib details doi pdf

D. Steiner, P. Puschner: Error detection based on execution-time monitoring
6th Mediterranean Conference on Embedded Computing (MECO), Bar, Montenegro; in: Proceedings 6th Mediterranean Conference on Embedded Computing (MECO), IEEE, 2017, ISBN: 978-1-5090-6742-8; 5 pages
bib details doi pdf

A. Continella, Y. Fratantonio, M. Lindorfer, A. Puccetti, A. Zand, C. Krügel, G. Vigna: Obfuscation-Resilient Privacy Leak Detection for Mobile Apps Through Differential Analysis
Network and Distributed System Security Symposium (NDSS), Internet Society, 2017
bib details doi pdf

S. Mirsadeghi, J. Träff, P. Balaji, A. Afsahi: Exploiting Common Neighborhoods to Optimize MPI Neighborhood Collectives
24th IEEE International Conference on High Performance Computing (HiPC 2017), Jaipur, India; in: Proceedings of the 24th IEEE International Conference on High Performance Computing (HiPC 2017), IEEE, 2017, ISBN: 978-1-5386-2294-0, p. 348 - 357
bib details doi

G. Tarawneh, M Függer, C. Lenzen: Metastability tolerant computing
23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; in: Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5, p. 25 - 32
bib details doi

M Függer, T. Nowak, M. Schwarz: Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
31st International Symposium on Distributed Computing (DISC 2017), Wien; in: Leibniz International Proceedings in Informatics (LIPIcs), 2017, ISSN: 1868-8969; 3 pages
bib details doi

M Függer, A. Kinali, C. Lenzen, T. Polzer: Metastability-aware memory-efficient time-to-digital converter
23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; in: Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5, p. 49 - 56
bib details doi

B. Fritz, V. S. Veeravalli, A. Steininger, V. Simek: Setup for an Experimental Study of Radiation Effects in 65nm CMOS
20th Euromicro Conference on Digital System Design, Wien; in: Proceedings of the 20th Euromicro Conference on Digital System Design, 2017, p. 329 - 336
bib details doi

M. Andjelkovic, M. Krstic, R. Kraemer, V. S. Veeravalli, A. Steininger: A Critical Charge Model for Estimating the SET and SEU Sensitivity: A Muller C-Element Case Study
The 26th IEEE Asian Test Symposium (ATS´17), Taipei, Taiwan; in: Proceedings of the 26th IEEE Asian Test Symposium (ATS´17), 2017, p. 1 - 6
bib details

M. Shafique, R. Hafiz, M. Javed, S. Abbas, L. Sekanina, Z. Vasicek, V. Mrazek: Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17), 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17); in: Proceedings of 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17), IEEE, 2017, ISSN: 2159-3477, p. 617 - 632
bib details doi

H. Lee, M. Shafique, M. Al Faruque: Low-overhead Aging-aware Resource Management on Embedded GPUs
2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; in: Proceedings of the 54th Annual Design Automation Conference (DAC) 2017, ACM, 2017, ISBN: 978-1-4503-4927-7, p. 67:1 - 67:6
bib details doi

M. Hanif, R. Hafiz, O. Hasan, M. Shafique: QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders
2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; in: Proceedings of the 54th Annual Design Automation Conference (DAC) 2017, ACM, 2017, ISBN: 978-1-4503-4927-7, p. 42:1 - 42:6
bib details doi

M. Ayub, O. Hasan, M. Shafique: Statistical Error Analysis for Low Power Approximate Adders
2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; in: Proceedings of the 54th Annual Design Automation Conference (DAC) 2017, ACM, 2017, ISBN: 978-1-4503-4927-7, p. 75:1 - 75:6
bib details doi

W. El-Harouni, S. Rehman, B. Prabakaran, A. Kumar, R. Hafiz, M. Shafique: Embracing Approximate Computing for Energy-Efficient Motion Estimation in High Efficiency Video Coding
2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; in: Proceedings of the 2017 Design, Automation & Test in Europe (DATE), IEEE, 2017, ISSN: 1558-1101, p. 1384 - 1389
bib details doi

A. Subramaniyan, S. Rehman, M. Shafique, A. Kumar, J. Henkel: Soft Error-Aware Architectural Exploration for Designing Reliability Adaptive Cache Hierarchies in Multi-Cores
2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; in: Proceedings of the 2017 Design, Automation & Test in Europe (DATE), IEEE, 2017, ISSN: 1558-1101, p. 37 - 42
bib details doi

A. Pathania, K. Khdr, M. Shafique, T. Mitra, J. Henkel: Scalable Probabilistic Power Budgeting for Many-Cores
2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; in: Proceedings of the 2017 Design, Automation & Test in Europe (DATE), IEEE, 2017, ISSN: 1558-1101, p. 864 - 869
bib details doi

S. Bukhari, F. Lodhi, O. Hasan, M. Shafique, J. Henkel: CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking
2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; in: Proceedings of the 2017 Design, Automation & Test in Europe (DATE), IEEE, 2017, ISSN: 1558-1101, p. 1289 - 1292
bib details doi

A. Chattopadhyay, A. Prakash, M. Shafique: Secure Cyber-Physical Systems: Current Trends, Tools and Open Research Problems
2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; in: Proceedings of the 2017 Design, Automation & Test in Europe (DATE), IEEE, 2017, ISSN: 1558-1101, p. 1104 - 1109
bib details doi

R. Hasani, M. Fuchs, V. Beneder, R. Grosu: Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans
Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; in: Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, 2017; 5 pages
bib details pdf

<<   < 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 >   >>