Publications

Shows publications by members of the Embedded Systems group.

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

Books

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

H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran: Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs
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. 291 - 325
bib details doi

M. Khan, M. Shafique, J. Henkel: Energy Efficient Embedded Video Processing Systems - A Hardware-Software Collaborative Approach
Springer International Publishing, 2017, ISBN: 978-3-319-61455-7; 238 pages
bib details doi

A. Steininger (invited): Fifty Shades of Synchrony
This Asynchronous Woirld, A. Mokhov (ed.); Newcastle University, Newcastle upon Tyne, 2016, ISBN: 978-0-7017-0257-1, p. 294 - 300
bib details

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, V. Veith, J. Widder: Decidability of Parameterized Verification
Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
bib details doi

A. Gmeiner, I. Konnov, U. Schmid, V. Veith, J. Widder (invited): Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Formal Methods for Executable Software Models, Springer, 2014, ISBN: 978-3-319-07316-3, p. 122 - 171
bib details doi

J. Widder, U. Schmid: Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures
Distributed Computing, Springer-Verlag, 2007, p. 115 - 140
bib details

P Tummeltshammer, J.C Hoe, M. Pueschel: Time-Multiplexed Multiple Constant Multiplication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2007, p. 1551 - 1563
bib details

T. Losert, W. Huber, K. Hendling, M. Jandl: A CORBA-Based Architecture for Hard Real-Time Systems
Intelligent Systems at the Service of Mankind - Volume II, Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 239 - 254
bib details