Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Aircraft analysis using the layered and extensible aircraft performance system (LEAPS) / / Francisco M. Capristan [and three others]
| Aircraft analysis using the layered and extensible aircraft performance system (LEAPS) / / Francisco M. Capristan [and three others] |
| Autore | Capristan Francisco M. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2020 |
| Descrizione fisica | 1 online resource (16 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Computer systems performance
Design analysis Computer techniques Mathematical models Hybrid propulsion |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Aircraft analysis using the layered and extensible aircraft performance system |
| Record Nr. | UNINA-9910713095003321 |
Capristan Francisco M.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Assessing the Amazon cloud suitability for CLARREO's computational needs / Daniel Goldin, Andrei A. Vakhnin, Jon C. Currey
| Assessing the Amazon cloud suitability for CLARREO's computational needs / Daniel Goldin, Andrei A. Vakhnin, Jon C. Currey |
| Autore | Goldin Daniel |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , October 2015 |
| Descrizione fisica | 1 online resource (8 pages) |
| Collana | NASA/TM |
| Soggetto topico |
Web services
Cluster analysis Data processing Computer systems performance Grid computing (computer networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Assessing the Amazon cloud suitability for Climate Absolute Radiance and Refractivity Observatory's computational needs |
| Record Nr. | UNINA-9910707070203321 |
|
Goldin Daniel
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , October 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boundary layer simulation improvement [[electronic resource]] : progress report / / prepared by Sarat C. Praharaj
| Boundary layer simulation improvement [[electronic resource]] : progress report / / prepared by Sarat C. Praharaj |
| Autore | Praharaj Sarat C |
| Pubbl/distr/stampa | Huntsville, Ala. : , : Remtech, inc. |
| Descrizione fisica | 1 online resource (15 pages) : illustrations |
| Collana | [NASA contractor report] |
| Soggetto topico |
Boundary layer flow
Computer programs Computer systems performance Computerized simulation Turbulent boundary layer |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Boundary layer simulation improvement |
| Record Nr. | UNINA-9910701932903321 |
|
Praharaj Sarat C
|
||
| Huntsville, Ala. : , : Remtech, inc. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exponential order statistic models of software reliability growth / / Douglas R. Miller
| Exponential order statistic models of software reliability growth / / Douglas R. Miller |
| Autore | Miller Douglas R. |
| Pubbl/distr/stampa | Washington, D.C. : , : National Aeronautics and Space Administration, Scientific and Technical Information Branch, , July 1985 |
| Descrizione fisica | 1 online resource (78 pages) : illustrations |
| Collana | NASA/CR |
| Soggetto topico |
Exponential functions
Computer programs Mathematical models Computer systems performance Failure analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910709751403321 |
|
Miller Douglas R.
|
||
| Washington, D.C. : , : National Aeronautics and Space Administration, Scientific and Technical Information Branch, , July 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal verification of AI software [[electronic resource] /] / John Rushby, R. Alan Whitehurst
| Formal verification of AI software [[electronic resource] /] / John Rushby, R. Alan Whitehurst |
| Autore | Rushby John <1949-> |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] |
| Descrizione fisica | 1 volume |
| Altri autori (Persone) | WhitehurstR. Alan |
| Collana | NASA contractor report |
| Soggetto topico |
Artificial intelligence
Computer systems performance Expert systems Logic programming Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910698990203321 |
|
Rushby John <1949->
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Overview of threats and failure models for safety-relevant computer-based systems / / Wilfredo Torres-Pomales
| Overview of threats and failure models for safety-relevant computer-based systems / / Wilfredo Torres-Pomales |
| Autore | Torres-Pomales Wilfredo |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2015 |
| Descrizione fisica | 1 online resource (v, 22 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Threat evaluation
Failure analysis Error analysis Computer systems performance Computer systems design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910704156903321 |
|
Torres-Pomales Wilfredo
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Review and synthesis of problems and directions for large scale geographic information system development / / A.R. Boyle [and four others]
| Review and synthesis of problems and directions for large scale geographic information system development / / A.R. Boyle [and four others] |
| Autore | Boyle A. Raymond |
| Pubbl/distr/stampa | Moffett Field, California : , : National Aeronautics and Space Administration, Ames Research Center, , [1983?] |
| Descrizione fisica | 1 online resource (vi, 73 pages) |
| Collana | NASA/CR |
| Soggetto topico |
Geographic information systems
Computer systems performance Computer graphics Data bases Systems analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910709650703321 |
|
Boyle A. Raymond
|
||
| Moffett Field, California : , : National Aeronautics and Space Administration, Ames Research Center, , [1983?] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SPAR improved structural/fluid dynamic analysis capability : final report / / M.L. Pearson
| SPAR improved structural/fluid dynamic analysis capability : final report / / M.L. Pearson |
| Autore | Pearson M. L. |
| Pubbl/distr/stampa | Marshall Space Flight Center, Alabama : , : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, , July 1985 |
| Descrizione fisica | 1 online resource (various pagings) : illustration |
| Collana | NASA/CR |
| Soggetto topico |
Structural design criteria
Dynamic structural analysis Computer programs Finite element method Computer systems performance |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SPAR improved structural/fluid dynamic analysis capability |
| Record Nr. | UNINA-9910709640303321 |
|
Pearson M. L.
|
||
| Marshall Space Flight Center, Alabama : , : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, , July 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Vector computer memory bank contention [[electronic resource] /] / David H. Bailey
| Vector computer memory bank contention [[electronic resource] /] / David H. Bailey |
| Autore | Bailey David H |
| Pubbl/distr/stampa | Palo Alto, Calif. : , : Informatics General Corp. |
| Descrizione fisica | 1 online resource (13 pages) : illustrations |
| Collana | NASA contractor report |
| Soggetto topico |
Central processing units
Chips (memory devices) Computer storage devices Computer systems performance Memory (computers) Supercomputers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702197003321 |
|
Bailey David H
|
||
| Palo Alto, Calif. : , : Informatics General Corp. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
