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 ...

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 ...

A parameterization is proposed for the effects of symmetric instability (SI) on a resolved front. The parameterization is dependent on external forcing by surface buoyancy loss and/or down-front winds, which reduce potential ...

In recent times, the concepts of microsatellite development have been a versatile subject ranging from their ability to reduce overall cost of satellites to their improved efficiency and adaptability. This has brought new ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 (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 ...

This thesis work takes an investigative approach into developing a middleware solution for managing services in a community cloud computing infrastructure pre-dominantly made of interconnected low power wireless devices. ...

This paper explores the use of particle filters for beat tracking in musical audio examples. The aim is to estimate the time-varying tempo process and to find the time locations of beats, as defined by human perception. ...

We develop a new receiver for joint symbol, channel characteristics, and code delay estimation for DS spread spectrum systems under conditions of multipath fading. The approach is based on particle filtering techniques and ...

A series of sedimentation experiments and numerical simulations have been conducted to understand the factors that control the final angle of a static sediment layer formed by quasi-monodisperse particles settling in an ...

We show how particle-vortex duality in $d$ = 2 + 1 dimensions arises as part of an intricate web of relationships between different field theories. The starting point is “bosonization,” a conjectured duality that uses flux ...

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 ...

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 ...

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 ...