ACM SIGOPS European Workshop - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 466

2004

When physical is not real enoughFrank Bellosa. sigopsE 2004: 25 [doi]

Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004Yolande Berbers, Miguel Castro, editors, ACM, 2004.

QoS for internet services: done rightJosep M. Blanquer, Antoni Batchelli, Klaus E. Schauser, Richard Wolski. sigopsE 2004: 8 [doi]

A component-based approach to distributed system management: a use case with self-manageable J2EE clustersSara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani. sigopsE 2004: 26 [doi]

Undo for anyone, anywhere, anytimeJames O Brien, Marc Shapiro. sigopsE 2004: 31 [doi]

An approach to benchmarking configuration complexityAaron B. Brown, Joseph L. Hellerstein. sigopsE 2004: 18 [doi]

Position: short object lifetimes require a delete-optimized storage systemFred Douglis, John Palmer, Elizabeth S. Richards, David Tao, William H. Tetzlaff, John M. Tracey, Jian Yin. sigopsE 2004: 6 [doi]

Chip multithreading systems need a new operating system schedulerAlexandra Fedorova, Christopher Small, Daniel Nussbaum, Margo I. Seltzer. sigopsE 2004: 9 [doi]

Data lifetime is a systems problemTal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum. sigopsE 2004: 10 [doi]

Exploiting semantic clustering in the eDonkey P2P networkSidath B. Handurukande, Anne-Marie Kermarrec, Fabrice Le Fessant, Laurent Massoulié. sigopsE 2004: 20 [doi]

Self-migration of operating systemsJacob Gorm Hansen, Eric Jul. sigopsE 2004: 23 [doi]

Secure bootstrap is not enough: shoring up the trusted computing baseJames Hendricks, Leendert van Doorn. sigopsE 2004: 11 [doi]

Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitorsMichael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro. sigopsE 2004: 22 [doi]

Request extraction in Magpie: events, schemas and temporal joinsRebecca Isaacs, Paul Barham, James R. Bulpin, Richard Mortier, Dushyanth Narayanan. sigopsE 2004: 17 [doi]

Lessons and challenges in automating data dependabilityKimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase, Arif Merchant, Cipriano A. Santos, John Wilkes. sigopsE 2004: 4 [doi]

Open problems in data collection networksJonathan Ledlie, Jeffrey Shneidman, Matt Welsh, Mema Roussopoulos, Margo I. Seltzer. sigopsE 2004: 27 [doi]

Separating durability and availability in self-managed storageGeoffrey Lefebvre, Michael J. Feeley. sigopsE 2004: 28 [doi]

A sledgehammer approach to reuse of legacy device driversJoshua LeVasseur, Volkmar Uhlig. sigopsE 2004: 24 [doi]

The firecracker protocolPhilip Levis, David E. Culler. sigopsE 2004: 3 [doi]

EERAID: energy efficient redundant and inexpensive disk arrayDong Li, Jun Wang. sigopsE 2004: 29 [doi]

Transactional file systems can be fastBarbara Liskov, Rodrigo Rodrigues. sigopsE 2004: 5 [doi]

Using virtual markets to program global behavior in sensor networksGeoffrey Mainland, Laura Kang, Sébastien Lahaie, David C. Parkes, Matt Welsh. sigopsE 2004: 1 [doi]

Impeding attrition attacks in P2P systemsPetros Maniatis, Thomas J. Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker. sigopsE 2004: 12 [doi]

AP3: cooperative, decentralized anonymous communicationAlan Mislove, Gaurav Oberoi, Ansley Post, Charles Reis, Peter Druschel, Dan S. Wallach. sigopsE 2004: 30 [doi]

Constructing component-based extension interfaces in legacy systems codeGilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt. sigopsE 2004: 15 [doi]

A step towards ubiquitous computing: an efficient flexible micro-ORBFrédéric Ogel, Bertil Folliot, Gaël Thomas. sigopsE 2004: 32 [doi]

Generic role assignment for wireless sensor networksKay Römer, Christian Frank, Pedro José Marrón, Christian Becker. sigopsE 2004: 2 [doi]

Energy-efficient cluster-based service discovery for Ubiquitous ComputingGregor Schiele, Christian Becker, Kurt Rothermel. sigopsE 2004: 14 [doi]

Defending against eclipse attacks on overlay networksAtul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron. sigopsE 2004: 21 [doi]

Eluding carnivores: file sharing with strong anonymityEmin Gün Sirer, Sharad Goel, Mark Robson, Dogan Engin. sigopsE 2004: 19 [doi]

Scalable strong consistency for web applicationsSwaminathan Sivasubramanian, Guillaume Pierre, Maarten van Steen. sigopsE 2004: 33 [doi]

Using AOP to develop architectural-neutral operating system componentsOlaf Spinczyk, Daniel Lohmann. sigopsE 2004: 34 [doi]

Virtual private machines: user-centric performanceDavid Bartholomew Stewart, Richard Mortier. sigopsE 2004: 7 [doi]

Long-term time-share guarantees are necessary for wireless LANsGodfrey Tan, John V. Guttag. sigopsE 2004: 35 [doi]

Using time travel to diagnose computer problemsAndrew Whitaker, Richard S. Cox, Steven D. Gribble. sigopsE 2004: 16 [doi]

UtilificationJohn Wilkes, Jeffrey C. Mogul, Jaap Suermondt. sigopsE 2004: 13 [doi]

The lonely NATed nodeChad Yoshikawa, Brent N. Chun, Amin Vahdat, Fred S. Annexstein, Kenneth A. Berman. sigopsE 2004: 36 [doi]

Trust but verify: accountability for network servicesAydan R. Yumerefendi, Jeffrey S. Chase. sigopsE 2004: 37 [doi]

2002

The case for cyber foragingRajesh Krishna Balan, Jason Flinn, Mahadev Satyanarayanan, Shafeeq Sinnamohideen, Hen-I Yang. sigopsE 2002: 87-92 [doi]

Rewind, repair, replay: three R s to dependabilityAaron B. Brown, David A. Patterson. sigopsE 2002: 70-77 [doi]

AIMS: robustness through sensible introspectionFabián E. Bustamante, Christian Poellabauer, Karsten Schwan. sigopsE 2002: 153-156 [doi]

An approach for a dependable Java embedded environmentGilbert Cabillic, Salam Majoul, Jean-Philippe Lesot, Michel Banâtre. sigopsE 2002: 157-160 [doi]

A utility-centered approach to building dependable infrastructure servicesGeorge Candea, Armando Fox. sigopsE 2002: 213-218 [doi]

Increasing smart card dependabilityLudovic Casset, Jean-Louis Lanet. sigopsE 2002: 209-212 [doi]

One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networksMiguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron. sigopsE 2002: 140-145 [doi]

Back to the future: dependable computing = dependable servicesJeffrey S. Chase, Amin Vahdat, John Wilkes. sigopsE 2002: 170-173 [doi]

An online evolutionary approach to developing internet servicesMike Y. Chen, Emre Kiciman, Eric A. Brewer. sigopsE 2002: 161-164 [doi]

Brittle systems will break - not bend: can aspect-oriented programming help?Yvonne Coady, Gregor Kiczales, Joon Suan Ong, Andrew Warfield, Michael J. Feeley. sigopsE 2002: 79-86 [doi]

Dependency on O.S. in long-term programs: experience report in space programsPatrick Cormery, Le Vinh Quy Ribal, Arnaud Stransky. sigopsE 2002: 174-177 [doi]

Event-driven programming for robust softwareFrank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Morris. sigopsE 2002: 186-189 [doi]

Timing fault detection for safety-critical real-time embedded systemsSébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. sigopsE 2002: 247-250 [doi]

Execution time limitation of interrupt handlers in a Java operating systemMeik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder. sigopsE 2002: 190-193 [doi]

HiScamp: self-organizing hierarchical membership protocolAyalvadi J. Ganesh, Anne-Marie Kermarrec, Laurent Massoulié. sigopsE 2002: 133-139 [doi]

Replica management should be a gameDennis Geels, John Kubiatowicz. sigopsE 2002: 235-238 [doi]

High-confidence operating systemsRadu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu. sigopsE 2002: 205-208 [doi]

Towards trusted systems from the ground upVivek Haldar, Michael Franz. sigopsE 2002: 251-254 [doi]

Dependable software needs pervasive debuggingTimothy L. Harris. sigopsE 2002: 38-43 [doi]

Design and implementation of the Lambda mu-kernel based operating system for embedded systemsKenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda. sigopsE 2002: 178-181 [doi]

Applying source-code verification to a microkernel: the VFiasco projectMichael Hohmuth, Hendrik Tews, Shane G. Stephens. sigopsE 2002: 165-169 [doi]

Security architectures revisitedHermann Härtig. sigopsE 2002: 16-23 [doi]

Sub-operating systems: a new approach to application securitySotiris Ioannidis, Steven M. Bellovin, Jonathan M. Smith. sigopsE 2002: 108-115 [doi]

Gaining and maintaining confidence in operating systems securityTrent Jaeger, Antony Edwards, Xiaolan Zhang. sigopsE 2002: 201-204 [doi]

Automating data dependabilityKimberly Keeton, John Wilkes. sigopsE 2002: 93-100 [doi]

Specifying and verifying systems with TLA+Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu. sigopsE 2002: 45-48 [doi]

Capturing OS expertise in an event type system: the Bossa experienceJulia L. Lawall, Gilles Muller, Luciano Porto Barreto. sigopsE 2002: 54-61 [doi]

Self-organization in peer-to-peer systemsJonathan Ledlie, Jacob M. Taylor, Laura Serban, Margo I. Seltzer. sigopsE 2002: 125-132 [doi]

OASIS project: deterministic real-time for safety critical embedded systemsStéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès. sigopsE 2002: 223-226 [doi]

Extensible distributed operating system for reliable control systemsKatsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume. sigopsE 2002: 194-197 [doi]

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002Gilles Muller, Eric Jul, editors, ACM, 2002.

Model checking system software with CMCMadanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler. sigopsE 2002: 219-222 [doi]

The case for transient authenticationBrian D. Noble, Mark D. Corner. sigopsE 2002: 24-29 [doi]

Rigour is good for you ::::and:::: feasible: reflections on formal treatments of C and UDP socketsMichael Norrish, Peter Sewell, Keith Wansbrough. sigopsE 2002: 49-53 [doi]

A design of the persistent operating system with non-volatile memoryRen Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai. sigopsE 2002: 149-152 [doi]

Studying and using failure data from large-scale internet servicesDavid L. Oppenheimer, David A. Patterson. sigopsE 2002: 255-258 [doi]

THINK: a secure distributed systems architectureChristophe Rippert, Jean-Bernard Stefani. sigopsE 2002: 243-246 [doi]

The design of a robust peer-to-peer systemRodrigo Rodrigues, Barbara Liskov, Liuba Shrira. sigopsE 2002: 117-124 [doi]

InfoSpect: using a logic language for system health monitoring in distributed systemsTimothy Roscoe, Richard Mortier, Paul W. Jardetzky, Steven Hand. sigopsE 2002: 31-37 [doi]

Pangaea: a symbiotic wide-area file systemYasushi Saito, Christos T. Karamanolis. sigopsE 2002: 231-234 [doi]

Fault tolerance and avoidance in biomedical systemsShane Stephens, Gernot Heiser. sigopsE 2002: 198-200 [doi]

Nooks: an architecture for reliable device driversMichael M. Swift, Steven Martin, Henry M. Levy, Susan J. Eggers. sigopsE 2002: 102-107 [doi]

Operating system support for massive replicationArun Venkataramani, Ravi Kokku, Michael Dahlin. sigopsE 2002: 227-230 [doi]

Efficient heartbeats and repair of softstate in decentralized object location and routing systemsHakim Weatherspoon, John Kubiatowicz. sigopsE 2002: 182-185 [doi]

Overload management as a fundamental service design primitiveMatt Welsh, David E. Culler. sigopsE 2002: 63-69 [doi]

Denali: a scalable isolation kernelAndrew Whitaker, Marianne Shaw, Steven D. Gribble. sigopsE 2002: 10-15 [doi]

Secure coprocessor-based intrusion detectionXiaolan Zhang, Leendert van Doorn, Trent Jaeger, Ronald Perez, Reiner Sailer. sigopsE 2002: 239-242 [doi]

2000

Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000ACM, 2000.

New channels, old concerns: scalable and reliable data disseminationColin Allison, Duncan McPherson, Dirk Husemann. sigopsE 2000: 115-120 [doi]

Trust and confidence in open systems: does security harmonize with mobility?Uwe Baumgarten, Claudia Eckert, Harald Görl. sigopsE 2000: 133-138 [doi]

The benefits of event: driven energy accounting in power-sensitive systemsFrank Bellosa. sigopsE 2000: 37-42 [doi]

An algorithm for stabilising multiple storesEwa Z. Bem, John Rosenberg. sigopsE 2000: 139-145 [doi]

Research issues in developing a platform for spatial-aware applicationsPeter Coschurba, Uwe Kubach, Alexander Leonhardi. sigopsE 2000: 153-158 [doi]

Multiprocessing and portability for PDAsGrzegorz Czajkowski. sigopsE 2000: 25-29 [doi]

Let s put NetApp and CacheFlow out of business!Eran Gabber, Elizabeth A. M. Shriver. sigopsE 2000: 85-90 [doi]

Towards a real-world wide webTim Kindberg, John J. Barton. sigopsE 2000: 195-200 [doi]

Smart cards: a system support for service accessibility from heterogeneous devicesRaphaël Marvie, Marie-Claude Pellegrini, Olivier Potonniée. sigopsE 2000: 217-222 [doi]

Context-aware multimedia computing in the intelligent hospitalScott Mitchell, Mark D. Spiteri, John Bates, George Coulouris. sigopsE 2000: 13-18 [doi]

Congestion prices as feedback signals: an approach to QoS managementRolf Neugebauer, Derek McAuley. sigopsE 2000: 91-96 [doi]

Gaia: enabling active spacesManuel Román, Roy H. Campbell. sigopsE 2000: 229-234 [doi]

The R2 low-power messaging and rendezvous layer: power efficient communications for tetherless computingJ. N. Weatherall. sigopsE 2000: 43-48 [doi]

Geographical and organisational locality in active environmentsMark J. Wharton. sigopsE 2000: 67-72 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ACM SIGOPS European Workshop (sigopsE)

Viewing Publication 1 - 100 from 466

2004

2002

2000

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ACM SIGOPS European Workshop (sigopsE)

Viewing Publication 1 - 100 from 466

2004

2002

2000

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1