Publications

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

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

Books

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

K. Khdr, S. Pagani, M. Shafique, J. Henkel: Dark Silicon Aware Resource Management for Many-Core Systems
Dark Silicon and Future On-chip Systems, Elsevier, United States, 110 (2018), ISBN: 978-0-12-815358-1, p. 127 - 170
bib details doi

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

E. Bartocci, Y. Falcone, A. Francalanza, G. Reger: Introduction to Runtime Verification
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 1 - 33
bib details doi

M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser: Time series analysis: Unsupervised anomaly detection beyond outlier detection
Information Security Practice and Experience, C. Su, H. Kikuch (ed.); Springer, 2018, p. 16 - 36
bib details

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

S. Pagani, M. Shafique, J. Henkel: Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints
Handbook of Hardware/Software Codesign, Springer Science+Business Media, Dordrecht, 2017, ISBN: 978-94-017-7267-9, p. 301 - 332
bib details doi

S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel: Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 125 - 158
bib details doi

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