|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Riviere, 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 |
The Velox Transactional Memory Stack.  |
IEEE Micro  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman |
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.  |
MICRO  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Riviere |
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.  |
EuroSys  |
2010 |
DBLP DOI BibTeX RDF |
transactional memory |
| 1 | Michael Hohmuth |
Introduction.  |
Operating Systems Review  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Härtig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, Michael Peter |
The Nizza secure-system architecture.  |
CollaborateCom  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro |
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.  |
ACM SIGOPS European Workshop  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hohmuth, Hendrik Tews, Shane G. Stephens |
Applying source-code verification to a microkernel: the VFiasco project.  |
ACM SIGOPS European Workshop  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Mehnert, Michael Hohmuth, Hermann Härtig |
Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hohmuth, Hermann Härtig |
Pragmatic Nonblocking Synchronization for Real-Time Systems.  |
USENIX Annual Technical Conference, General Track  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hermann Härtig, Robert Baumgartl, Martin Borriss, Claude-Joachim Hamann, Michael Hohmuth, Frank Mehnert, Lars Reuther, Sebastian Schönberg, Jean Wolter |
DROPS: OS support for distributed multimedia applications.  |
ACM SIGOPS European Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter |
The Performance of µKernel-Based Systems.  |
SOSP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke, Hermann Härtig, Michael Hohmuth |
OS-Controlled Cache Predictability for Real-Time Systems. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|