Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Outros
|
![]() |
High Performance Spacecraft Computing (HPSC) Middleware UpdateCudmore, AlanGoddard Space Flight Center 2019Texto completo disponível |
12 |
Material Type: Outros
|
![]() |
Formalizing and Analyzing Requirements with FRETMavridou, AnastasiaAmes Research Center 2019Texto completo disponível |
13 |
Material Type: Outros
|
![]() |
|
14 |
Material Type: Outros
|
![]() |
GSFC Annual Scan Technology Review SpaceCube On-Board Processor UpdateWilson, ChristopherGoddard Space Flight Center 2019Texto completo disponível |
15 |
Material Type: Outros
|
![]() |
Static Analysis Using Abstract InterpretationArthaud, MaximeAmes Research Center 2019Texto completo disponível |
16 |
Material Type: Outros
|
![]() |
Implementation of Human System Integration Workshop at NASA for Human SpaceflightSilva-Martinez, Jackelynne ; Schoenstein, Nicole ; Salazar, George ; Swarmer, Tiffany M. ; Silva, Herbert ; Russi-Vigoya, Natalia ; Baturoni-Cortez, Alicia ; Love, John ; Wong, Doug ; Walker, RachelJohnson Space Center 2019Texto completo disponível |
17 |
Material Type: Outros
|
![]() |
IKOS: Sound Static Program AnalysisArthaud, MaximeAmes Research Center 2019Texto completo disponível |
18 |
Material Type: Outros
|
![]() |
HPC Matters: How Advanced Computing Enables NASA MissionsBiswas, RupakAmes Research Center 2019Texto completo disponível |
19 |
Material Type: Outros
|
![]() |
Visualization and Data Analysis in Support of NASA's MissionMehrotra, PiyushAmes Research Center 2019Texto completo disponível |
20 |
Material Type: Outros
|
![]() |
The Next Frontier of Modeling and Simulation at NASA: Successes and ChallengesKiris, CetinAmes Research Center 2019Texto completo disponível |