Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler techniques”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Advanced compilation techniques in the PARADIGM compiler for distributed-memory multicomputers

The PARADIGM compiler project provides an automated means to parallelize programs, written in a serial programming model, for efficient execution on distributed-memory multicomputers. .A previous implementation of the compiler based on the PTD representation allowed symbolic array sizes, affine loop bounds and array subscripts, and variable number of processors, provided that arrays were single or multi-dimensionally block distributed. The techniques presented here extend the compiler to also accept multidimensional cyclic and block-cyclic distributions within a uniform symbolic framework. These extensions demand more sophisticated symbolic manipulation capabilities. A novel aspect of our approach is to meet this demand by interfacing PARADIGM with a powerful off-the-shelf symbolic package, Mathematica. This paper describes some of the Mathematica routines that performs various transformations, shows how they are invoked and used by the compiler to overcome the new challenges, and presents experimental results for code involving cyclic and block-cyclic arrays as evidence of the feasibility of the approach.

Su, Ernesto↗
NASA NTRS1991

Applying knowledge compilation techniques to model-based reasoning

Researchers in the area of knowledge compilation are developing general purpose techniques for improving the efficiency of knowledge-based systems. In this article, an attempt is made to define knowledge compilation, to characterize several classes of knowledge compilation techniques, and to illustrate how some of these techniques can be applied to improve the performance of model-based reasoning systems.

Keller, Richard M.↗
NASA NTRS2001

Compilation Techniques for Core Plus FPGA Systems

The overall system architecture targeted in this study is a core-plus-fpga design, which is composed of a core VLIW DSP with on-chip memory and a set of special-purpose functional units implemented using FPGAs. A figure is given which shows the overall organization of the core-plus-fpga system. It is important to note that this architecture is relatively simple in concept and can be built from off-the-shelf commercial components, such as one of the Texas Instruments 320C6x family of DSPs for the core processor.

Conte, Tom↗
NASA NTRS1974

Testing methods and techniques: A compilation

Mechanical testing techniques, electrical and electronics testing techniques, thermal testing techniques, and optical testing techniques are the subject of the compilation which provides technical information and illustrations of advanced testing devices. Patent information is included where applicable.

Source record↗
NASA NTRS1972

A survey of compiler optimization techniques

Major optimization techniques of compilers are described and grouped into three categories: machine dependent, architecture dependent, and architecture independent. Machine-dependent optimizations tend to be local and are performed upon short spans of generated code by using particular properties of an instruction set to reduce the time or space required by a program. Architecture-dependent optimizations are global and are performed while generating code. These optimizations consider the structure of a computer, but not its detailed instruction set. Architecture independent optimizations are also global but are based on analysis of the program flow graph and the dependencies among statements of source program. A conceptual review of a universal optimizer that performs architecture-independent optimizations at source-code level is also presented.

Schneck, P. B.↗
NASA NTRS1974

Electronic test instrumentation and techniques: A compilation

The uses of test equipment and techniques used in space research and development programs are discussed. Modifications and adaptations to enlarge the scope of usefulness or divert the basic uses to alternate applications are analyzed. The items of equipment which have been of benefit to professional personnel in the enlargement and improvement of quality control capabilities are identified. Items which have been simplified or made more accurate in conducting measurements are described.

Source record↗
NASA NTRS1971

Selected photographic techniques, a compilation

A selection has been made of methods, devices, and techniques developed in the field of photography during implementation of space and nuclear research projects. These items include many adaptations, variations, and modifications to standard hardware and practice, and should prove interesting to both amateur and professional photographers and photographic technicians. This compilation is divided into two sections. The first section presents techniques and devices that have been found useful in making photolab work simpler, more productive, and higher in quality. Section two deals with modifications to and special applications for existing photographic equipment.

Source record↗
NASA NTRS1975

Analytical techniques: A compilation

A compilation, containing articles on a number of analytical techniques for quality control engineers and laboratory workers, is presented. Data cover techniques for testing electronic, mechanical, and optical systems, nondestructive testing techniques, and gas analysis techniques.

Source record↗
NASA NTRS1972

Fasteners and fastening techniques: A compilation

Technology on fasteners and fastening devices is presented, as part of NASA's TU program to provide technical information on devices, methods, and techniques resulting from aerospace research. The material is divided into two sections which include: (1) data concerning a selected group of fasteners and concept for fasteners such as locking devices, couplings, and connect and release mechanisms; and (2) discussions on a number of fastening techniques such as those for mounting panel lamps, clamping flange bolts, stretching fasteners, and transferring fuel from a tanker to another vehicle.

Source record↗
NASA NTRS1975

Mathematical techniques: A compilation

Articles on theoretical and applied mathematics are introduced. The articles cover information that might be of interest to workers in statistics and information theory, computational aids that could be used by scientists and engineers, and mathematical techniques for design and control.

Source record↗
NASA NTRS1974

Electrical hand tools and techniques: A compilation

Space technology utilization for developing tools, adapters, and fixtures and procedures for assembling, installing, and servicing electrical components and equipment are discussed. Some of the items considered are: (1) pivotal screwdriver, (2) termination locator tool for shielded cables, (3) solder application tools, (4) insulation and shield removing tool, and (5) torque wrench adapter for cable connector engaging ring. Diagrams of the various tools and devices are provided.

Source record↗
NASA NTRS1990

In defense of compilation: A response to Davis' form and content in model-based reasoning

In a recent paper entitled 'Form and Content in Model Based Reasoning', Randy Davis argues that model based reasoning research aimed at compiling task specific rules from underlying device models is mislabeled, misguided, and diversionary. Some of Davis' claims are examined and his basic conclusions are challenged about the value of compilation research to the model based reasoning community. In particular, Davis' claim is refuted that model based reasoning is exempt from the efficiency benefits provided by knowledge compilation techniques. In addition, several misconceptions are clarified about the role of representational form in compilation. It is concluded that techniques have the potential to make a substantial contribution to solving tractability problems in model based reasoning.

Keller, Richard↗