Floating-point Round-off Error Analysis of Safety-critical Avionics Software
Explore the source record for details and available documents.
static analysis↗
SEARCH · Search NASA
Results for “FLOATS - COMPARISON”
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.
VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis
Explore the source record for details and available documents.
Floating-point↗
PRECiSA: From Real Specifications to Floating-point Implementations
Explore the source record for details and available documents.
floating-point↗
Reflow: From Real Number Specifications to Floating-Point Implementations
Explore the source record for details and available documents.
Floating-point↗
Reflow: From Real Number Specifications to Floating-Point Implementations
Explore the source record for details and available documents.
Floating-point↗
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Explore the source record for details and available documents.
program analysis↗
Taming Floating-point Errors in Avionics Applications at NASA
Explore the source record for details and available documents.
Floating-Point↗
Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0
Explore the source record for details and available documents.
Floating-point↗
Near-surface variability of temperature and salinity in the near-tropical ocean: Observations from profiling floats
Explore the source record for details and available documents.
Jessica E. Anderson↗
Constraining the mass density of free-floating black holes using razor-thin lensing arcs
Explore the source record for details and available documents.
Uddipan Banik↗
Multispectral Observations of Float Rocks Used to Investigate the Origin of Boulders on the Western Jezero Fan Front, Mars
Explore the source record for details and available documents.
B. S. Kathir↗
Floating device aligns blind connections
Panel-mounted connectors overcome the misalignment of blind connectors in electronic rack mounted equipment. The connector is free to move in the vertical direction by the action of a parallelogram mount. This freedom of motion maintains the guide pin hole centerline parallel to the guide pin centerline at all times.
Resel, J. E.↗
Single wrench separates nuts from free-floating bolts
Pneumatic impact wrench removes the nuts from freely turning bolts when the heads cannot be reached or the shafts anchored. It uses a fixed screwdriver blade that fits a slot cut into the threaded end of the bolt shaft.
Thompson, C.↗
Steady state and dynamic properties of journal bearings in laminar and superlaminar flow regimes. II - Full floating ring bearings
Steady state and dynamic properties of journal bearings in laminar and superlaminar flow regimes
LAMINAR FLOW↗
Recombination lifetimes in gamma-irradiated P-type float zone silicon
Electron decay rate and absorption cross sections for electron holes and recombination in gamma irradiated n-type silicon
Compton, W. D.↗
Performance of a collapsible plug nozzle having either two-position cylindrical or variable angle floating shrouds at Mach numbers from 0 to 2.0
Effects of shroud geometry on performance of collapsible plug nozzle at Mach numbers from 0 to 2.0
Harrington, D. E.↗
Analysis, design and prototype development of squeeze film bearings for AB-5 gyro. Phase 5 - Development of an integral design prototype squeeze film bearing supporting a live AB-5 gyro float Final report
Operational performance of squeeze-film bearing with incorporated piezoelectric driver gyro
Chiang, T.↗
Floating two force component measuring device Patent
Device for measuring two orthogonal components of force with gallium flotation of measuring target for use in vacuum environments
Knechtel, E. D.↗