Michael Hohmuth

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2010
The Velox Transactional Memory Stack.
IEEE Micro, 2010

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.
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.
Proceedings of the European Conference on Computer Systems, 2010

2007
Introduction.
Operating Systems Review, 2007

2005
The Nizza secure-system architecture.
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.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

2002
Pragmatische nichtblockierende Synchronisation für Echtzeitsysteme.
PhD thesis, 2002

Applying source-code verification to a microkernel: the VFiasco project.
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.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001
Pragmatic Nonblocking Synchronization for Real-Time Systems.
Proceedings of the General Track: 2001 USENIX Annual Technical Conference, 2001

1998
DROPS: OS support for distributed multimedia applications.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

1997
The Performance of µKernel-Based Systems.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

OS-Controlled Cache Predictability for Real-Time Systems.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997


  Loading...