Publications

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

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

Books

M. Hanif, F. Khalid, R. Putra, M. T. Teimoori, F. Kriebel, J. Zhang, K. Liu, S. Rehman, T. Theocharides, A. Artusi, S. Garg, M. Shafique: Robust Computing for Machine Learning-Based Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 479 - 503
bib details doi

M. Salehi, F. Kriebel, S. Rehman, M. Shafique: Power-Aware Fault-Tolerance for Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 565 - 588
bib details doi

F. Kriebel, F. Khalid, B. Prabakaran, S. Rehman, M. Shafique: Fault-Tolerant Computing with Heterogeneous Hardening Modes
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 161 - 180
bib details doi

F. Kriebel, K. Chen, S. Rehman, J. Henkel, J. Chen, M. Shafique: Dependable Software Generation and Execution on Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 139 - 160
bib details doi

A. Herkersdorf, M. Engel, M. Glaß, J. Henkel, V. Kleeberger, J. Kühn, P. Marwedel, D. Mueller-Gritschneder, S. Nassif, S. Rehman, W. Rosenstiel, U. Schlichtmann, M. Shafique, J. Teich, N. Wehn, C. Weis: RAP Model-Enabling Cross-Layer Analysis and Optimization for System-on-Chip Resilience
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 1 - 27
bib details doi

D. Etz, T. Frühwirth, W. Kastner: Self-Configuring Safety Networks
Kommunikation und Bildverarbeitung in der Automation, J. Jasperneite, V. Lohweg (ed.); Springer, Berlin, Deutschland, 12 (2020), ISBN: 978-3-662-59894-8, p. 232 - 245
bib details doi pdf

B. Heinzl: Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning
TU Verlag, Vienna, Wien, 2020, ISBN: 978-3-903311-11-4; 212 pages
bib details

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu: Statistical model checking
Computing and Software Science, Springer LNCS, 2019, p. 478 - 504
bib details

N. Stifter, A. Judmayer, E. Weippl: Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies
Security and Quality in Cyber-Physical Systems Engineering, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-030-25311-0
bib details doi

M. Hanif, M. Javed, R. Hafiz, S. Rehman, M. Shafique: Hardware-Software Approximations for Deep Neural Networks
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 269 - 288
bib details doi

B. Prabakaran, W. El-Harouni, S. Rehman, M. Shafique: Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 249 - 268
bib details doi

S. Mazahir, M. Ayub, O. Hasan, M. Shafique: Probabilistic Error Analysis of Approximate Adders and Multipliers
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 99 - 120
bib details doi

S. Rehman, B. Prabakaran, W. El-Harouni, M. Shafique, J. Henkel: Heterogeneous Approximate Multipliers: Architectures and Design Methodologies
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 45 - 66
bib details doi

M. Hanif, R. Hafiz, M. Shafique: Configurable Models and Design Space Exploration for Low-Latency Approximate Adders
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 3 - 23
bib details doi

M. Hanif, R. Hafiz, M. Javed, S. Rehman, M. Shafique: Energy-Efficient Design of Advanced Machine Learning Hardware
Machine Learning in VLSI Computer-Aided Design, Springer International Publishing, Switzerland, 2019, p. 647 - 678
bib details doi

M. Shafique, O. Hasan, R. Hafiz, S. Mazahir, M. Hanif, S. Rehman: Approximate Computing across the Hardware and Software Stacks
Many-Core Computing: Hardware and Software, IET, 2019, ISBN: 978-1-785-61583-2, p. 497 - 522
bib details doi

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

R. Kuznets: Through an Inference Rule, Darkly
Mathesis Universalis, Computability and Proof, S. Centrone, S. Negri, D. Sarikaya, P. Schuster (ed.); Springer International Publishing, Cham, 2019, ISBN: 978-3-030-20446-4, p. 131 - 158
bib details doi

R. Willmann, W. Kastner: More Deterministic Product Ramp-up in Cloud Manufacturing Scenarios
Mit Innovationsmanagement zu Industrie 4.0: Grundlagen, Strategien, Erfolgsfaktoren und Praxisbeispiele, Springer-Verlag, Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature, 2018, ISBN: 978-3-658-11666-8, p. 125 - 137
bib details doi

S. Pagani, J. Chen, M. Shafique, J. Henkel: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
bib details doi

<<   < 1 2 3 4 5 6 7 >   >>