Markus Kaltenbach

According to our database, Markus Kaltenbach authored at least 3 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2015

IBM POWER8 processor core microarchitecture.

Balaram Sinharoy, James Van Norstrand, Richard J. Eickemeyer, Hung Q. Le, Jens Leenstra, Dung Q. Nguyen, B. Konigsburg, K. Ward, M. D. Brown, José E. Moreira, D. Levitan, S. Tung, David Hrusecky, James W. Bishop, Michael Gschwind, Maarten Boersma, Michael Kroener, Markus Kaltenbach, Tejas Karkhanis, K. M. Fernsler

IBM J. Res. Dev., 2015

2014

Automatic detection of sticky clock gating equations.

Maarten Boersma, Ulrike Schmidt, Markus Kaltenbach

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2002

A Theory of Hints in Model Checking.

Markus Kaltenbach, Jayadev Misra

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002