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

M. Brandalero, A. C. S. Beck, L. Carro, M. Shafique: Approximate On-The-Fly Coarse-Grained Reconfigurable Acceleration for General-Purpose Applications
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; in: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 2018, ISSN: 0738-100x, p. 1 - 6
bib details doi

S. Ullah, S. Rehman, B. Prabakaran, F. Kriebel, M. Hanif, M. Shafique, A. Kumar: Area-Optimized Low-Latency Approximate Multipliers for FPGA-based Hardware Accelerators
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; in: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 2018, ISSN: 0738-100x, p. 1 - 6
bib details doi

A. Pathania, K. Khdr, M. Shafique, T. Mitra, J. Henkel: QoS-Aware Stochastic Power Management for Many-Cores
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; in: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 2018, ISSN: 0738-100x, p. 1 - 6
bib details doi

M. Hailesellasie, S. R. Hasan, F. Khalid, F. Awwad, M. Shafique: FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements
2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy; in: 2018 IEEE International Symposium on Circuits and Systems (ISCAS), 2018, ISBN: 978-1-5386-4881-0, p. 1 - 5
bib details doi

F. Khalid, S. Nanjiani, S. R. Hasan, O. Hasan, F. Awwad, M. Shafique: Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices
2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy; in: 2018 IEEE International Symposium on Circuits and Systems (ISCAS), 2018, ISBN: 978-1-5386-4881-0, p. 1 - 5
bib details doi

V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, R. R., S.-K. Lam, M. Shafique: HiMap: A Hierarchical Mapping Approach for Enhancing Lifetime Reliability of Dark Silicon Manycore Systems
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 991 - 996
bib details doi

M. T. Teimoori, M. Hanif, A. Ejlali, M. Shafique: AdAM: Adaptive Approximation Management for the Non-Volatile Memory Hierarchies
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 785 - 790
bib details doi

O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique: PX-CGRA: Polymorphic Approximate Coarse-Grained Reconfigurable Architecture
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 413 - 418
bib details doi

J. Castro-Godinez, S. Esser, M. Shafique, S. Pagani, J. Henkel: Compiler-Driven Error Analysis for Designing Approximate Accelerators
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 1027 - 1032
bib details doi

M. Hanif, R. Hafiz, M. Shafique: Error Resilience Analysis for Systematically Employing Approximate Computing in Convolutional Neural Networks
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 913 - 916
bib details doi

B. Prabakaran, S. Rehman, M. Hanif, S. Ullah, G. Mazaheri, A. Kumar, M. Shafique: DeMAS: An Efficient Design Methodology for Building Approximate Adders for FPGA-Based Systems
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 917 - 920
bib details doi

M. Shafique, T. Theocharides, C.-S. Bouganis, M. Hanif, F. Khalid, R. Hafiz, S. Rehman: An Overview of Next-Generation Architectures for Machine Learning: Roadmap, Opportunities and Challenges in the IoT Era
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: IEEE/ACM 21st Design, Automation and Test in Europe Conference (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 827 - 832
bib details doi

K. Buchegger, G. Todoran, M. Bader: Safe and Efficient Autonomous Navigation in the Presence of Humans at Control Level
International Conference on Robotics in Alpe-Adria Danube Region, Springer International Publishing, Patras, Greek, 2018, ISBN: 978-3-030-00232-9, p. 504 - 511
bib details

M. Bader, G. Todoran, F. Beck, B. Binder, K. Buchegger: TransportBuddy: Navigation in Human Accessible Spaces
Proceedings of 7th Transport Research Arena TRA 2018, Zenodo, 2018; 10 pages
bib details doi

G. Todoran, M. Bader: Autonomous Navigation using Just-in-Time Emergency Trajectories
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE Xplore Digital Library, Madrid, Spain, 2018, p. 3422 - 3429
bib details

L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin: Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; in: Quantitative Evaluation of Systems - 15th International Conference, A. McIver, A. Horvath (ed.); Springer, Beijing, China (2018), ISBN: 978-3-319-99153-5, p. 104 - 121
bib details doi pdf

E. Bartocci, Y. Falcone: RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)
Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; in: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Springer International Publishing, 11247 (2018), p. 3 - 8
bib details doi

S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi: Signal Convolution Logic
Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; in: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, 11138 (2018), p. 267 - 283
bib details doi

C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid: Verifying nonlinear analog and mixed-signal circuits with inputs
Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; in: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC-PapersOnLine, 51 / 16 (2018), p. 241 - 246
bib details doi

R. Konoth, E. Vineti, V. Moonsamy, M. Lindorfer, C. Krügel, H. Bos, G. Vigna: MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense
Proceedings of the 2018 ACM Conference on Computer and Communications Security (CCS), ACM (ed.); ACM, 2018, ISBN: 978-1-4503-5693-0, p. 1714 - 1730
bib details doi 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 >   >>