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.
Achieving agreement in three rounds with bounded-Byzantine faults / / Mahyar R. Malekpour
| Achieving agreement in three rounds with bounded-Byzantine faults / / Mahyar R. Malekpour |
| Autore | Malekpour Mahyar R. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 |
| Descrizione fisica | 1 online resource (ii, 35 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Program verification (computers)
Fault tolerance Distributed processing Time synchronization Fault detection |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910704022803321 |
Malekpour Mahyar R.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adapting a Navier-Stokes code to the ICL-DAP [[electronic resource] /] / Chester E. Grosch
| Adapting a Navier-Stokes code to the ICL-DAP [[electronic resource] /] / Chester E. Grosch |
| Autore | Grosch C. E |
| Pubbl/distr/stampa | Hampton, Va : , : National Aeronuatics and Space Administration, Langley Research Center : , : Institute for Computer Applications in Science and Engineering, , [1985] |
| Descrizione fisica | 1 volume |
| Collana |
NASA contractor report
ICASE report |
| Soggetto topico |
Algorithms
Architecture (computers) Distributed processing Navier-Stokes equation Parallel processing (computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910699255003321 |
|
Grosch C. E
|
||
| Hampton, Va : , : National Aeronuatics and Space Administration, Langley Research Center : , : Institute for Computer Applications in Science and Engineering, , [1985] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Aerospace Energy Systems Laboratory [[electronic resource] ] : hardware and software implementation / / Richard D. Glover and Nora O'Neill-Rood
| The Aerospace Energy Systems Laboratory [[electronic resource] ] : hardware and software implementation / / Richard D. Glover and Nora O'Neill-Rood |
| Autore | Glover Richard D |
| Pubbl/distr/stampa | Edwards, Calif. : , : National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, , 1989 |
| Descrizione fisica | 1 online resource (17 pages) : illustrations |
| Altri autori (Persone) | O'Neill-RoodNora |
| Collana | NASA technical memorandum |
| Soggetto topico |
Aircraft power supplies
Computer techniques Distributed processing Electric batteries Test facilities |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Aerospace Energy Systems Laboratory |
| Record Nr. | UNINA-9910695121803321 |
|
Glover Richard D
|
||
| Edwards, Calif. : , : National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Developing CORBA-based distributed scientific applications from legacy Fortran programs / / Janche Sang, Chan Kim, Isaac Lopez
| Developing CORBA-based distributed scientific applications from legacy Fortran programs / / Janche Sang, Chan Kim, Isaac Lopez |
| Autore | Sang Janche |
| Pubbl/distr/stampa | Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center : , : U.S. Army Research Laboratory, , July 2000 |
| Descrizione fisica | 1 online resource (7 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Applications programs (computers)
FORTRAN Architecture (computers) Object-oriented programming Distributed processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Developing Common Object Request Broker Architecture-based distributed scientific applications from legacy Formula Translation programs |
| Record Nr. | UNINA-9910707859403321 |
|
Sang Janche
|
||
| Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center : , : U.S. Army Research Laboratory, , July 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Display system software for the integration of an ADAGE 3000 programmable display generator into the solid modeling package C.A.D. software [[electronic resource] /] / R. J. Montoya and Harold H. Lane, Jr
| Display system software for the integration of an ADAGE 3000 programmable display generator into the solid modeling package C.A.D. software [[electronic resource] /] / R. J. Montoya and Harold H. Lane, Jr |
| Autore | Montoya R. J (R. Jorge) |
| Pubbl/distr/stampa | Research Triangle Park, N.C. : , : Research Triangle Institute |
| Descrizione fisica | 1 online resource (ix, 148 pages) : illustrations |
| Altri autori (Persone) | LaneHarold H |
| Collana | NASA contractor report |
| Soggetto topico |
Computer aided design
Computer graphics Computer programs Display devices Distributed processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702000403321 |
|
Montoya R. J (R. Jorge)
|
||
| Research Triangle Park, N.C. : , : Research Triangle Institute | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Large-scale structural analysis [[electronic resource] ] : the structural analyst, the CSM Testbed, and the NAS system / / Norman F. Knight, Jr. ... [and others]
| Large-scale structural analysis [[electronic resource] ] : the structural analyst, the CSM Testbed, and the NAS system / / Norman F. Knight, Jr. ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] |
| Descrizione fisica | vi, 97 pages : digital, PDF file |
| Altri autori (Persone) | KnightNorman F |
| Collana | NASA technical memorandum |
| Soggetto topico |
Architecture (computers)
Computer aided design Distributed processing Structural analysis Systems integration |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Large-scale structural analysis |
| Record Nr. | UNINA-9910697893403321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
| Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour |
| Autore | Malekpour Mahyar R |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (vi, 24 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Clocks
Stabilization Distributed processing Time synchronization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701156903321 |
|
Malekpour Mahyar R
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon
| Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon |
| Autore | Simon Stefan |
| Pubbl/distr/stampa | Berlin : , : Logos Verlag Berlin GmbH, , [2015] |
| Descrizione fisica | 1 online resource (197 pages) |
| Disciplina | 005.1 |
| Collana | Forschungsberichte aus dem Lehrstuhl für Regelungssysteme |
| Soggetto topico |
Software engineering
System design Engine monitoring instruments Distributed processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-8325-9516-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910467266003321 |
|
Simon Stefan
|
||
| Berlin : , : Logos Verlag Berlin GmbH, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon
| Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon |
| Autore | Simon Stefan |
| Pubbl/distr/stampa | Berlin : , : Logos Verlag Berlin GmbH, , [2015] |
| Descrizione fisica | 1 online resource (197 pages) |
| Disciplina | 005.1 |
| Collana | Forschungsberichte aus dem Lehrstuhl für Regelungssysteme |
| Soggetto topico |
Software engineering
System design Engine monitoring instruments Distributed processing |
| ISBN | 3-8325-9516-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910795582903321 |
|
Simon Stefan
|
||
| Berlin : , : Logos Verlag Berlin GmbH, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon
| Objektorientierte Methoden zum automatisierten Entwurf von modellbasierten Diagnosesystemen / / von Stefan Simon |
| Autore | Simon Stefan |
| Pubbl/distr/stampa | Berlin : , : Logos Verlag Berlin GmbH, , [2015] |
| Descrizione fisica | 1 online resource (197 pages) |
| Disciplina | 005.1 |
| Collana | Forschungsberichte aus dem Lehrstuhl für Regelungssysteme |
| Soggetto topico |
Software engineering
System design Engine monitoring instruments Distributed processing |
| ISBN | 3-8325-9516-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910818921703321 |
|
Simon Stefan
|
||
| Berlin : , : Logos Verlag Berlin GmbH, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
