Michael Hohmuth

According to our database, Michael Hohmuth authored at least 13 papers between 1997 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

The Velox Transactional Memory Stack.

Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Rivière, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel

IEEE Micro, 2010

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.

Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.

Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière

Proceedings of the European Conference on Computer Systems, 2010

2007

Introduction.

Michael Hohmuth

ACM SIGOPS Oper. Syst. Rev., 2007

2005

The Nizza secure-system architecture.

Hermann Härtig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, Michael Peter

Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2004

Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.

Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

2002

Pragmatische nichtblockierende Synchronisation für Echtzeitsysteme.

Michael Hohmuth

PhD thesis, 2002

Applying source-code verification to a microkernel: the VFiasco project.

Michael Hohmuth, Hendrik Tews, Shane G. Stephens

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems.

Frank Mehnert, Michael Hohmuth, Hermann Härtig

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001

Pragmatic Nonblocking Synchronization for Real-Time Systems.

Michael Hohmuth, Hermann Härtig

Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

1998

DROPS: OS support for distributed multimedia applications.

Hermann Härtig, Robert Baumgartl, Martin Borriss, Claude-Joachim Hamann, Michael Hohmuth, Frank Mehnert, Lars Reuther, Sebastian Schönberg, Jean Wolter

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

1997

The Performance of µKernel-Based Systems.

Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

OS-Controlled Cache Predictability for Real-Time Systems.

Jochen Liedtke, Hermann Härtig, Michael Hohmuth

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997