Login / Signup
Harald Böhm
Publication Activity (10 Years)
Years Active: 1982-2024
Publications (10 Years): 1
Top Topics
Data Partitioning
Highly Efficient
Multithreading
Coarse Grained
Top Venues
IBM J. Res. Dev.
RTAS
</>
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)