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.
2009 First International Conference on Advances in System Testing and Validation Lifecycle
| 2009 First International Conference on Advances in System Testing and Validation Lifecycle |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2009 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 001.64250287 |
| Soggetto topico |
Computer programs - Testing
Computer programs - Validation |
| ISBN |
9781509070244
1509070249 9780769537740 076953774X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138941203321 |
| [Place of publication not identified], : IEEE, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Experimental validation of clock synchronization algorithms / / Daniel L. Palumbo, R. Lynn Graham
| Experimental validation of clock synchronization algorithms / / Daniel L. Palumbo, R. Lynn Graham |
| Autore | Palumbo Daniel L. |
| Pubbl/distr/stampa | Washington, DC : , : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, , [July 1992] |
| Descrizione fisica | 1 online resource (approximately 26 pages) : illustrations |
| Collana | NASA/TP |
| Soggetto topico |
Proving
Computer systems programs Data processing Synchronization Electronic data processing - Distributed processing Computer programs - Validation Computer programs - Verification Real-time data processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910717004303321 |
Palumbo Daniel L.
|
||
| Washington, DC : , : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, , [July 1992] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guidance for the verification and validation of neural networks / / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah
| Guidance for the verification and validation of neural networks / / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah |
| Autore | Pullum Laura L. |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society, , c2007 |
| Descrizione fisica | 1 PDF (ix, 133 pages) : illustrations |
| Disciplina | 006.32 |
| Altri autori (Persone) |
TaylorBrian J
DarrahMajorie A |
| Collana | Emerging technologies |
| Soggetto topico |
Neural networks (Computer science)
Computer programs - Validation Computer programs - Verification Neural networks (Computer science) - Validation Computer programs Engineering & Applied Sciences Computer Science |
| ISBN | 1-119-13467-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Areas of consideration for adaptive systems -- Verification and validation of neural networks-guidance -- Recent changes to IEEE std 1012. |
| Record Nr. | UNINA-9910138899403321 |
|
Pullum Laura L.
|
||
| Hoboken, New Jersey : , : IEEE Computer Society, , c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guidance for the verification and validation of neural networks / / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah
| Guidance for the verification and validation of neural networks / / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah |
| Autore | Pullum Laura L. |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society, , c2007 |
| Descrizione fisica | 1 PDF (ix, 133 pages) : illustrations |
| Disciplina | 006.32 |
| Altri autori (Persone) |
TaylorBrian J
DarrahMajorie A |
| Collana | Emerging technologies |
| Soggetto topico |
Neural networks (Computer science)
Computer programs - Validation Computer programs - Verification Neural networks (Computer science) - Validation Computer programs Engineering & Applied Sciences Computer Science |
| ISBN | 1-119-13467-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Areas of consideration for adaptive systems -- Verification and validation of neural networks-guidance -- Recent changes to IEEE std 1012. |
| Record Nr. | UNINA-9910831173403321 |
|
Pullum Laura L.
|
||
| Hoboken, New Jersey : , : IEEE Computer Society, , c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016/Cor1-2017) : IEEE standard for system, software, and hardware verification and validation / / Institute of Electrical and Electronics Engineers
| IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016/Cor1-2017) : IEEE standard for system, software, and hardware verification and validation / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (260 pages) |
| Disciplina | 005.14 |
| Collana | IEEE Std |
| Soggetto topico |
Computer software - Verification
Computer programs - Validation |
| ISBN | 1-5044-1812-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1012-2016 |
| Record Nr. | UNINA-9910220522703321 |
| New York, New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016/Cor1-2017) : IEEE standard for system, software, and hardware verification and validation / / Institute of Electrical and Electronics Engineers
| IEEE Std 1012-2016 (Revision of IEEE Std 1012-2012/ Incorporates IEEE Std 1012-2016/Cor1-2017) : IEEE standard for system, software, and hardware verification and validation / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2017 |
| Descrizione fisica | 1 online resource (260 pages) |
| Disciplina | 005.14 |
| Collana | IEEE Std |
| Soggetto topico |
Computer software - Verification
Computer programs - Validation |
| ISBN | 1-5044-1812-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1012-2016 |
| Record Nr. | UNISA-996280341503316 |
| New York, New York : , : IEEE, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
LOFT input dataset reference document for RELAP5 validation studies / / prepared by J.C. Birchley
| LOFT input dataset reference document for RELAP5 validation studies / / prepared by J.C. Birchley |
| Autore | Birchley J. C. |
| Pubbl/distr/stampa | Washington, DC : , : Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, , April 1992 |
| Descrizione fisica | 1 online resource (x, 78 pages) : illustrations |
| Collana | International agreement report |
| Soggetto topico |
Pressurized water reactors - Accidents - Computer programs
Computer programs - Validation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707782003321 |
|
Birchley J. C.
|
||
| Washington, DC : , : Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, , April 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The verification and validation of the Ray-tracing of Bag of Triangles (BoTs) / / Charith Ranawake
| The verification and validation of the Ray-tracing of Bag of Triangles (BoTs) / / Charith Ranawake |
| Autore | Ranawake Charith |
| Pubbl/distr/stampa | Aberdeen Proving Ground, MD : , : Army Research Laboratory, , February 2015 |
| Descrizione fisica | 1 online resource (18 unnumbered pages) : illustrations |
| Soggetto topico |
Computer-aided design
Ray tracing algorithms Computer programs - Validation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Verification and validation of the Ray-tracing of Bag of Triangles |
| Record Nr. | UNINA-9910706744503321 |
|
Ranawake Charith
|
||
| Aberdeen Proving Ground, MD : , : Army Research Laboratory, , February 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
