Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 265-267 of 3794
-
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. -
A Constructive Approach to Artificial Intelligence Reexamined
(1992-07)Made-Up Minds: A Constructivist Approach to Artificial Intelligence, a Ph.D. thesis by Gary Drescher (MIT, Computer Science, September 1989) and a book published by MIT Press (1991) describe a learning system which controls ...
