ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

Journal articles and other publications can be found here.

Prospero: A Tool for Organizing Internet ResourcesNeuman, C.
RS-92-421
March, 1992

Bare Die Test
RS-92-296
March, 1992

An Analysis of ABSTRIPS
RR-92-292
March, 1992

Approximating an Interlingua in a Principled Way
N. and S.
RR-93-345
February, 1992

Radio-Based Communication for Embedded Microsystems, Dates Covered: 01/01/92-06/01/92
SR-92-
January, 1992

Two Processor Time Warp Analysis: Capturing the Effects of Message Queueing and Rollback / State Saving Costs
K. and L.
RS-93-367
January, 1992

A Description of {CC++}K. Chandy, C. Kesselman,
Technical Report CS-92-01,
1992

Compositional Parallel Programming in Cc++K. M. Chandy, C. Kesselman,
1992

The Derivation of Compositional ProgramsM. K. Chandy, C. Kesselman,
1992

Compositional C++: Compositional parallel programmingM. K. Chandy, C. Kesselman,
TR-92-13
1992