81–100 von 217 Ergebnissen
|

    Author index

    IEEE | 2009

    An Exploration of Tiled Architectures for Space Applications

    Kogge, Peter M. / Vance, Megan | IEEE | 2009

    Autonomous Planning and Execution for a Future Titan Aerobot

    Gaines, Daniel / Estlin, Tara / Schaffer, Steve et al. | IEEE | 2009
    plan to respond to new science opportunities. Our technology leverages prior work on the OASIS system for autonomous rover exploration. In this ...

    Policy-Based Design of Human-Machine Collaboration in Manned Space Missions

    Diggelen, Jurriaan van / Bradshaw, Jeffrey M. / Grant, Tim et al. | IEEE | 2009

    Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning

    Granat, Robert / Wagstaff, Kiri L. / Bornstein, Benjamin et al. | IEEE | 2009

    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009
    , into the spacecraft avionics architecture to manage the growth of mission functions implemented in the on-board software. The paper addresses ...

    SKEYP: AI Applied to SOHO Keyhole Operations

    Policella, Nicola / Oliveira, Henrique / Siili, Tero | IEEE | 2009
    keyhole periods and the need to maximize the return of science data while respecting other constraints, such as limited on-board storage capacity ...

    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann / Mehlitz, Peter et al. | IEEE | 2009
    analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common ...

    Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber Using a Parity Space Approach

    Gelder, Paul van / Bos, André | IEEE | 2009
    approach on a real-time platform and testing it against data from combustion chamber test runs. Future work needs to investigate the robustness of ...

    A Combinatorial Test Suite Generator for Gray-Box Testing

    Barrett, Anthony / Dvorak, Daniel | IEEE | 2009

    Cover Art

    IEEE | 2009

    Patterned Growth in Extreme Environments

    Boston, Penelope / Curnutt, Jane / Gomez, Ernesto et al. | IEEE | 2009
    Abstract—In the search for life on Mars and other extraterrestrial bodies, one of the biggest problems facing us is, how do we ...

    Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL

    Vassev, Emil / Hinchey, Mike | IEEE | 2009
    NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of ...

    Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation

    Pomerantz, Marc I. / Jain, Abhinandan / Myint, Steven | IEEE | 2009

    A Workflow Model for Earth Observation Sensor Webs

    Morris, Robert / Dungan, Jennifer / Votava, Petr | IEEE | 2009
    occurring on the Earth’s surface or in the atmosphere. Sensor measurements serve to quantify aspects of these processes that allow Earth ...