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 |
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] |
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 |
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 |
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] |
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 | ||
|