USENIX | The Advanced Computing Systems Association

{SoftwarePot}: A Secure Software Circulation System

Oyama Y, Kato K. 2004. {SoftwarePot}: A Secure Software Circulation System.

Read more about {SoftwarePot}: A Secure Software Circulation System
DBLP
Log in to post comments
Google Scholar
BibTeX

Implementing an {OS} Scheduler for Multithreaded Chip Multiprocessors

Fedorova A, Seltze M, Small C, Nussbaum D. 2004. Implementing an {OS} Scheduler for Multithreaded Chip Multiprocessors.

Read more about Implementing an {OS} Scheduler for Multithreaded Chip Multiprocessors
DBLP
Log in to post comments
Google Scholar
BibTeX

Charon: A Framework for Automated Kernel Specialization

Rajagopalan M, Debray SK, Hiltunen MA, Schlichting RD. 2004. Charon: A Framework for Automated Kernel Specialization.

Read more about Charon: A Framework for Automated Kernel Specialization
DBLP
Log in to post comments
Google Scholar
BibTeX

Java In The Small: Enabling Standard Java on Embedded Devices Through Customization

Courbot A, Grimaud G, Vandewall J-J. 2004. Java In The Small: Enabling Standard Java on Embedded Devices Through Customization.

Singularity: Software Systems as Dependable, {Self-Describing} Artifacts

Hunt G, Larus J, Barham P, Black R, DeTreville J, Fahndrich M, Grieskamp W, Erlingsson Ú, Hodson O, Isaacs R et al.. 2004. Singularity: Software Systems as Dependable, {Self-Describing} Artifacts.

Read more about Singularity: Software Systems as Dependable, {Self-Describing} Artifacts
DBLP
Log in to post comments
Google Scholar
BibTeX

Using Model Checking to Find Serious File System Errors

Yang J, Twohey P, Engler D, Musuvathi M. 2004. Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

Read more about Using Model Checking to Find Serious File System Errors
DBLP
Log in to post comments
Google Scholar
BibTeX

{CP-Miner}: A Tool for Finding Copy-paste and Related Bugs in Operating System Code

Li Z, Lu S, Myagmar S, Zhou Y. 2004. {CP-Miner}: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

Enhancing Server Availability and Security Through {Failure-Oblivious} Computing

Rinard M, Cadar C, Dumitran D, Roy DM, Leu T, Beebee, Jr. WS. 2004. Enhancing Server Availability and Security Through {Failure-Oblivious} Computing. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control

Cohen I, Chase JS, Goldszmidt M, Kelly T, Symons J. 2004. Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

Automatic Misconfiguration Troubleshooting with {PeerPressure}

Wang HJ, Platt JC, Chen Y, Zhang R, Wang Y-M. 2004. Automatic Misconfiguration Troubleshooting with {PeerPressure}. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).

Read more about Automatic Misconfiguration Troubleshooting with {PeerPressure}
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages