SEARCH · Engineering Papers

Results for “Compilation”

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.

SourceResearch connectionFrom yearThrough year

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

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

DOE OSTI2018

Making Compiler-Based Tools Accessible Online

Compiler-based tools are widely used to analyze and optimize source codes for many purposes, including extracting insights about applications’ properties or restructuring code for better performance. However, using compiler-based tools is often difficult due to tedious and error-prone steps to configure and install such tools on various machines. In this paper, we describe a solution to use CGI + Bash to expose compilerbased tools to a web page so users can directly use these tools without installing them.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2018

Making Compiler-Based Tools Accessible Online

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2023

Correct Compilation of Concurrent C Code

The CompCert compiler represents a landmark effort in program verification as both a piece of verified software and as a compiler for verified C programs. A key shortcoming of CompCert however is that it does not support multithreaded programs. Prior work to add threads to CompCert has either required major rewrites of parts of the proof or only works for well synchronized programs. The problem is that CompCert’s backward simulation derives from a forward simulation via the determinism of the semantics of intermediate representation languages. This makes the proofs in CompCert easier but also makes them incompatible with standard models of multithreading which are non-deterministic. Here we propose an alternate formulation of CompCert’s proof structure that parameterizes the existing single threaded semantics with nondeterministic behavior generated at the multithreading level. While this is an old trick where program equivalence is concerned, performing it in the context of CompCert is quite subtle. Our approach allows for expressive concurrent semantics and does not require major proof rewrites but still results in a global backward simulation for multithreaded programs.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

Tough Errors Are no Match (TEAM): Optimizing the Quantum Compiler for Noise Resilience

This report summarizes research performed under the Tough Errors Are no Match (TEAM) project. The primary focus of TEAM has been to research and develop a compilation toolbox leveraging techniques from quantum characterization and control, probabilistic programming, and approximate computing. Our goal was to develop robust protocols that can be integrated into quantum compilers to optimize and enhance the robustness of noisy computation. Here, we provide a summary of TEAM work focused on characterization and control of quantum systems.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

The AMUSING++ Nearby Galaxy Compilation. I. Full Sample Characterization and Galactic-scale Outflow Selection

We present here AMUSING++: the largest compilation of nearby galaxies observed with the MUSE integral-field spectrograph so far. This collection consists of 635 galaxies from different MUSE projects covering the redshift interval 0.0002 < z < 0.1. The sample and its main properties are characterized and described here. It includes galaxies of almost all morphological types, with a good coverage in its color–magnitude diagram, within the stellar mass range between 10{sup 8} and 10{sup 12} M {sub ⊙}, and with properties resembling those of a diameter-selected sample. The AMUSING++ sample is, therefore, suitable for studying, with unprecendented detail, the properties of nearby galaxies at global and local scales, providing us with more than 50 million individual spectra. We use this compilation to investigate the presence of galactic outflows. We exploit the use of combined emission-line images to explore the shape of the different ionized components and the distribution along classical diagnostic diagrams to disentangle the different ionizing sources across the optical extension of each galaxy. We use the cross-correlation function to estimate the level of symmetry of the emission lines as an indication of the presence of shocks and/or active galactic nuclei. We uncovered a total of 54 outflows, comprising ∼8% of the sample. A large number of the discovered outflows correspond to those driven by active galactic nuclei (∼60%), suggesting some bias in the selection of our sample. No clear evidence was found that outflow host galaxies are highly star-forming, and outflows appear to be found within all galaxies around the star-formation sequence.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2017

Compiled records of carbon isotopes in atmospheric CO 2 for historical simulations in CMIP6

Abstract. The isotopic composition of carbon (Δ 14 C and δ 13 C) in atmospheric CO 2 and in oceanic and terrestrial carbon reservoirs is influenced by anthropogenic emissions and by natural carbon exchanges, which can respond to and drive changes in climate. Simulations of 14 C and 13 C in the ocean and terrestrial components of Earth system models (ESMs) present opportunities for model evaluation and for investigation of carbon cycling, including anthropogenic CO 2 emissions and uptake. The use of carbon isotopes in novel evaluation of the ESMs' component ocean and terrestrial biosphere models and in new analyses of historical changes may improve predictions of future changes in the carbon cycle and climate system. We compile existing data to produce records of Δ 14 C and δ 13 C in atmospheric CO 2 for the historical period 1850–2015. The primary motivation for this compilation is to provide the atmospheric boundary condition for historical simulations in the Coupled Model Intercomparison Project 6 (CMIP6) for models simulating carbon isotopes in the ocean or terrestrial biosphere. The data may also be useful for other carbon cycle modelling activities.

54 ENVIRONMENTAL SCIENCES↗

NASA NTRS1971

Machine tools and fixtures: A compilation

As part of NASA's Technology Utilizations Program, a compilation was made of technological developments regarding machine tools, jigs, and fixtures that have been produced, modified, or adapted to meet requirements of the aerospace program. The compilation is divided into three sections that include: (1) a variety of machine tool applications that offer easier and more efficient production techniques; (2) methods, techniques, and hardware that aid in the setup, alignment, and control of machines and machine tools to further quality assurance in finished products: and (3) jigs, fixtures, and adapters that are ancillary to basic machine tools and aid in realizing their greatest potential.

Source record↗

NASA NTRS1972

Electronic circuits for communications systems: A compilation

The compilation of electronic circuits for communications systems is divided into thirteen basic categories, each representing an area of circuit design and application. The compilation items are moderately complex and, as such, would appeal to the applications engineer. However, the rationale for the selection criteria was tailored so that the circuits would reflect fundamental design principles and applications, with an additional requirement for simplicity whenever possible.

Source record↗

NASA NTRS1971

The NASA earth resources spectral information system: A data compilation

The NASA Earth Resources Spectral Information System and the information contained therein are described. It contains an ordered, indexed compilation of natural targets in the optical region from 0.3 to 45.0 microns. The data compilation includes approximately 100 rock and mineral, 2600 vegetation, 1000 soil, and 60 water spectral reflectance, transmittance, and emittance curves. Most of the data have been categorized by subject, and the curves in those subject areas have been plotted on a single graph. Those categories with too few curves and miscellaneous categories have been plotted as single-curve graphs. Each graph, composite of single, is fully titled to indicate curve source and is indexed by subject to facilitate user retrieval.

Leeman, V.↗

NASA NTRS1974

Compiler writing system detail design specification. Volume 2: Component specification

The logic modules and data structures composing the Meta-translator module are desribed. This module is responsible for the actual generation of the executable language compiler as a function of the input Meta-language. Machine definitions are also processed and are placed as encoded data on the compiler library data file. The transformation of intermediate language in target language object text is described.

Arthur, W. J.↗

NASA NTRS1975

On the performance of the HAL/S-FC compiler

The HAL/S compilers which will be used in the space shuttles are described. Acceptance test objectives and procedures are described, the raw results are presented and analyzed, and conclusions and observations are drawn. An appendix is included containing an illustrative set of compiler listings and results for one of the test cases.

Martin, F. H.↗

NASA NTRS1976

Compilation of fatigue, fatigue-crack propagation, and fracture data for 2024 and 7075 aluminum, Ti-6Al-4V titanium, and 300M steel. Volume 1: Description of data and data storage on magnetic tape. Volume 2: Data tape (7-track magnetic tape)

Fatigue, fatigue-crack-propagation, and fracture data compiled and stored on magnetic tape are documented. Data for 202 and 7075 aluminum alloys, Ti-6Al-4V titanium alloy, and 300M steel are included in the compilation. Approximately 4,500 fatigue, 6,500 fatigue-crack-propagation, and 1,500 fracture data points are stored on magnetic tape. Descriptions of the data, an index to the data on the magnetic tape, information on data storage format on the tape, a listing of all data source references, and abstracts of other pertinent test information from each data source reference are included.

Rice, R. C.↗

NASA NTRS1975

CARETS: A prototype regional environmental information system. Volume 5: Interpretation, compilation and field verification procedures in the CARETS project

The production of the CARETS map data base involved the development of a series of procedures for interpreting, compiling, and verifying data obtained from remote sensor sources. Level II land use mapping from high-altitude aircraft photography at a scale of 1:100,000 required production of a photomosaic mapping base for each of the 48, 50 x 50 km sheets, and the interpretation and coding of land use polygons on drafting film overlays. CARETS researchers also produced a series of 1970 to 1972 land use change overlays, using the 1970 land use maps and 1972 high-altitude aircraft photography. To enhance the value of the land use sheets, researchers compiled series of overlays showing i cultural features, county boundaries and census tracts, surface geology, and drainage basins. In producing Level I land use maps from Landsat imagery, at a scale I of 1:250,000, interpreters overlaid drafting film directly on Landsat color composite transparencies and interpreted on the film. They found that such interpretation involves pattern and spectral signature recognition. In studies using Landsat imagery, interpreters identified numerous areas of change but also identified extensive areas of "false change," where Landsat spectral signatures but not land use had changed.

Field verification procedures↗

NASA NTRS1978

Parallel compilation - A design and its application to SIMULA 67

A design for a separate compilation facility for the SIMULA 67 programming language is presented. The paper explores the problems with existing separate compilation schemes, and proposes a new scheme that allows top-down, bottom-up, or even parallel development and integration of program modules. An evaluation of the proposal and a discussion of its applicability to other languages are then given.

Schwartz, R. L.↗

NASA NTRS1981

Systems test facilities existing capabilities compilation

Systems test facilities (STFS) to test total photovoltaic systems and their interfaces are described. The systems development (SD) plan is compilation of existing and planned STFs, as well as subsystem and key component testing facilities. It is recommended that the existing capabilities compilation is annually updated to provide and assessment of the STF activity and to disseminate STF capabilities, status and availability to the photovoltaics program.

Weaver, R.↗

NASA NTRS1981

AFGL trace gas compilation - 1980 version

A new edition of the AFGL trace gas compilation is now available. Absorption line parameters of positions, intensities, and half-widths are given for the major bands of thirteen gases covering the spectral region from 0 to 10,000/cm. In addition to updating the original gases (NO, SO2, NO2, and NH3), the molecules HNO3, OH, HF, HCl, HBr, HI, ClO, OCS, and H2CO have been added to the compilation. The sources for the additions and modifications are described.

Rothman, L. S.↗

NASA NTRS1982

Compilation of atmospheric gas concentration profiles from 0 to 50 km

A set of 52 atmospheric gas concentration profiles between 0 and 50 km was compiled as a convenient reference data set for calculation of atmospheric infrared absorption or emission signals and for initialization of iterative procedures for retrieval of gas concentrations from measured data. The distributions of volume mixing ratio as a function of altitude generally correspond to typical diurnally averaged, seasonally averaged Northern Hemisphere midlatitude gas concentration profiles. Profiles are given for all gases included in current infrared atmospheric absorption line parameter compilations, and for a number of additional important trace gases.

Smith, M. A. H.↗

NASA NTRS1986

Compilation of cosmogenic radionuclides in meteorites

All available data for the concentration of cosmogenic nuclides Mn-53(t(1/2) = 3.7 x 10(6) years), Al-26 (7.05 x 10(5) years), Be-10 (1.6 x 10(6) years), Cl-36 (3.0 x 10(5) years) and Ne-21, and Ne-22/Ne-21 ratios in stony, iron, and stony-iron meteorites were compiled. For iron meteorites, the He-4/Ne-21 ratio was adopted instead of Ne-22/Ne-21 ratio, because the He-4/Ne-21 ratio in iron meteorites indicates the shielding condition of the sample. The compilation contains over 2000 different analyses for four cosmogenic radionuclides.

Nishiizumi, K.↗