Michael Hohmuth

13 papers A* 2A 2C 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2010 A* conf
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.
MICRO
Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman
2010 A conf
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.
EuroSys
Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière
2010 J jnl
The Velox Transactional Memory Stack.
IEEE Micro
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
2007 J jnl
Introduction.
ACM SIGOPS Oper. Syst. Rev.
Michael Hohmuth
2005 C conf
The Nizza secure-system architecture.
CollaborateCom
Hermann Härtig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, Michael Peter
2004 — conf
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.
ACM SIGOPS European Workshop
Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro
2002 — conf
Applying source-code verification to a microkernel: the VFiasco project.
ACM SIGOPS European Workshop
Michael Hohmuth, Hendrik Tews, Shane G. Stephens
2002 A conf
Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems.
RTSS
Frank Mehnert, Michael Hohmuth, Hermann Härtig
2002 — —
Pragmatische nichtblockierende Synchronisation für Echtzeitsysteme.
Michael Hohmuth
2001 — conf
Pragmatic Nonblocking Synchronization for Real-Time Systems.
USENIX ATC, General Track
Michael Hohmuth, Hermann Härtig
1998 — conf
DROPS: OS support for distributed multimedia applications.
ACM SIGOPS European Workshop
Hermann Härtig, Robert Baumgartl, Martin Borriss, Claude-Joachim Hamann, Michael Hohmuth, Frank Mehnert, Lars Reuther, Sebastian Schönberg, Jean Wolter
1997 — conf
OS-Controlled Cache Predictability for Real-Time Systems.
IEEE Real Time Technology and Applications Symposium
Jochen Liedtke, Hermann Härtig, Michael Hohmuth
1997 A* conf
The Performance of µKernel-Based Systems.
SOSP
Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter