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:

  • Safe Distributed Coordination of Heterogeneous Robots through Dynamic Simple Temporal Networks 
    Wehowsky, Andreas F. (2003-05-30)
    Research on autonomous intelligent systems has focused on how robots can robustly carry out missions in uncertain and harsh environments with very little or no human intervention. Robotic execution languages such as RAPs, ...
  • Safe Open-Nested Transactions Through Ownership 
    Agrawal, Kunal; Lee, I-Ting Angelina; Sukha, Jim (2008-02-20)
    Researchers in transactional memory (TM) have proposed open nesting asa methodology for increasing the concurrency of a program. The ideais to ignore certain "low-level" memory operations of anopen-nested transaction when ...
  • SARGE: A Program for Drilling Students in Freshman Calculus Integration Problems 
    Moses, Joel (1968-03-01)
    The SARGE program is a prototype of a program which is intended to be used as an adjacent to regular classroom work in freshman calculus. Using SARGE, students can type their step-by-step solution to an indefinite ...
  • Scalable directoryless shared memory coherence using execution migration 
    Lis, Mieszko; Shim, Keun Sup; Cho, Myong Hyon; Khan, Omer; Devadas, Srinivas (2010-11-22)
    We introduce the concept of deadlock-free migration-based coherent shared memory to the NUCA family of architectures. Migration-based architectures move threads among cores to guarantee sequential semantics in large ...
  • Scalable Information-Sharing Network Management 
    Guo, Nina X. (2011-06-07)
    This thesis analyzes scalable information-sharing network management. It looks into one of the large problems in network management today: finding information across different network domains. Information-sharing network ...
  • A Scalable Information Theoretic Approach to Distributed Robot Coordination 
    Julian, Brian J.; Angermann, Michael; Schwager, Mac; Rus, Daniela (2011-09-25)
    This paper presents a scalable information theoretic approach to infer the state of an environment by distributively controlling robots equipped with sensors. The robots iteratively estimate the environment state using a ...
  • Scalable Internet Routing on Topology-Independent Node Identities 
    Ford, Bryan (2003-10-31)
    Unmanaged Internet Protocol (UIP) is a fully selforganizingnetwork-layer protocol that implements scalableidentity-based routing. In contrast with addressbasedrouting protocols, which depend for scalability oncentralized ...
  • Scalar Operand Networks: Design, Implementation, and Analysis 
    Taylor, Michael Bedford; Lee, Walter; Amarasinghe, Saman; Agarwal, Anant (2004-06-08)
    The bypass paths and multiported register files in microprocessors serve as an implicit interconnect tocommunicate operand values among pipeline stages and multiple ALUs. Previous superscalar designs implementedthis ...
  • Scale Control Processor Test-Chip 
    Batten, Christopher; Krashinsky, Ronny; Asanovic, Krste (2007-01-12)
    We are investigating vector-thread architectures which provide competitive performance and efficiency across a broad class of application domains. Vector-thread architectures unify data-level, thread-level, and instruction-level ...
  • Scaling Theorems for Zero-Crossings 
    Yuille, A.L.; Poggio, T. (1983-06-01)
    We characterize some properties of the zero-crossings of the laplacian of signals - in particular images - filtered with linear filters, as a function of the scale of the filter (following recent work by A. Witkin, 1983). ...
  • A scenario of Planning and Debugging in Electronic Circuit Design 
    Sussman, Gerald J. (MIT Artificial Intelligence Laboratory, 1973-12)
    The purpose of this short document is to exhibit how a HACKER-like top-down planning and debugging system can be applied to the problem of the design and debugging of simple analog electronic circuits. I believe, and I ...
  • Scene Classification with a Biologically Inspired Method 
    Terashima, Yoshito (2009-05-10)
    We present a biologically motivated method for scene image classification. The core of the method is to use shape based image property that is provided by a hierarchical feedforward model of the visual cortex [18]. Edge ...
  • Schematic Querying of Large Tracking Databases 
    Dalley, Gerald; Izo, Tomas (2006-06-12)
    In dealing with long-term tracking databases withwide-area coverage, an important problem is in formulating anintuitive and fast query system for analysis. In such a querysystem, a user who is not a computer vision research ...
  • 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.
MIT-Mirage