This paper reports recent work on the automatic design and implementation of microprocessors to suit particular applications. We use our own hardware compilation system to produce synchronous hardware implementations of parallel programs and have constructed platforms incorporating Field Programmable Gate Array and transputer components to host such implementations. Our chosen language, Handel,...

syntax n ∈ Num x ∈ Var a ∈ Aexp a ::= n | x | a1 + a2 | a1 * a2 | a1 a2 Semantic domains Integer = {... -3, -2, -1, 0, 1, 2, 3 ...} Truth-Value = {true, false} State = Var → Integer Semantic valuation functions N: Num → Integer A: Aexp → State → Integer A [[n]] = λs. N [[n]] A [[x]] = λs. s x A [[a1 + a2]] = λs. A [[a1]] s + A [[a2]] s A [[a1 * a2]] = λs. A [[a1]] s * A [[a2]] s 6 Prolog and Au...

Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when program behavior is input sensitive. SA can extract all the input dependent, statically unavailable, conditions for which loops can be dynamically parallelized. SA generates a sequence of sufficient conditions which, when evaluated dynamical...

Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathematical function into a program that computes the function and its derivatives. Derivatives play an important role in a wide variety of scientific computing applications, including numerical optimization, solution of no...

The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been proposed. This paper defends the transformat...

This paper outlines a specification for an algorithm-design system (based on previous work involving protocol analysis) and describes an implementation of the specification that is a combination frame and production system. In the implementation, design occurs in two problem spaces one about algorithms and one about the task domain. The partially worked out algorithms are represented as configu...

This paper outlines the basic steps in the design and implementation of an intensity based automated Transmission Electron Microscopy (TEM) image mosaicing application, and highlights some of the implementation details, such as the tile matching, mosaic layout, and tile distortion correction.

Automatic Meter Reading (AMR) is the remote collection of consumption data from customer’s utility meters over telecommunications, radio, power line and other links. AMR provides water, electric and gas utility service companies the opportunity to streamline metering, billing and collection activities, increase operational efficiency and improve customer service. The AMR system consists of thre...