• Keine Ergebnisse gefunden

SRC Technical Note 1998-016 November 1998

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2022

Aktie "SRC Technical Note 1998-016 November 1998"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 2 Seite )

Volltext

(1)

SRC Technical Note

1998-016 November 1998

Selected 1998 SRC Summer Intern Reports

Compiled by James Mason

Systems Research Center 130 Lytton Avenue Palo Alto, CA 94301

http://www.research.digital.com/SRC/

Copyright 1998 Compaq Computer Corporation. All rights reserved

This document features informal reports by interns who spent the summer of 1998 working with researchers at Compaq Systems Research Center (SRC). The interns were graduate students in computer science or electrial engineering Ph.D. programs. Each worked for about three months at SRC, collaborating on a project with the research staff. The primary goal of this technical note is to describe the summer research projects. However, the interns were encouraged to write their reports in whatever format or style they preferred, so that non-technical observations (such as background and impressions arising from their stay) could also be included.

1. SmartBridge: A Scalable Bridge Architecture Darrell Anderson

2. Adding Remote Control Capabilities to a Web Crawler Huw Evans

3. Scheduling Data Transfers in a Network Ashish Goel

4. Towards TLA+ Model Checking Panagiotis (Pete) Manolios

1 of 2

(2)

5. Eliminating Redundant Synchronization in Java Steve Muir, University of Pennsylvania

6. Replicating the Vesta Repository Neil Stratford

2 of 2

Referenzen

Jetzt herunterladen ( PDF - 2 Seite - 12.71 KB )

ÄHNLICHE DOKUMENTE

SRC Technical Note 1997 - 008

An exercise in Garrett Birkhoff’s renowned book on lattice theory asks for a lattice with 18 elements and of length 5 that has a dual automorphism, but no involutory dual

SRC Technical Note 1997 - 013

(A) remove phase: the lock on the child ambient is acquired, the parent-child link is removed, the parent and child nodes are signalled, and both locks are released; (B) insert

SRC Technical Note 1997 – 018

VS/QUERY was the product that the Marketing Division had said for the last four or five years, “You know, we don’t really understand all the things you people out in Santa Teresa

SRC Technical Note 1997 – 023

In a retail kiosk application, the predictor runs in the kiosk computer while the solver runs at a central data center; periodic dial-up communication is used to send votes to

SRC Technical Note 1997 - 025a

In a logic that I will refer to as logic AL, Abadi and I defined an axiomatic semantics for an imperative, object- oriented language with object sharing [1], but it does not

SRC Technical Note 1997 - 026

By introducing a data group drawState and listing it in the modifies clause of method draw , implementations of draw in Sprite subclasses are given a way to mod- ify instance

SRC Technical Note 1997-028 November, 1997

To put the work in perspective, at the beginning of the summer the DCPI (Digital Continuous Profiling Infrastructure) group at SRC was looking towards using the data collected by

SRC Technical Note 1999-003 November 1999

The main theme of the work was evaluating two tools developed at SRC for checking the correctness of multi-threaded Java programs: Eraser, a dynamic race detector, first described