TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers (English)
- New search for: Menon, A.
- New search for: Schubert, S.
- New search for: Zwaenepoel, W.
- New search for: Menon, A.
- New search for: Schubert, S.
- New search for: Zwaenepoel, W.
In:
ACM SIGPLAN NOTICES
;
44
, 3
;
301-312
;
2009
-
ISSN:
- Article (Journal) / Print
-
Title:TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers
-
Contributors:
-
Published in:ACM SIGPLAN NOTICES ; 44, 3 ; 301-312
-
Publisher:
- New search for: ACM
-
Publication date:2009-01-01
-
Size:12 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 44, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
An Evaluation of the TRIPS Computer SystemGebhart, M. / Maher, B.A. / Coons, K.E. / Diamond, J. / Gratz, P. / Marino, M. / Ranganathan, N. / Robatmili, B. / Smith, A. / Burrill, J. et al. | 2009
- 13
-
Architectural Implications of Nanoscale Integrated Sensing and ComputingPistol, C. / Dwyer, C. / Lebeck, A.R. et al. | 2009
- 25
-
CTrigger: Exposing Atomicity Violation Bugs from Their Hiding PlacesPark, S. / Lu, S. / Zhou, Y. et al. | 2009
- 37
-
ASSURE: Automatic Software Self-healing Using REscue pointsSidiroglou, S. / Laadan, O. / Perez, C.R. / Viennot, N. / Nieh, J. / Keromytis, A.D. et al. | 2009
- 49
-
Recovery Domains: An Organizing Principle for Recoverable Operating SystemsLenharth, A.S. / Adve, V.S. / King, S.T. et al. | 2009
- 61
-
Anomaly-Based Bug Prediction, Isolation, and Validation: An Automated Approach for Software DebuggingDimitrov, M. / Zhou, H. et al. | 2009
- 73
-
Capo: A Software-Hardware Interface for Practical Deterministic Multiprocessor ReplayMontesinos, P. / Hicks, M. / King, S.T. / Torrellas, J. et al. | 2009
- 85
-
DMP: Deterministic Shared Memory MultiprocessingLucia, J.D.B. / Ceze, L. / Oskin, M. et al. | 2009
- 97
-
Kendo: Efficient Deterministic Multithreading in SoftwareAmarasinghe, M.O.J.A.S. et al. | 2009
- 109
-
Complete Information Flow Tracking from the Gates UpTiwari, M. / Wassel, H.M.G. / Mazloom, B. / Mysore, S. / Chong, F.T. / Sherwood, T. et al. | 2009
- 121
-
RapidMRC: Approximating L2 Miss Rate Curves on Commodity Systems for Online OptimizationsTam, D.K. / Azimi, R. / Soares, L.B. / Stumm, M. et al. | 2009
- 133
-
Per-Thread Cycle Accounting in SMT ProcessorsEyerman, S. / Eeckhout, L. et al. | 2009
- 145
-
Maximum Benefit from a Minimal HTMHofmann, O.S. / Rossbach, C.J. / Witchel, E. et al. | 2009
- 157
-
Early Experience with a Commercial Hardware Transactional Memory ImplementationDice, D. / Lev, Y. / Moir, M. / Nussbaum, D. et al. | 2009
- 169
-
Mixed-Mode Multicore ReliabilityWells, P.M. / Chakraborty, K. / Sohi, G.S. et al. | 2009
- 181
-
ISOLATOR: Dynamically Ensuring Isolation in Comcurrent ProgramsRajamani, S. / Ramalingam, G. / Ranganath, V.P. / Vaswani, K. et al. | 2009
- 193
-
Efficient Online Validation With Delta ExecutionTucek, J. / Xiong, W. / Zhou, Y. et al. | 2009
- 205
-
PowerNap: Eliminating Server Idle PowerMeisner, D. / Gold, B.T. / Wenisch, T.F. et al. | 2009
- 217
-
Gordon: Using Flash Memory to Build Fast, Power-efficient Clusters for Data-intensive ApplicationsCaulfield, A.M. / Grupp, L.M. / Swanson, S. et al. | 2009
- 229
-
DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address MappingsGupta, A. / Kim, Y. / Urgaonkar, B. et al. | 2009
- 241
-
Commutativity Analysis for Software Parallelization: Letting Program Transformations See the Big PictureAleen, F. / Clark, N. et al. | 2009
- 253
-
Accelerating Critical Section Execution with Asymmetric Multi-Core ArchitecturesSuleman, M.A. / Mutlu, O. / Qureshi, M.K. / Patt, Y.N. et al. | 2009
- 265
-
Producing Wrong Data Without Doing Anything Obviously Wrong!Mytkowicz, T. / Diwan, A. / Hauswirth, M. / Sweeney, P.F. et al. | 2009
- 277
-
Leak PruningBond, M.D. / McKinley, K.S. et al. | 2009
- 289
-
Dynamic Prediction of Collection Yield for Managed RuntimesWegiel, M. / Krintz, C. et al. | 2009
- 301
-
TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS DriversMenon, A. / Schubert, S. / Zwaenepoel, W. et al. | 2009
- 313
-
Phantom-BTB: A Virtualized Branch Target Buffer DesignBurcea, I. / Moshovos, A. et al. | 2009
- 325
-
StreamRay: A Stream Filtering Architecture for Coherent Ray TracingRamani, K. / Gribble, C.P. / Davis, A. et al. | 2009
- 337
-
Architectural Support for SWAR Text Processing with Parallel Bit Streams: The Inductive Doubling PrincipleCameron, R.D. / Lin, D. et al. | 2009