JPL Technical Report Server

Browsing JPL TRS 1992+ by Title

Browsing JPL TRS 1992+ by Title

Sort by: Order: Results:

  • Woerner, David (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2018, 2018-07-01)
  • 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 ...
  • 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 ...
  • Borchchevsky, A.; Fleurial, J.P. (1993-08-01)
  • 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.
  • Cole, Bjorn (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012., 2012-09-07)
  • 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 ...
  • 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.
  • Asbury, C. G.; Mulder, J. L.; Liu, D.; Dubovitsky, S. (2002-05-08)
  • 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.
  • 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 ...
  • Stukes, Sherry; Spagnuolo, John Jr. (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2015, 2015-08-31)
  • 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.
  • 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.
  • Hundman, Kyle (Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2017, 2017-04-02)
  • 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; ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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