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:
COMPUTER ARCHITECTURE NEWS
;
37
, 1
;
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:COMPUTER ARCHITECTURE NEWS ; 37, 1 ; 301-312
-
Publisher:
- New search for: IEEE Computer Society
-
Publication date:2009-01-01
-
Size:12 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004.22
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004.22 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 37, Issue 1
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
-
Session 1: Lessons Learned and Looking Ahead - An Evaluation of the TRIPS Computer SystemGebhart, Mark et al. | 2009
- 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, Constantin et al. | 2009
- 25
-
Session 2: Reliable Systems I - CTrigger: Exposing Atomicity Violation Bugs from Their Hiding PlacesPark, Soyeon 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, Stelios et al. | 2009
- 49
-
Recovery Domains: An Organizing Principle for Recoverable Operating SystemsLenharth, Andrew S. et al. | 2009
- 61
-
Anomaly-Based Bug Prediction, Isolation, and Validation: An Automated Approach for Software DebuggingDimitrov, Martin 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
- 73
-
Session 3: Deterministic Multiprocessing - Capo: A Software-Hardware Interface for Practical Deterministic Multiprocessor ReplayMontesinos, Pablo et al. | 2009
- 85
-
DMP: Deterministic Shared Memory MultiprocessingLucia, Joseph Deviettip Brandon et al. | 2009
- 97
-
Kendo: Efficient Deterministic Multithreading in SoftwareOlszewskip, Marek 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
- 109
-
Session 4: Prediction and Accounting - Complete Information Flow Tracking from the Gates UpTiwari, Mohit et al. | 2009
- 121
-
RapidMRC: Approximating L2 Miss Rate Curves on Commodity Systems for Online OptimizationsTam, David K. et al. | 2009
- 133
-
Per-Thread Cycle Accounting in SMT ProcessorsEyerman, Stijn et al. | 2009
- 145
-
Session 5: Transactional Memories - Maximum Benefit from a Minimal HTMHofmann, Owen S. 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 Commerical Hardware Transactional Memory ImplementationDice, D. / Lev, Y. / Moir, M. / Nussbaum, D. et al. | 2009
- 157
-
Early Experience with a Commercial Hardware Transactional Memory ImplementationDice, Dave et al. | 2009
- 169
-
Mixed-Mode Multicore ReliabilityWells, P.M. / Chakraborty, K. / Sohi, G.S. et al. | 2009
- 169
-
Session 6: Reliable Systems II - Mixed-Mode Multicore ReliabilityWells, Philip M. et al. | 2009
- 181
-
ISOLATOR: Dynamically Ensuring Isolation in Comcurrent ProgramsRajamani, Sriram et al. | 2009
- 193
-
Efficient Online Validation With Delta ExecutionTucek, Joseph et al. | 2009
- 205
-
PowerNap: Eliminating Server Idle PowerMeisner, D. / Gold, B.T. / Wenisch, T.F. et al. | 2009
- 205
-
Session 7: Power and Storage in Enterprise Systems - PowerNap: Eliminating Server Idle PowerMeisner, David et al. | 2009
- 217
-
Gordon: Using Flash Memory to Build Fast, Power-efficient Clusters for Data-intensive ApplicationsCaulfield, Adrian M. et al. | 2009
- 229
-
DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address MappingsGupta, Aayush et al. | 2009
- 241
-
Session 8: Potpourri - Commutativity Analysis for Software Parallelization: Letting Program Transformations See the Big PictureAleen, Farhana 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.Aater et al. | 2009
- 265
-
Producing Wrong Data Without Doing Anything Obviously Wrong!Mytkowicz, Todd et al. | 2009
- 277
-
Leak PruningBond, M.D. / McKinley, K.S. et al. | 2009
- 277
-
Session 9: Managed Systems - Leak PruningBond, Michael D. et al. | 2009
- 289
-
Dynamic Prediction of Collection Yield for Managed RuntimesWegiel, Michal et al. | 2009
- 301
-
TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS DriversMenon, Aravind et al. | 2009
- 313
-
Phantom-BTB: A Virtualized Branch Target Buffer DesignBurcea, I. / Moshovos, A. et al. | 2009
- 313
-
Session 10: Architectures - Phantom-BTB: A Virtualized Branch Target Buffer DesignBurcea, Ioana et al. | 2009
- 325
-
StreamRay: A Stream Filtering Architecture for Coherent Ray TracingRamani, Karthik et al. | 2009
- 337
-
Architectural Support for SWAR Text Processing with Parallel Bit Streams: The Inductive Doubling PrincipleCameron, Robert D. et al. | 2009
- 349
-
Author Index| 2009
-
ASPLOS XIV Symposium Organization| 2009