Search NASA⌕ Search

SEARCH · Search NASA

Results for “COMPILER PROGRAM”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

The NASA Human Research Wiki - An Online Collaboration Tool

The Exploration Medical Capability (ExMC) element is one of six elements of the Human Research Program (HRP). ExMC is charged with decreasing the risk of: "Inability to adequately recognize or treat an ill or injured crew member" for exploration-class missions In preparation for exploration-class missions, ExMC has compiled a large evidence base, previously available only to persons within the NASA community. ExMC has developed the "NASA Human Research Wiki" in an effort to make the ExMC information available to the general public and increase collaboration within and outside of NASA. The ExMC evidence base is comprised of several types of data, including: (1)Information on more than 80 medical conditions which could occur during space flight (a)Derived from several sources (b)Including data on incidence and potential outcomes, as captured in the Integrated Medical Model s (IMM) Clinical Finding Forms (CliFFs). (2)Approximately 25 gap reports (a)Identify any "gaps" in knowledge and/or technology that would need to be addressed in order to provide adequate medical support for these novel missions.

Barr, Yael↗
DOE OSTI2026

SIMD Programming for the SMASH Shock Physics Code

Many modern CPUs that are available to the NNSA as mission computing resources support vector instruction sets. Making good use of vector instructions, referred to as “vectorization”, is often critical to getting the best performance from these CPUs. While other codes choose to rely on compiler auto-vectorization, the SMASH shock physics code chooses to leverage APIs for explicit vectorization. These APIs are similar to directly calling the CPU vendor’s vector intrinsics, with the additional benefit of being vendor-agnostic. This document explains what the SIMD APIs are and how to use them in developing SMASH.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1973

Microbiological sampling of spacecraft cabling, antennas, solar panels and thermal blankets

Sampling procedures and techniques described resulted from various flight project microbiological monitoring programs of unmanned planetary spacecraft. Concurrent with development of these procedures, compatibility evaluations were effected with the cognizant spacecraft subsystem engineers to assure that degradation factors would not be induced during the monitoring program. Of significance were those areas of the spacecraft configuration for which special handling precautions and/or nonstandard sample gathering techniques were evolved. These spacecraft component areas were: cabling, high gain antenna, solar panels, and thermal blankets. The compilation of these techniques provides a historical reference for both the qualification and quantification of sampling parameters as applied to the Mariner Spacecraft of the late 1960's and early 1970's.

Koukol, R. C.↗
NASA NTRS1974

Skylab food system laboratory support

A summary of support activities performed to ensure the quality and reliability of the Skylab food system design is reported. The qualification test program was conducted to verify crew compartment compatibility, and to certify compliance of the food system with nutrition, preparation, and container requirements. Preflight storage requirements and handling procedures were also determined. Information on Skylab food items was compiled including matters pertaining to serving size, preparation information, and mineral, calorie, and protein content. Accessory hardware and the engraving of food utensils were also considered, and a stowage and orientation list was constructed which takes into account menu use sequences, menu items, and hardware stowage restrictions. A food inventory system was established and food thermal storage tests were conducted. Problems and comments pertaining to specific food items carried onboard the Skylab Workshop were compiled.

Sanford, D.↗
NASA NTRS1982

Education and training of personnel in space simulation

The training program and procedures developed and implemented at the space simulation laboratory at Martin Marietta Aerospace in Denver are discussed. The training of technicians and professionals as well as preparation for instructors is covered. Training manuals and their compilation are reported as applicable to the specific needs of the laboratory. The development of a space simulation course as part of the Martin Marietta Continuing Education Night School approaching space simulation from an academic viewpoint is presented. Finally, public relations tours of the facility as an informational/educational tool are discussed.

Rempt, R. D.↗
NASA NTRS1984

A bibliography of planetary geology and geophysics principal investigators and their associates, 1983 - 1984

A compilation is given of selected bibliographic data specifically relating to recent publications submitted by principle investigators and their associates, supported through NASA's Office of Space Science and Applications, Solar System Exploration Division, Planetary Geology and Geophysics Program. Topics include the solar system, asteroids, volcanoes, stratigraphy, remote sensing, and planetary craters.

Witbeck, N. E.↗
NASA NTRS1990

Generation rates and chemical compositions of waste streams in a typical crewed space habitat

A judicious compilation of generation rates and chemical compositions of potential waste feed streams in a typical crewed space habitat was made in connection with the waste-management aspect of NASA's Physical/Chemical Closed-Loop Life Support Program. Waste composition definitions are needed for the design of waste-processing technologies involved in closing major life support functions in future long-duration human space missions. Tables of data for the constituents and chemical formulas of the following waste streams are presented and discussed: human urine, feces, hygiene (laundry and shower) water, cleansing agents, trash, humidity condensate, dried sweat, and trace contaminants. Tables of data on dust generation and pH values of the different waste streams are also presented and discussed.

Wydeven, Theodore↗
NASA NTRS1991

Waste streams in a crewed space habitat

A judicious compilation of generation rates and chemical compositions of potential waste feed streams in a typical crewed space habitat was made in connection with the waste-management aspect of NASA's Physical/Chemical Closed-Loop Life Support Program. Waste composition definitions are needed for the design of waste-processing technologies involved in closing major life support functions in future long-duration human space missions. Tables of data for the constituents and chemical formulas of the following waste streams are presented and discussed: human urine, feces, hygiene (laundry and shower) water, cleansing agents, trash, humidity condensate, dried sweat, and trace contaminants. Tables of data on dust generation and pH values of the different waste streams are also presented and discussed.

Wydeven, T.↗
NASA NTRS2011

Space Shuttle Guidance, Navigation, and Rendezvous Knowledge Capture Reports

This document is a catalog and readers guide to lessons learned, experience, and technical history reports, as well as compilation volumes prepared by United Space Alliance personnel for the NASA/Johnson Space Center (JSC) Flight Dynamics Division.1 It is intended to make it easier for future generations of engineers to locate knowledge capture documentation from the Shuttle Program. The first chapter covers observations on documentation quality and research challenges encountered during the Space Shuttle and Orion programs. The second chapter covers the knowledge capture approach used to create many of the reports covered in this document. These chapters are intended to provide future flight programs with insight that could be used to formulate knowledge capture and management strategies. The following chapters contain descriptions of each knowledge capture report. The majority of the reports concern the Space Shuttle. Three are included that were written in support of the Orion Program. Most of the reports were written from the years 2001 to 2011. Lessons learned reports concern primarily the shuttle Global Positioning System (GPS) upgrade and the knowledge capture process. Experience reports on navigation and rendezvous provide examples of how challenges were overcome and how best practices were identified and applied. Some reports are of a more technical history nature covering navigation and rendezvous. They provide an overview of mission activities and the evolution of operations concepts and trajectory design. The lessons learned, experience, and history reports would be considered secondary sources by historians and archivists.

John L Goodman↗
NASA NTRS2011

Analysis of Data in Accordance with Space Flight Mission Environmental Requirements

The Environmental Assurance Program sets forth standards to ensure that all flight hardware is compatible with the environments that will be encountered during a spacecraft mission. It outlines the design, test and analysis, and risk control standards for the mission and certifies that it will survive in any external or self-induced environments that the spacecraft may experience. The Environmental Requirements Document (ERD) is the most important document in the Environmental Assurance Program, providing the design and test requirements for the project's flight system, subsystems, assemblies, and instruments. This summer's project was to assist Environmental Requirements Engineers (ERE's) in completing the Environmental Assurance Program Summary Report for both the Juno Project and Mars Science Laboratory (MSL) Project. The Summary Report is a document summarizing the environmental tests and analyses of each spacecraft at both the assembly and system level. It compiles a source of all relevant information such as waivers and Problem/Failure Reports (PFRs) into a single report for easy reference of how well the spacecraft met the requirements of the project.

Jupiter properties↗
NASA NTRS1975

Remote-sensing applications as utilized in Florida's coastal zone management program

Land use maps were developed from photomaps obtained by remote sensing in order to develop a comprehensive state plan for the protection, development, and zoning of coastal regions. Only photographic remote sensors have been used in support of the coastal council's planning/management methodology. Standard photointerpretation and cartographic application procedures for map compilation were used in preparing base maps.

Worley, D. R.↗
NASA NTRS2001

A Scalable Analysis Toolkit

The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to statically detect software bugs in very large systems. The technical focus of the project was on a relatively new class of constraint-based techniques for analysis software, where the desired facts about programs (e.g., the presence of a particular bug) are phrased as constraint problems to be solved. At the beginning of this project, the most successful forms of formal software analysis were limited forms of automatic theorem proving (as exemplified by the analyses used in language type systems and optimizing compilers), semi-automatic theorem proving for full verification, and model checking. With a few notable exceptions these approaches had not been demonstrated to scale to software systems of even 50,000 lines of code. Realistic approaches to large-scale software analysis cannot hope to make every conceivable formal method scale. Thus, the SAT approach is to mix different methods in one application by using coarse and fast but still adequate methods at the largest scales, and reserving the use of more precise but also more expensive methods at smaller scales for critical aspects (that is, aspects critical to the analysis problem under consideration) of a software system. The principled method proposed for combining a heterogeneous collection of formal systems with different scalability characteristics is mixed constraints. This idea had been used previously in small-scale applications with encouraging results: using mostly coarse methods and narrowly targeted precise methods, useful information (meaning the discovery of bugs in real programs) was obtained with excellent scalability.

Aiken, Alexander↗
NASA NTRS1981

Scientific and technical information output of the Langley Research Center for calendar year 1980

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1980. Approximately 1400 citations are given. Formal reports, quick-release technical memorandums, contractor reports, journal articles, meeting/conference papers, computer programs, tech briefs, patents, and unpublished research are included.

Source record↗
DOE OSTI2024

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations

Software developers must adapt to keep up with the changing capabilities of platforms so that they can utilize the power of High-Performance Computers (HPC), including exascale systems. OpenMP, a directive-based parallel programming model, allows developers to include directives to existing C, C++, or Fortran code to allow node level parallelism without compromising performance. This paper describes our CI/CD efforts to provide easy evaluation of the support of OpenMP across different compilers using existing testsuites and benchmark suites on HPC platforms. Our main contributions include (1) the set of a Continuous Integration (CI) and Continuous Development (CD) workflow that captures bugs and provides faster feedback to compiler developers, (2) an evaluation of OpenMP (offloading) implementations supported by AMD, HPE, GNU, LLVM, and Intel, and (3) evaluation of the quality of compilers across different heterogeneous HPC platforms. With the comprehensive testing through the CI/CD workflow, we aim to provide a comprehensive understanding of the current state of OpenMP (offloading) support in different compilers and heterogeneous platforms consisting of CPUs and GPUs from NVIDIA, AMD, and Intel.

Jarmusch, Aaron↗
NASA NTRS1998

Precision Spectroscopy, Diode Lasers, and Optical Frequency Measurement Technology

This compilation is a selected set of reprints from the Optical Frequency Measurement Group of the Time and Frequency Division of the National Institute of Standards and Technology, and consists of work published between 1987 and 1997. The two main programs represented here are (1) development of tunable diode-laser technology for scientific applications and precision measurements, and (2) research toward the goal of realizing optical-frequency measurements and synthesis. The papers are organized chronologically in five, somewhat arbitrarily chosen categories: Diode Laser Technology, Tunable Laser Systems, Laser Spectroscopy, Optical Synthesis and Extended Wavelength Coverage, and Multi-Photon Interactions and Optical Coherences.

DIODE LASERS↗
DOE OSTI2026

PowerMappeR: Power-Optimized Mapping of SNNs onto ReRAM Crossbars coupled via Packet-Switched NoCs

Many recent efforts in developing hardware-accelerated spiking neural networks (SNNs) are characterized by deep co-design between algorithms, architectures, and devices. Architectural advances overcome device constraints by coupling together many small resistive-RAM (ReRAM) crossbars via a network-on-chip (NoC) for neuromorphic component operation. Concurrently, improved SNN training methods increase accuracy and structural sparsity in networks despite growing problem sizes. Finally, compilers leverage these attributes to minimize area and inter-crossbar communication while mapping large SNNs to sophisticated architectures. However, for compiler-driven co-design to realize increasingly complex and profitable optimizations, a compile-time view of power consumption is critical. We present PowerMappeR to express and optimize over mapping-, architecture-, and device-specific power consumption information. By modeling the dynamic power of well-established components, we develop an integer linear programming (ILP)-based, encoding-agnostic, parametric power estimation model. Using this model, we demonstrate practical improvements in area and inter-crossbar communication by 0%–9.5% and 1.4%–5.1%, respectively. We also limit hotspot formation during optimization, achieving comparable or better results in targeted metrics with up to 96.4%–97.1% restriction of hotspot magnitude. Finally, we introduce profile-guided formulations to reduce worst-case and expected-case hotspot magnitude by 40.7%–69.5% and 40.6%–56.3%, respectively. Optimizing worst-case hotspot magnitude incidentally improves expected-case magnitude by 10.85%–33.45%. Reciprocally, optimizing expected-case magnitude incidentally improves worst-case magnitude by 4.33%–39.87%. Validation against hardware simulators confirms that PowerMappeR can decrease dynamic power consumption by 12.6%–27.3%.

Pohl, Devin [ORNL] (ORCID:0009000040149027)↗