Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • The SCHEME-79 Chip 
    Holloway, Jack; Steel, Guy Lewis, Jr.; Sussman, Gerald Jay; Bell, Alan (1980-01-01)
    We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this interpreter the chip ...
  • Scheme 86: An Architecture for Microcoding a Scheme Interpreter 
    Wu, Henry M. (1988-08-01)
    I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...
  • Scheme86: A System for Interpreting Scheme 
    Berlin, Andrew A.; Wu, Henry M. (1988-04-01)
    Scheme86 is a computer system designed to interpret programs written in the Scheme dialect of Lisp. A specialized architecture, coupled with new techniques for optimizing register management in the interpreter, allows ...
  • SCHEME: An Interpreter for Extended Lambda Calculus 
    Sussman, Gerald J.; Steele, Guy L., Jr. (1975-12-01)
    Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and ...
  • The Scientific Community Metaphor 
    Kornfeld, William A.; Hewitt, Carl (1981-01-01)
    Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...
  • Scoop: An Adaptive Indexing Scheme for Stored Data in Sensor Networks 
    Gil, Thomer M.; Madden, Samuel (2006-11-27)
    In this paper, we present the design of Scoop, a system for indexing and querying stored data in sensor networks. Scoop works by collecting statistics about the rate of queries and distribution of sensor readings over a ...
  • SCPLOT BIN 
    Sordillo, Donald (1966-10-01)
    This program will take a list of display instructions and cause it to be plotted. For further or more detailed information consult with Michael Speciner.
  • Secondary Storage in LISP 
    Edwards, Daniel J. (1963-12-01)
    A principal limitation of LISP processors in many computations is that of inadequate primary random-access storage. This paper explores several methods of using a secondary storage medum (such as drums, disk files or magetic ...
  • Secondary Structure Prediction of All-Helical Proteins Using Hidden Markov Support Vector Machines 
    Gassend, B.; O'Donnell, C. W.; Thies, W.; Lee, A.; van Dijk, M.; Devadas, S. (2005-10-06)
    Our goal is to develop a state-of-the-art predictor with an intuitive and biophysically-motivated energy model through the use of Hidden Markov Support Vector Machines (HM-SVMs), a recent innovation in the field of machine ...
  • Secure Program Execution Via Dynamic Information Flow Tracking 
    Suh, G. Edward; Lee, Jaewook; Zhang, David; Devadas, Srinivas (2003-07-21)
    We present a simple architectural mechanism called dynamicinformation flow tracking that can significantly improve thesecurity of computing systems with negligible performanceoverhead. Dynamic information flow tracking ...
  • Securing Deployed RFIDs by Randomizing the Modulation and the Channel 
    Wang, Jue; Hassanieh, Haitham; Katabi, Dina; Kohno, Tadayoshi (2013-01-12)
    RFID cards are widely used today in sensitive applications such as access control, payment systems, and asset tracking. Past work shows that an eavesdropper snooping on the communication between a card and its legitimate ...
  • Security and Modularity in Message Passing 
    Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-02)
    This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...
  • A Security Kernel Based on the Lambda-Calculus 
    Rees, Jonathan A. (1996-03-13)
    Cooperation between independent agents depends upon establishing adegree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer ...
  • SEEC: A Framework for Self-aware Computing 
    Hoffmann, Henry; Maggio, Martina; Santambrogio, Marco D.; Leva, Alberto; Agarwal, Anant (2010-10-13)
    As the complexity of computing systems increases, application programmers must be experts in their application domain and have the systems knowledge required to address the problems that arise from parallelism, power, ...
  • SEEC: A Framework for Self-aware Management of Multicore Resources 
    Hoffmann, Henry; Maggio, Martina; Santambrogio, Marco D.; Leva, Alberto; Agarwal, Anant (2011-03-24)
    This paper presents SEEC, a self-aware programming model, designed to reduce programming effort in modern multicore systems. In the SEEC model, application programmers specify application goals and progress, while systems ...
  • SEEC: A General and Extensible Framework for Self-Aware Computing 
    Hoffmann, Henry; Maggio, Martina; Santambrogio, Marco D.; Leva, Alberto; Agarwal, Anant (2011-11-07)
    Modern systems require applications to balance competing goals, e.g. achieving high performance and low power. Achieving this balance places an unrealistic burden on application programmers who must understand the power ...
  • Seeing 'Ghost' Solutions in Stereo Vision 
    Weinshall, Daphna (1988-09-01)
    A unique matching is a stated objective of most computational theories of stereo vision. This report describes situations where humans perceive a small number of surfaces carried by non-unique matching of random dot ...
  • Seeing What Your Programs Are Doing 
    Lieberman, Henry (1982-02-01)
    An important skill in programming is being able to visualize the operation of procedures, both for constructing programs and debugging them. Tinker is a programming environment for Lisp that enables the programmer to ...
  • Segmentation and Alignment of Speech and Sketching in a Design Environment 
    Adler, Aaron D. (2003-02-01)
    Sketches are commonly used in the early stages of design. Our previous system allows users to sketch mechanical systems that the computer interprets. However, some parts of the mechanical system might be too hard or too ...
  • Segmentation of Brain Tissue from Magnetic Resonance Images 
    Kapur, Tina (1995-01-01)
    Segmentation of medical imagery is a challenging problem due to the complexity of the images, as well as to the absence of models of the anatomy that fully capture the possible deformations in each structure. Brain ...
MIT-Mirage