Log in first for optimal use of all functions!

1–12 of 12 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

Source

+ Show more

Author

+ Show more

Subject

+ Show more

Type of material

Licence

Language

  • ««
  • «
  • 1
  • »»

  1. Languages, Frameworks, and Tools for Developing Flight Software

    Bocchino, Robert L. | NTRS | 2018

  2. Alias Control for Deterministic Parallelism

    Bocchino, Robert L. Jr. | Springer Verlag | 2013

  3. The Future of Aliasing in Parallel Programming

    Bocchino, Robert L. Jr. | Springer Verlag | 2013

  4. Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks

    Bocchino, Robert L. Jr. / Adve, Vikram S. | Springer Verlag | 2011

  5. FPP: A Modeling Language for F Prime

    Bocchino, Robert L / Levison, Jeffrey W. / Starch, Michael D. | IEEE | 2022

  6. Spot: A Programming Language Emphasizing Safety

    Gostelow, Kim P. / Bocchino, Robert L., Jr. / Gamble, Ed et al. | NTRS | 2014

  7. Spot: A Programming Language for Verified Flight Software

    Bocchino, Robert L., Jr. / Gamble, Edward / Gostelow, Kim P. et al. | NTRS | 2014

  8. F Prime: An Open-Source Framework for Small-Scale Flight Software Systems

    Levison, Jeffrey W. / Reder, Leonard J. / Watney, Garth J. et al. | NTRS | 2018

  9. Parallel SAH k-D Tree Construction

    Choi, Byn / Komuravelli, Rakesh / Lu, Victor et al. | Eurographics | 2010

  10. Parallel SAH k-D Tree Construction

    Choi, Byn / Komuravelli, Rakesh / Lu, Victor et al. | DataCite | 2010

  11. On-Orbit Results and Lessons Learned from the ASTERIA Space Telescope Mission

    Seager, Sara / Krajewski, Joel / White, Mary et al. | NTRS | 2018

  12. Demonstrating high-precision photometry with a CubeSat: ASTERIA observations of 55 Cancri e

    Free access
    Knapp, Mary / Seager, Sara / Demory, Brice-Olivier et al. | ArXiv | 2020
  • ««
  • «
  • 1
  • »»

Number of results: 10 | 20 | 50

Feedback