Gilles Muller, Eric Jul (Eds.):
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002.
ACM 2002 BibTeX
Instrumentation
Operating systems
Theory
Robust service
Security & authentication
Operating system's structures
Peer-to-peer
- Rodrigo Rodrigues, Barbara Liskov, Liuba Shrira:
The design of a robust peer-to-peer system.
117-124
Electronic Edition (ACM DL) BibTeX
- Jonathan Ledlie, Jacob M. Taylor, Laura Serban, Margo I. Seltzer:
Self-organization in peer-to-peer systems.
125-132
Electronic Edition (ACM DL) BibTeX
- Ayalvadi J. Ganesh, Anne-Marie Kermarrec, Laurent Massoulié:
HiScamp: self-organizing hierarchical membership protocol.
133-139
Electronic Edition (ACM DL) BibTeX
- Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron:
One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks.
140-145
Electronic Edition (ACM DL) BibTeX
Extended abstracts
- Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai:
A design of the persistent operating system with non-volatile memory.
149-152
Electronic Edition (ACM DL) BibTeX
- Fabián E. Bustamante, Christian Poellabauer, Karsten Schwan:
AIMS: robustness through sensible introspection.
153-156
Electronic Edition (ACM DL) BibTeX
- Gilbert Cabillic, Salam Majoul, Jean-Philippe Lesot, Michel Banâtre:
An approach for a dependable Java embedded environment.
157-160
Electronic Edition (ACM DL) BibTeX
- Mike Y. Chen, Emre Kiciman, Eric A. Brewer:
An online evolutionary approach to developing internet services.
161-164
Electronic Edition (ACM DL) BibTeX
- Michael Hohmuth, Hendrik Tews, Shane G. Stephens:
Applying source-code verification to a microkernel: the VFiasco project.
165-169
Electronic Edition (ACM DL) BibTeX
- Jeffrey S. Chase, Amin Vahdat, John Wilkes:
Back to the future: dependable computing = dependable services.
170-173
Electronic Edition (ACM DL) BibTeX
- Patrick Cormery, Le Vinh Quy Ribal, Arnaud Stransky:
Dependency on O.S. in long-term programs: experience report in space programs.
174-177
Electronic Edition (ACM DL) BibTeX
- Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda:
Design and implementation of the Lambda mu-kernel based operating system for embedded systems.
178-181
Electronic Edition (ACM DL) BibTeX
- Hakim Weatherspoon, John Kubiatowicz:
Efficient heartbeats and repair of softstate in decentralized object location and routing systems.
182-185
Electronic Edition (ACM DL) BibTeX
- Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Morris:
Event-driven programming for robust software.
186-189
Electronic Edition (ACM DL) BibTeX
- Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder:
Execution time limitation of interrupt handlers in a Java operating system.
190-193
Electronic Edition (ACM DL) BibTeX
- Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume:
Extensible distributed operating system for reliable control systems.
194-197
Electronic Edition (ACM DL) BibTeX
- Shane Stephens, Gernot Heiser:
Fault tolerance and avoidance in biomedical systems.
198-200
Electronic Edition (ACM DL) BibTeX
- Trent Jaeger, Antony Edwards, Xiaolan Zhang:
Gaining and maintaining confidence in operating systems security.
201-204
Electronic Edition (ACM DL) BibTeX
- Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu:
High-confidence operating systems.
205-208
Electronic Edition (ACM DL) BibTeX
- Ludovic Casset, Jean-Louis Lanet:
Increasing smart card dependability.
209-212
Electronic Edition (ACM DL) BibTeX
- George Candea, Armando Fox:
A utility-centered approach to building dependable infrastructure services.
213-218
Electronic Edition (ACM DL) BibTeX
- Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler:
Model checking system software with CMC.
219-222
Electronic Edition (ACM DL) BibTeX
- Stéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès:
OASIS project: deterministic real-time for safety critical embedded systems.
223-226
Electronic Edition (ACM DL) BibTeX
- Arun Venkataramani, Ravi Kokku, Michael Dahlin:
Operating system support for massive replication.
227-230
Electronic Edition (ACM DL) BibTeX
- Yasushi Saito, Christos T. Karamanolis:
Pangaea: a symbiotic wide-area file system.
231-234
Electronic Edition (ACM DL) BibTeX
- Dennis Geels, John Kubiatowicz:
Replica management should be a game.
235-238
Electronic Edition (ACM DL) BibTeX
- Xiaolan Zhang, Leendert van Doorn, Trent Jaeger, Ronald Perez, Reiner Sailer:
Secure coprocessor-based intrusion detection.
239-242
Electronic Edition (ACM DL) BibTeX
- Christophe Rippert, Jean-Bernard Stefani:
THINK: a secure distributed systems architecture.
243-246
Electronic Edition (ACM DL) BibTeX
- Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet:
Timing fault detection for safety-critical real-time embedded systems.
247-250
Electronic Edition (ACM DL) BibTeX
- Vivek Haldar, Michael Franz:
Towards trusted systems from the ground up.
251-254
Electronic Edition (ACM DL) BibTeX
- David L. Oppenheimer, David A. Patterson:
Studying and using failure data from large-scale internet services.
255-258
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:41:14 2009
by Michael Ley (ley@uni-trier.de)
