JPL Technical Report Server

Browsing JPL TRS 1992+ by Title

Browsing JPL TRS 1992+ by Title

Sort by: Order: Results:

  • RTGS: the enduring and the future 
    Woerner, David (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2018, 2018-07-01)
  • RTSJ memory areas and their affects on the performance of a flight-like attitude control system 
    Niessner, Albert F.; Benowitz, Edward G. (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2003., 2003-11)
    The two most important factors in improving performance in any software system, but especially a real-time, embedded system, are knowing which components are the low performers and knowing what can be done to improve their ...
  • RTSJ memory areas and their affects on the performance of a flight-like attitude control system 
    Niessner, Albert F.; Benowitz, Edward G. (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2003., 2003-11)
    The two most important factors in improving performance in any software system, but especially a real-time, embeded system, are knowing which components are the low performers, and knowing what can be done to improve their ...
  • Ru2Ge3: Crystal Growth and Some Properties 
    Borchchevsky, A.; Fleurial, J.P. (1993-08-01)
  • Ru<sub>2</sub>Ge<sub>3</sub>: Crystal Growth and Come Properties 
    Borshchevsky, A.; Fleurial, J-P. (1993-08)
    Large samples of Ru<sub>2</sub>Ge<sub>3</sub> were grown from Ge-rich off-stoichiometric melts at a temperature close to 1460*C by a vertical gradient freeze method in graphite and glassy carbon crucibles.
  • Rubber to road practicing MBSE as an Empowered SE 
    Cole, Bjorn (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012., 2012-09-07)
  • Rubidium Ultra-Stable Oscillators at Titan: The Huygens Doppler Wind Experiment 
    Bird, M. K.; Allison, M.; Atkinson, D. H.; Asmar, S. W.; Dutta-Roy, R.; Edenhofer, P.; Folkner, W. M.; Heyl, M.; Iess, L.; Plettemeier, D.; Preston, R. A.; Tyler, G. L.; Wohlmuth, R. (1997-09)
    The Doppler Wind Experiment (DWE) is one of six investigations to be performed during the Titan atmospheric descent of the ESA Huygens Probe. The primary scientific objective is to measure the direction and strength of ...
  • RUDR: A New Paradigm for Model Extraction and Fitting 
    Olson, Clark F. (1998-01-04)
    This paper describes a new algorithmic paradigm for solving problems where a model is extracted from or it to data. This paradigm has numerous applications, particularly in computer vision.
  • Rugged, laser-welded packaging of a fiber-pigtailed Nd:YAG laser 
    Asbury, C. G.; Mulder, J. L.; Liu, D.; Dubovitsky, S. (2002-05-08)
  • Rule-based estimation and control of formation flying spacecraft 
    Hadaegh, F. Y.; Kang, B.; Scharf, D. P. (2001-11-27)
    This paper addresses some estimation and control problems specific to formation flying of spacecraft that can be approached with rule or logic based methodologies.
  • Rule-based flight software cost estimation 
    Stukes, Sherry A.; Spagnuolo, John N. Jr. (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2015, 2015-08-31)
    This paper discusses the fundamental process for the computation of Flight Software (FSW) cost estimates. This process has been incorporated in a rule-based expert system that can be used for Independent Cost Estimates ...
  • Rule-based flight software cost estimation 
    Stukes, Sherry; Spagnuolo, John Jr. (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2015, 2015-08-31)
  • A rule-based fuzzy traversability index for mobile robot navigation 
    Howard, A.; Seraji, H.; Tunstel, E. (2001-05-21)
    This paper presents a rule-based fuzzy traversability index that quantifies the ease-of-traversal of a terrain by a mobile robot based on real-time measurements of terrain characteristics retrieved from imagery data.
  • Runaway fragmentation of sungrazing comets observed with the solar and heliospheric observatory 
    Sekanina, Z. (2002)
    The strong propensity of the SOHO sungrazing comets for clustering is a product of their runaway fragmentation throughout the orbit about the Sun.
  • Running the gamut of IoT: from spacecraft telemetry to facilities maintenance 
    Hundman, Kyle (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2017, 2017-04-02)
  • Runtime Verification - 17 Years Later 
    Havelund, Klaus; Rosu, Grigore (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2018, 2018-10-30)
    Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; ...
  • Runtime Verification Logics A Language Design Perspective 
    Havelund, Klaus; Reger, Giles (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2017, 2017-08-21)
    Runtime Verification is a light-weight approach to systems verification, where actual executions of a system are processed and analyzed using rigorous techniques. In this paper we shall narrow the term’s definition to ...
  • Runtime Verification of C Programs 
    Havelund, Klaus (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2008, 2008-01-10)
    We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has ...
  • Runtime verification with state estimation 
    Stoller, Scott D.; Bartocci, Ezio; Seyster, Justin; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Zadok, Erez (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011., 2011-09-26)
    We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate the probability that a temporal property is satisfied by a run of a program when monitoring ...
  • Runtime Verification: From Propositional to First-Order Temporal Logic 
    Havelund, Klaus; Peled, Doron (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2018, 2018-10-30)
    Runtime Verification is a branch of formal methods concerned with analysis of execution traces for the purpose of determining the state or general quality of the executing system. The field covers numerous approaches, one ...

Search


Browse

My Account