Harald Böhm

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 1

Top Topics

Data Partitioning

Highly Efficient

Top Venues

IBM J. Res. Dev.

Publications

Harald Böhm, Tobias Distler, Peter Wägemann
TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems. RTAS (2024)
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 z13 firmware innovations for simultaneous multithreading and I/O virtualization. IBM J. Res. Dev. 59 (4/5) (2015)
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
Firmware verification and simulation in IBM zEnterprise 196. IBM J. Res. Dev. 56 (1) (2012)
Harald Böhm, Matthias Hartmann, Birgit Böhm
Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games. Computer Science in Sport - Mission and Methods (2008)
Harald Böhm, Christian Krämer
Optimization of Human Motion Exemplified with Handbiking by Means of Motion Analysis and Musculoskeletal Models. Human Motion (2006)
Harald Böhm, Veit Senner
Computer Simulation of Muscle Elastic Behaviour in Drop Jumping. Int. J. Comput. Sci. Sport 2 (1) (2003)
Joachim von Buttlar, Harald Böhm, Reinhard Ernst, Axel Horsch, Andreas Kohler, Herbert Schein, Michael Stetter, Klaus Theurich
z/CECSIM: An efficient and comprehensive microcode simulator for the IBM eServer z900. IBM J. Res. Dev. 46 (4-5) (2002)
Siegfried M. Rump, Harald Böhm
Least significant bit evaluation of arithmetic expressions in single-precision. Computing 30 (3) (1983)
Harald Böhm
Evaluation of Arithmetic Expressions with Maximum Accuracy. IMACS World Congress (1982)
Harald Böhm
Auswertung arithmetischer Ausdrücke mit maximaler Genauigkeit. Wissenschaftliches Rechnen und Programmiersprachen (1982)