Publications

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

Currently viewing all publications chronologically - back to overwiew...

A. Murthy, A. Islam, S. Smolka, R. Grosu: Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability
Nonlinear Analysis: Hybrid Systems, 23 (2017), p. 272 - 286
bib details doi

D. Phan, J. Yang, R. Grosu, S. Smolka, S. Stoller: Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles
Formal Methods in System Design, 51 (2017), p. 62 - 86
bib details doi

G. Todoran: Optimal local path planning and control for mobile robotics (Master's Thesis)
reviewers: M. Bader, W. Kemmetmüller, A. Kugi; Automation and Control Institute (ACIN), 2017; oral examination: 2017-10-06
bib details

P. Ferschin, M. Di Angelo, I. Erb, N. Pfeifer: Procedual Parametric Modeling of Balinese Architecture
Journal of Comparative Cultural Studies in Architecture, . (2017), p. 51 - 54
bib details 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. Charron-Bost, M Függer, T. Nowak: New transience bounds for max-plus linear systems
Discrete Applied Mathematics, 219 (2017), p. 83 - 99
bib details doi

A. Schöbel, J. Aksentijevic, M. Stefan, J. Blieberger: Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure
Transportation Research Procedia, 27 (2017), p. 545 - 552
bib details doi

P. Smolek, I. Leobner, G. Gourlis, B. Mörzinger, B. Heinzl, K. Ponweiser: Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications
Journal of Sustainable Development of Energy, Water and Environment Systems, In Press (2017), p. 1 - 13
bib details doi

M. Shafique (invited): Approximate Computing across the Hardware and Software Stacks
Invited Talks at TU Eindhoven, TU Eindhoven, Netherlands
bib details

M. Shafique (invited): Cross-Layer Approximate Computing: From Circuits to Applications
Invited Talks at University of Twente, University of Twente, Netherlands
bib details

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

T. Polzer, A. Steininger: A Model for the Metastability Delay of Sequential Elements
Journal of Circuits, Systems, and Computers, 26 (2017), p. 174001001 - 174001022
bib details doi

M. Shafique: Low-Power Computing and Emerging Trends
CPS Summer School 2017, Porto Conte Ricerche, Alghero, Italy
bib details

M. Shafique: Robust Heterogeneous Computing for CPS
CPS Summer School 2017, Porto Contr Ricerche, Alghero, Italy
bib details

M. Shafique (invited): Enabling Extreme Energy-Efficiency through Brain-Inspired Computing Trends: From Approximate to Neural Processing
15th International Conference On Frontiers of Information Technology (FIT'17), Islamabad, Pakistan
bib details

M. Shafique (invited): Emerging Brain-Inspired Computing Trends: From Approximate Computing to Neural Processing
International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), Karachi, Pakistan
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 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>