Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 1871-1890 of 3804
-
Linearizable Counting Networks
(1991-11)The counting problem requires n asynchronous processors to assign themselves successive values. A solution is linearizable if the order of the values assigned reflects the real-time order in which they were requested. ... -
Linearly Unrecognizable Patterns
(1967-01-01)The central theme of this study is the classification of certain geometrical properties according to the type of computation necessary to determine whether a given figure has them. -
Linguistic Support of Receptionists for Shared Resources
(1984-09-01)This paper addressed linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the ... -
A Linguistics Oriented Programming Language
(1973-02-01)A programming language for natural language processing programs is described. Examples of the output of programs written using it are given. The reasons for various design decisions are discussed. An actual session with ... -
Linking Loader for MIDAS
(1971-03-01)This memo was originally printed as MAC Memo 268, January 31, 1966. The MIDAS Linking Loader is a PDP-6program to load re-locatable format output from the MIDAS assembler, with facilities to handle symbolic cross-reference ... -
-
LISP Exercises
(1964-01-01)The following exercises are carefully graded to mesh with the sections in Chapter I, "The LISP Language", in the LISP 1.5 Programmer's Manual. Each exercise should be worked immediately after reading the manual section indicated. -
A LISP Garbage Collector Algorithm Using Serial Secondary Storage
(1963-12-27)This paper presents an algorithm for reclaiming unused free storage memory cells in LISP. It depends on availability of a fast secondary storage device, or a large block of available temporary storage. For this price, we ... -
LISP Linkage Feature: Incorporating MIDAS into PDP-6 LISP
(1967-10-01)Some PDP6 LISP users have felt a need for a way to incorporate MIDAS subroutines into LISP. LISP has been changed to let you do this, using files found on the LISP SYSTEM microtape. You write a routine for LISP in much the ... -
The LISP Machine
(MIT Artificial Intelligence Laboratory, 1974-11) -
Lisp Machine Choice Facilities
(MIT Artificial Intelligence Laboratory, 1981-06)This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ... -
LISP Machine Progress Report
(1977-08-01)This informal paper introduces the LISP Machine, describes the goals and current status of the project, and explicates some of the key ideas. It covers the LISP machine implementation, LISP as a system language, ... -
Lisp: A Language for Stratified Design
(1987-08-01)We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program ... -
List Processing in Real Time on a Serial Computer
(MIT Artificial Intelligence Laboratory, 1977-04-01)A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ... -
The Little Robot System
(1973-01-01)The Little Robot System provides for the I.T.S. user a medium size four degree of freedom six axis robot which is controlled by the PDP-6 computer through the programming language Lisp. The robot includes eight force ... -
Liveness in Timed and Untimed Systems
(1993-12)When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input /Output (I/)0 automaton model and its timed version have used successfully, ... -
LLOGO: An Implementation of LOGO in LISP
(1974-06-01)This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ... -
LLOGO: An Implementation of LOGO in LISP
(1975-03-01)This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ... -
A Local Front End for Remote Editing
(1982-02-01)The Local Editing Protocol allows a local programmable terminal to execute the most common editing commands on behalf of an extensible text editor on a remote system, thus greatly improving speed of response without ...