LCS Publications: Recent submissions
Now showing items 259-261 of 1152
-
Logical Disk: A Simple New Approach to Improving File System Performance
(1993-04)Making a file system efficient usually requires extensive modifications. For example, making a file system log-structured requires the introduction of new data structures that are tightly coupled with the general file ... -
An Evaluation of Multiprocessor Support for Fine-grain Synchronization in Preconditioned Conjugate Gradient
(1993-02)This thesis explores the use of fine-grain synchronization in the preconditioned conjugate gradient (PCG) method using the modified incomplete Cholesky factorization of the coefficient matrix as a preconditioner. -
The Category of Functors from State Shapes to Bottomless CPOs in Adequate for Block Structure
(1993-01)We present a programming language EoA, which embodies what Reynolds has described as the ``essence of ALGOL.'' In particular, EoA allows higher-order procedures and the declaration of block structured local variables.
