1–17 von 17 Ergebnissen
|

    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

    M. M. Moscato / N. B. F. Ferreira / L. Titolo et al. | NTIS | 2023
    Schlagwörter: Floating-point , Program analysis

    A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

    Mariano M Moscato / Nikson Bernardes Fernandes Ferreira / Laura Titolo et al. | NTRS
    Schlagwörter: program analysis , floating-point

    Computation of Sub-Satellite Points from Orbital Elements

    R. H. Christ | NTIS | 1965
    Schlagwörter: Computer program , Point , Program

    Functional Interior Point Programming Applied to the Aircraft Path Planning Problem

    Puechmorel, Stephane / Delahaye, Daniel | Springer Verlag | 2015
    Schlagwörter: Optimization Program , Interior Point Algorithm

    Pathways to Sustainability in Lunar Exploration Architectures

    Landgraf, Markus | AIAA | 2021
    Schlagwörter: Apollo Program , Break Even Point

    Focal Point Computation in a Three-Layered Atmosphere

    J. E. Mabry | NTIS | 1966
    Schlagwörter: Computer program , Point , Program

    Lunar Surface Transmission Loss for the APOLLO Astronaut

    J. F. Lindsey | NTIS | 1968
    Schlagwörter: Point to point communications , Apollo applications program

    Electromagnetic Compatibility Testing

    D. M. Woolf | NTIS | 1965
    Schlagwörter: Test program , Point , Program

    Telemetry Processing for NASA Scientific Satellites

    E. J. Habib / F. A. Keipert / R. C. Lee | NTIS | 1966
    Schlagwörter: Nasa program , Point

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006
    Schlagwörter: Program Point

    Automatic Range Image Registration Using Mixed Integer Linear Programming

    Sakakubara, Shizu / Kounoike, Yuusuke / Shinano, Yuji et al. | Springer Verlag | 2007
    Schlagwörter: Point Pair , Integer Linear Program Formulation

    Total Quality Management, Naval Aviation Depot, Cherry Point, North Carolina

    NTIS | 1987
    Schlagwörter: Cherry Point(North Carolina) , Program management

    Summary Review of Sounding Rocket Experiments in Fluid Science and Material Sciences: TEXUS 1 to 20; Maser 1 and 2

    O. Minster / B. Kaldeich | NTIS | 1991
    Schlagwörter: German space program , Swedish space program , Critical point

    Spacecraft Technology. Vol. Ii - Control and Stabilisation

    NTIS | 1966
    Schlagwörter: Mariner b program , Point

    Ecology of Automotive Manufacturing

    Omar, Mohammed A. | Wiley | 2011
    Schlagwörter: powder‐coat formulation evaluation ‐ from a process point of view , EPA, and Department of Energy ‐ and Energy Star program in 1992, promoting more energy‐efficient products and manufacturing processes

    Ups and downs of space tourism development in 60 years from moon register to spaceshiptwo CRASH

    Chang, Yi-Wei / Chern, Jeng-Shing | Elsevier | 2016
    Schlagwörter: Future European Space Transportation Investigation Program , point-to-point

    Artemis Accords: Are Safety Zones Practical for Long Term Commercial Lunar Resource Utilisation?

    McKeown, Ben / Dempster, Andrew G. / Saydam, Serkan | Elsevier | 2022
    Schlagwörter: Earth-Moon Libration Point L1 , NASA Innovative Advanced Concepts (Program)