![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th HotOS 2007: San Diego, California, USA
- Galen C. Hunt:
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association 2007
Coping with Concurrency
- Donald E. Porter, Owen S. Hofmann, Emmett Witchel:
Is the Optimism in Optimistic Concurrency Warranted? - Mohan Rajagopalan, Brian T. Lewis, Todd A. Anderson:
Thread Scheduling for Multi-Core Platforms. - Michael Isard, Andrew Birrell:
Automatic Mutual Exclusion.
Modern Abstractions
- Timothy Roscoe, Kevin Elphinstone, Gernot Heiser:
Hype and Virtue. - Jesse Pool, Ian Sin Kwok Wong, David Lie:
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. - Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin:
Compatibility Is Not Transparency: VMM Detection Myths and Realities.
Algorithms for Profit
- Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano A. Santos, Janet L. Wiener, Xiaoyun Zhu, Dirk Beyer:
Don't Settle for Less Than the Best: Use Optimization to Make Decisions. - Bernard Wong, Ymir Vigfusson, Emin Gün Sirer:
Hyperspaces for Object Clustering and Approximate Matching in Peer-to-Peer Overlays. - Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan, Ken Birman:
Optimizing Power Consumption in Large Scale Storage Systems.
Guarantees for the Future
- Ben Greenstein, Ramakrishna Gummadi, Jeffrey Pang, Mike Y. Chen, Tadayoshi Kohno, Srinivasan Seshan, David Wetherall:
Can Ferris Bueller Still Have His Day Off? Protecting Privacy in the Wireless Era. - Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, Ram Swaminathan:
Auditing to Keep Online Storage Services Honest. - Arati Baliga, Joe Kilian, Liviu Iftode:
A Web Based Covert File System.
New Solutions, Old Problems
- Eelco Dolstra, Armijn Hemel:
Purely Functional System Configuration Management. - Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Kai Shen:
Processor Hardware Counter Statistics as a First-Class System Resource. - Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha:
Microdrivers: A New Architecture for Device Drivers.
Web 2.0
- Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan:
MashupOS: Operating System Abstractions for Client Mashups. - Emre Kiciman, Helen J. Wang:
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications. - Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie:
End-to-End Web Application Security.
Finding a Better Way
- Lin Tan, Ding Yuan, Yuanyuan Zhou:
HotComments: How to Make Program Comments More Useful? - Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser:
Towards a Practical, Verified Kernel. - Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou:
Beyond Bug-Finding: Sound Program Analysis for Linux.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.