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.
A survey of verification techniques for parallel programs / Howard Barringer
| A survey of verification techniques for parallel programs / Howard Barringer |
| Autore | Barringer, Howard |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, ©1985 |
| Descrizione fisica | 115 p. : ill. ; 24 cm |
| Disciplina | 004.35 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Programmazione parallela |
| ISBN | 3-540-15239-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470570403321 |
| Barringer, Howard | ||
| Berlin ; Heidelberg : Springer-Verlag, ©1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to parallel programming / Peter S. Pacheco
| An introduction to parallel programming / Peter S. Pacheco |
| Autore | Pacheco, Peter S. |
| Pubbl/distr/stampa | Amsterdam : Elsevier : Morgan Kaufmann, ©2011 |
| Descrizione fisica | xix, 370 p. : ill. ; 24 cm |
| Disciplina | 005.2'75 |
| Soggetto non controllato | Programmazione parallela |
| ISBN | 978-0-12-374260-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010099410403321 |
Pacheco, Peter S.
|
||
| Amsterdam : Elsevier : Morgan Kaufmann, ©2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concurrency in programming and database systems / Arthur J. Bernstein, Philip M. Lewis
| Concurrency in programming and database systems / Arthur J. Bernstein, Philip M. Lewis |
| Autore | Bernstein, Arthur J. |
| Pubbl/distr/stampa | Boston [MA] : Jones and Bartlett, c1993 |
| Descrizione fisica | XVII, 548 p. ; 24 cm |
| Disciplina | 005.11 |
| Soggetto non controllato |
Databases - Teoria
Programmazione parallela |
| ISBN | 0-86720-205-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001323360403321 |
|
Bernstein, Arthur J.
|
||
| Boston [MA] : Jones and Bartlett, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concurrent and distributed computing in Java [Risorsa elettronica] / Vijay K. Garg
| Concurrent and distributed computing in Java [Risorsa elettronica] / Vijay K. Garg |
| Autore | Garg, Vijay Kumar |
| Pubbl/distr/stampa | [Piscataway, N. J.] : IEEE |
| Disciplina | 005.275 |
| Soggetto non controllato |
Programmazione parallela
Java |
| ISBN | 9780471721277 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009791750403321 |
|
Garg, Vijay Kumar
|
||
| [Piscataway, N. J.] : IEEE | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot
| CUDA by example : an introduction to general-purpose GPU programming / Jason Sanders, Edward Kandrot |
| Autore | Sanders, Jason |
| Pubbl/distr/stampa | Upper Saddle river, N.J. : Addison-Wesley, ©2011 |
| Descrizione fisica | 290 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Kandrot, Edward |
| Soggetto non controllato |
Software - Sviluppo
Architettura del computer Programmazione parallela |
| ISBN | 978-0-13-138768-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009270680403321 |
|
Sanders, Jason
|
||
| Upper Saddle river, N.J. : Addison-Wesley, ©2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CUDA for engineers : an introduction to high-performance parallel computing / Duane Storti, Mete Yurtoglu
| CUDA for engineers : an introduction to high-performance parallel computing / Duane Storti, Mete Yurtoglu |
| Autore | Storti, Duane |
| Pubbl/distr/stampa | New York ; Boston : Addison-Wesley, 2016 |
| Descrizione fisica | xix, 328 p. : ill. ; 24 cm |
| Disciplina | 004.35 |
| Altri autori (Persone) | Yurtoglu, Mete |
| Soggetto non controllato |
Programmazione parallela
Elaborazione parallela Software - Sviluppo CUDA - Architettura del computer |
| ISBN | 9780134177410 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010051780403321 |
|
Storti, Duane
|
||
| New York ; Boston : Addison-Wesley, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CUDA programming : a developer's guide to parallel computing with GPUs / Shane Cook
| CUDA programming : a developer's guide to parallel computing with GPUs / Shane Cook |
| Autore | Cook, Shane |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, : Morgan Kaufmann, 2013 |
| Descrizione fisica | 576 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Soggetto non controllato | Programmazione parallela |
| ISBN | 9780124159334 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910553601103321 |
|
Cook, Shane
|
||
| Amsterdam, : Elsevier, : Morgan Kaufmann, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Designing and building parallel programs : concepts and tools for parallel software engineering / Ian T. Foster
| Designing and building parallel programs : concepts and tools for parallel software engineering / Ian T. Foster |
| Autore | Foster, Ian T. |
| Pubbl/distr/stampa | Reading [Mass.] : Addison-Wesley, c1995 |
| Descrizione fisica | xii, 379 p. : ill., col. ; 23 cm |
| Disciplina | 005.2 |
| Soggetto non controllato | Programmazione parallela |
| ISBN | 0-201-57594-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001487560403321 |
|
Foster, Ian T.
|
||
| Reading [Mass.] : Addison-Wesley, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Heterogeneous computing with OpenCL 2.0 / David Kaeli ... [et al.]
| Heterogeneous computing with OpenCL 2.0 / David Kaeli ... [et al.] |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier : Morgan Kaufmann, ©2015 |
| Descrizione fisica | xxi, 307 p. : ill. ; 24 cm |
| Disciplina | 005.2752 |
| Soggetto non controllato |
Programmazione parallela
Linguaggi di programmazione - OpenCL 2.0 |
| ISBN | 978-0-12-801414-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010102320403321 |
| Amsterdam ; Boston : Elsevier : Morgan Kaufmann, ©2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Highly parallel computing / George S. Almasi, Allan Gottlieb
| Highly parallel computing / George S. Almasi, Allan Gottlieb |
| Autore | Almasi, George S. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Redwood City : The Benjamin Cummings publishing company, c1994 |
| Descrizione fisica | XXVI, 689 p. : ill. ; 24 cm |
| Disciplina | 004.35 |
| Altri autori (Persone) | Gottlieb, Allan |
| Soggetto non controllato |
Programmazione parallela
Calcolo parallelo |
| ISBN | 0-8053-0443-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000126150403321 |
| Almasi, George S. | ||
| Redwood City : The Benjamin Cummings publishing company, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
