Harald Böhm

According to our database, Harald Böhm authored at least 10 papers between 1982 and 2024.

Collaborative distances:

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

2024

TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems.

Harald Böhm, Tobias Distler, Peter Wägemann

Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2015

IBM z13 firmware innovations for simultaneous multithreading and I/O virtualization.

Christine Axnix, Gerd Bayer, Harald Böhm, Joachim von Buttlar, Mark S. Farrell, Lisa Cranton Heller, Jeffrey P. Kubala, Seth E. Lederer, Raymond Mansell, Angel Nuñez Mencias, Stefan Usenbinz

IBM J. Res. Dev., 2015

2012

Firmware verification and simulation in IBM zEnterprise 196.

Stefan Koerner, Constantin Werner, Thomas Hess, Philip Schulz, Markus Strasser, Sven Wagner, Harald Böhm, Martin Troester, Dirk Bolte, Herwig Elfering, Thomas Pohl, Klaus Theurich, William H. Miller, Peter Szwed

IBM J. Res. Dev., 2012

2008

Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games.

Harald Böhm, Matthias Hartmann, Birgit Böhm

Proceedings of the Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008, 2008

2006

Optimization of Human Motion Exemplified with Handbiking by Means of Motion Analysis and Musculoskeletal Models.

Harald Böhm, Christian Krämer

Proceedings of the Human Motion, Understanding, Modelling, Capture, and Animation [Dagstuhl Seminar, 11.06., 2006

2003

Computer Simulation of Muscle Elastic Behaviour in Drop Jumping.

Harald Böhm, Veit Senner

Int. J. Comput. Sci. Sport, 2003

2002

z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900.

Joachim von Buttlar, Harald Böhm, Reinhard Ernst, Axel Horsch, Andreas Kohler, Herbert Schein, Michael Stetter, Klaus Theurich

IBM J. Res. Dev., 2002

1983

Least significant bit evaluation of arithmetic expressions in single-precision.

Siegfried M. Rump, Harald Böhm

Computing, 1983

1982

Evaluation of Arithmetic Expressions with Maximum Accuracy.

Harald Böhm

Proceedings of the Parallel and Large-Scale Computers: Performance, 1982

Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit.

Harald Böhm

Proceedings of the Wissenschaftliches Rechnen und Programmiersprachen, 1982