Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd SOSP 2009: Big Sky, Montana, USA
- Jeanna Neefe Matthews, Thomas E. Anderson:
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009. ACM 2009, ISBN 978-1-60558-752-3
Scalability
- David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan:
FAWN: a fast array of wimpy nodes. 1-14 - Mihai Dobrescu, Norbert Egi, Katerina J. Argyraki
, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy:
RouteBricks: exploiting parallelism to scale software routers. 15-28 - Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania:
The multikernel: a new OS architecture for scalable multicore systems. 29-44
Device drivers
- Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black:
Fast byte-granularity software fault isolation. 45-58 - Asim Kadav, Matthew J. Renzelmann, Michael M. Swift:
Tolerating hardware device failures in software. 59-72 - Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser:
Automatic device driver synthesis with termite. 73-86
Debugging
- Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard:
Automatically patching errors in deployed software. 87-102 - Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt:
Debugging in the (very) large: ten years of implementation and experience. 103-116 - Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan:
Detecting large-scale system problems by mining console logs. 117-132
I/O
- Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee:
Better I/O through byte-addressable, persistent memory. 133-146 - Mike Mammarella, Shant Hovsepian, Eddie Kohler:
Modular data storage with Anvil. 147-160 - Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel:
Operating systems transactions. 161-176
Parallel debugging
- Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu:
PRES: probabilistic replay with execution sketching on multiprocessors. 177-192 - Gautam Altekar, Ion Stoica:
ODR: output-deterministic replay for multicore debugging. 193-206
Kernals
- Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood:
seL4: formal verification of an OS kernel. 207-220 - Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt:
Helios: heterogeneous multiprocessing with satellite kernels. 221-234 - Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr:
Surviving sensor network software faults. 235-246
Clusters
- Yuan Yu, Pradeep Kumar Gunda, Michael Isard:
Distributed aggregation for data-parallel computing: interfaces and implementations. 247-260 - Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew V. Goldberg:
Quincy: fair scheduling for distributed computing clusters. 261-276 - Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché:
Upright cluster services. 277-290
Security
- Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Improving application security with data flow assertions. 291-304 - John Dunagan, Alice X. Zheng, Daniel R. Simon:
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. 305-320 - Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers:
Fabric: a platform for secure distributed computation and storage. 321-334
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
