Now showing items 2457-2476 of 3804

    • A Parallelizing Compiler Based on Partial Evaluation 

      Surati, Rajeev (1993-07-01)
      We constructed a parallelizing compiler that utilizes partial evaluation to achieve efficient parallel object code from very high-level data independent source programs. On several important scientific applications, ...
    • Parallelizing Sequential Programs With Statistical Accuracy Tests 

      Misailovic, Sasa; Kim, Deokhwan; Rinard, Martin (2010-08-05)
      We present QuickStep, a novel system for parallelizing sequential programs. QuickStep deploys a set of parallelization transformations that together induce a search space of candidate parallel programs. Given a sequential ...
    • Parameter Estimation in Chaotic Systems 

      Hung, Elmer S. (1995-04-01)
      This report examines how to estimate the parameters of a chaotic system given noisy observations of the state behavior of the system. Investigating parameter estimation for chaotic systems is interesting because of ...
    • Parameterized Types and Java 

      Bank, Joseph A.; Liskov, Barbara; Myers, Albert C. (1996-05)
      Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power ...
    • ParaTran: A Transparent, Transaction Based Runtime Mechanism for Parallel Execution of Scheme 

      Katz, Morry (1989-07)
      The number of applications requiring high speed symbolic computation and the performance requirements of these projects are both rapidly increasing. However, the computer science community's ability to produce high ...
    • Parsing and Generating English Using Commutative Transformations 

      Katz, Boris; Winston, Patrick H. (1982-05-01)
      This paper is about an implemented natural language interface that translates from English into semantic net relations and from semantic net relations back into English. The parser and companion generator were implemented ...
    • Parsing and Linguistic Explanation 

      Berwick, Robert C.; Weinberg, Amy S. (1985-04-01)
      This article summarizes and extends recent results linking deterministic parsing to observed "locality principles" in syntax. It also argues that grammatical theories based on explicit phrase structure rules are unlikely ...
    • Parsing Intensity Profiles 

      Lozano-Perez, Tomas (1975-05-01)
      Much low-level vision work in AI deals with one-dimensional intensity profiles. This paper describes PROPAR, a system that allows a convenient and uniform mechanism for recognizin such profiles. PROPAR is a modified ...
    • Parsing Key Word Grammars 

      Martin, William (1969-03-01)
      Key word grammars are defined to be the same as context free grammars, except that a production may specify a string of arbitrary symbols. These grammars define languages similar to those used in the programs CARPS and ...
    • Parsing Protocols Using Problem Solving Grammars 

      Miller, Mark L.; Goldstein, Ira P. (1976-12-01)
      A theory of the planning and debugging of programs is formalized as is context free grammar. The grammar is used to reveal the constituent structure of problem solving episodes, by parsing protocols in which programs ...
    • Partial Evaluation as a Means of Language Extensibility 

      Schooler, Richard (1984-08)
      An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. Our partial evaluator is designed to optimize mainly applicative ...
    • Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience 

      Berlin, Andrew; Surati, Rajeev (1994-05-01)
      We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial ...
    • A Partial Mechanical Design Compiler 

      Ward, Allen C. (MIT Artificial Intelligence Laboratory, 1987-02)
      I have implemented a simple "mechanical design compiler", that is a program which can convert high-level descriptions of a mechanical design into detail descriptions. (Human interaction is sometimes required.) The program ...
    • Partial Reversal Acyclicity 

      Radeva, Tsvetomira; Lynch, Nancy (2011-04-14)
      Partial Reversal (PR) is a link reversal algorithm which ensures that the underlying graph structure is destination-oriented and acyclic. These properties of PR make it useful in routing protocols and algorithms for solving ...
    • Partitioned Garbage Collection of a Large Object Store 

      Maheshwari, Umesh; Liskov, Barbara H. (1997-02)
      This paper describes a new garbage collection scheme for large persisten object stores that makes efficient use of the disk and main memory. The heap is divided into partitions that are collected independently using ...
    • Partitioning Strategies for Concurrent Programming 

      Devadas, Srinivas; Agarwal, Anant; Hoffmann, Henry (2009-06-16)
      This work presents four partitioning strategies, or patterns, useful for decomposing a serial application into multiple concurrently executing parts. These partitioning strategies augment the commonly used task and data ...
    • Parts of Recognition 

      Hoffman, D.D.; Richards, Whitman (1983-12-01)
      A complete theory of object recognition is an impossibility ??t simply because of the multiplicity of visual cues we exploit in elegant coordination to identify an object, but primarily because recognition involves ...
    • Passive and Active Grasping with a Prehensile Robot End-Effector 

      Greiner, Helen (1990-05-01)
      This report presents a design of a new type of robot end-effector with inherent mechanical grasping capabilities. Concentrating on designing an end-effector to grasp a simple class of objects, cylindrical, allowed a ...
    • Passive Dynamics in the Control of Gymnastic Maneuvers 

      Playter, Robert (1995-03-01)
      The control of aerial gymnastic maneuvers is challenging because these maneuvers frequently involve complex rotational motion and because the performer has limited control of the maneuver during flight. A performer can ...
    • Passive Navigation 

      Bruss, Anna R.; Horn, Berthold K.P. (1981-11-01)
      A method is proposed for determining the motion of a body relative to a fixed environment using the changing image seen by a camera attached to the body. The optical flow in the image plane is the input, while the ...