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.
Approximation methods for stochastic petri nets / : by Hauke Jörg Jungnitz
| Approximation methods for stochastic petri nets / : by Hauke Jörg Jungnitz |
| Autore | Jungnitz Hauke Jörg |
| Pubbl/distr/stampa | Troy, New York : , : Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Department, , May 1992 |
| Descrizione fisica | 1 online resource (viii, 170 pages) : illustrations |
| Collana |
NASA-CR
CIRSSE report |
| Soggetto topico |
Petri nets
Robotics SISO (control systems) Stochastic processes Synchronism |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Approximation methods for stochastic petri nets |
| Record Nr. | UNINA-9910704025003321 |
Jungnitz Hauke Jörg
|
||
| Troy, New York : , : Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Department, , May 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
| Correctness proof of 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
Synchronism Proving Stabilization Messages Protocol (computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701781103321 |
|
Malekpour Mahyar R
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A methodology for the design and verification of globally asynchronous/locally synchronous architectures [[electronic resource] /] / Steven P. Miller ... [and others]
| A methodology for the design and verification of globally asynchronous/locally synchronous architectures [[electronic resource] /] / Steven P. Miller ... [and others] |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] |
| Descrizione fisica | 1 online resource (vi, 35 pages) : illustrations |
| Altri autori (Persone) | MillerSteven P |
| Collana | NASA/CR |
| Soggetto topico |
Complex systems
Program verification (computers) Synchronism Proving Computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701385203321 |
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker
| Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker |
| Autore | Easwaran Arvind |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
| Descrizione fisica | 1 online resource (30 pages) : color illustrations |
| Collana | [NASA contractor report] |
| Soggetto topico |
Clocks
Fault tolerance Synchronism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702453003321 |
|
Easwaran Arvind
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and analysis of mixed synchronous/asynchronous systems / / Kevin R. Driscoll, Gabor Madl, and Brendan Hall
| Modeling and analysis of mixed synchronous/asynchronous systems / / Kevin R. Driscoll, Gabor Madl, and Brendan Hall |
| Autore | Driscoll Kevin R. |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
| Descrizione fisica | 1 online resource (38 pages) : color illustrations |
| Collana | [NASA contractor report] |
| Soggetto topico |
Design analysis
Synchronism Interfaces Telecommunication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Modeling and analysis of mixed synchronous asynchronous systems |
| Record Nr. | UNINA-9910702453103321 |
|
Driscoll Kevin R.
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Numerical studies of an array of fluidic diverter actuators for flow control [[electronic resource] /] / Suleyman A. Gokoglu ... [and others]
| Numerical studies of an array of fluidic diverter actuators for flow control [[electronic resource] /] / Suleyman A. Gokoglu ... [and others] |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] |
| Descrizione fisica | 1 online resource (14 pages) : illustrations (some color) |
| Altri autori (Persone) | GokogluSuleyman A (Suleyman Akif) |
| Collana | NASA/TM |
| Soggetto topico |
Actuators
Boundary conditions Turbomachinery Fluidics Synchronism Perturbation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701572403321 |
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Synchronism
(6)
- Clocks (2)
- Proving (2)
- Actuators (1)
- Boundary conditions (1)