High performance computing : paradigm and infrastructure / edited by Laurence T. Yang, Minyi Guo |
Pubbl/distr/stampa | Hoboken, : Wiley Interscience, c2006 |
Descrizione fisica | XXXVII, 778 p. ; 24 cm. |
Disciplina |
004
004.35 |
Collana | Wiley series on parallel and distributed computing |
Soggetto topico |
Elaborazione parallela dei dati
Elaborazione distribuita Elaboratori - Valutazione |
ISBN |
047165471X
9780471654711 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-UBO2988201 |
Hoboken, : Wiley Interscience, c2006 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled |
Autore | Clarke, Edmund M. <1945- > |
Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT press, 1999 |
Descrizione fisica | XIV, 314 p. : ill. ; 24 cm. |
Disciplina |
004.2
004.21 |
Altri autori (Persone) |
Grumberg, Orna
Peled, Doron A. <1962- > |
Soggetto topico | Elaboratori - Valutazione |
ISBN | 0262032708 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNISANNIO-RMS0080223 |
Clarke, Edmund M. <1945- >
![]() |
||
Cambridge, Mass. ; London, : The MIT press, 1999 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
The art of computer systems performance analysis : techniques for expreimental design, measurement / Raj Jain |
Autore | JAIN, Raj |
Pubbl/distr/stampa | New York [etc.] : John Wiley & Sons, 1991 |
Descrizione fisica | XXVII, 685 p. ; 24 cm |
Disciplina | 004.24 |
Collana | Wiley Professional Computing |
Soggetto topico | Elaboratori - Valutazione |
ISBN | 978-0-471-50336-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996233443103316 |
JAIN, Raj
![]() |
||
New York [etc.] : John Wiley & Sons, 1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling / Raj Jain |
Autore | Jain, Raj |
Pubbl/distr/stampa | New York [etc.], : Wiley, c1991 |
Descrizione fisica | XXVII, 685 p. ; 25 cm. |
Disciplina |
004.2
004.24 |
Collana | Wiley professional computing |
Soggetto topico | Elaboratori - Valutazione |
ISBN | 0471503363 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-MIL0102482 |
Jain, Raj
![]() |
||
New York [etc.], : Wiley, c1991 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|