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.
Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño
| Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño |
| Autore | Siminiceanu Radu I |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (31 pages) |
| Altri autori (Persone) | CatañoNéstor |
| Collana | NASA/CR |
| Soggetto topico |
Program verification (computers)
Specifications Approach control Data flow analysis Algorithms Parallel programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701132303321 |
Siminiceanu Radu I
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONPAR 81 : conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981, proceedings / edited by Wolfgang Handler
| CONPAR 81 : conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981, proceedings / edited by Wolfgang Handler |
| Autore | Handler, Wolfgang |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | xi, 507 p. : ill. ; 25 cm. |
| Disciplina | 001.64 |
| Soggetto topico |
Parallel processing
Parallel programming |
| ISBN | 0387108270 |
| Classificazione |
AMS 68Q
AMS 68Q10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783089707536 |
|
Handler, Wolfgang
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The design and analysis of parallel algorithms / Selim G. Akl
| The design and analysis of parallel algorithms / Selim G. Akl |
| Autore | Akl, Selim G. |
| Pubbl/distr/stampa | Englewood Cliffs, N.J. : Prentice Hall, c1989 |
| Descrizione fisica | xiii, 401 p. : ill. ; 25 cm. |
| Soggetto topico |
Computer algorithms
Computer science Parallel programming |
| ISBN | 0132000563 |
| Classificazione |
AMS 68Q22
CR G.1.0 QA76.6.A38 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000810219707536 |
|
Akl, Selim G.
|
||
| Englewood Cliffs, N.J. : Prentice Hall, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Experiences with serial and parallel algorithms for channel routing using simulated annealing [[electronic resource] /] / by Randall Jay Brouwer
| Experiences with serial and parallel algorithms for channel routing using simulated annealing [[electronic resource] /] / by Randall Jay Brouwer |
| Autore | Brouwer Randall Jay |
| Pubbl/distr/stampa | Hampton, Va. : , : NASA Langley Research Center, , [1988] |
| Descrizione fisica | 1 online resource (ix, 48 pages) : illustrations |
| Collana | NASA contractor report |
| Soggetto topico |
Algorithms
Annealing Channels (data transmission) Hypercube multiprocessors Optimization Parallel programming Simulated annealing Superconducting devices |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702360303321 |
|
Brouwer Randall Jay
|
||
| Hampton, Va. : , : NASA Langley Research Center, , [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
File concepts for parallel I/O [[electronic resource] /] / Thomas W. Crockett
| File concepts for parallel I/O [[electronic resource] /] / Thomas W. Crockett |
| Autore | Crockett Thomas W |
| Pubbl/distr/stampa | Hampton, Va. : , : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, , [1989] |
| Descrizione fisica | 1 volume |
| Collana |
ICASE interim report
NASA contractor report |
| Soggetto topico |
Architecture (computers)
Input/output routines Multiple access Parallel processing (computers) Parallel programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910698997003321 |
|
Crockett Thomas W
|
||
| Hampton, Va. : , : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages for parallel architectures : design, semantics, implementation models / ed. J. W. de Bakker
| Languages for parallel architectures : design, semantics, implementation models / ed. J. W. de Bakker |
| Autore | Bakker, Jacobus Willem : de |
| Descrizione fisica | 273 p. ; 24 cm |
| Collana | Wiley series in parallel computing |
| Soggetto topico |
Computer architecture
Computer science Electronic computers Parallel programming Programming languages |
| ISBN | 0471921777 |
| Classificazione | QA76.6.L3353 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001057179707536 |
|
Bakker, Jacobus Willem : de
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Parallel Computation with the force [[electronic resource] /] / Harry F. Jordan
| Parallel Computation with the force [[electronic resource] /] / Harry F. Jordan |
| Autore | Jordan Harry F (Harry Frederick) |
| Pubbl/distr/stampa | [Boulder], Colo. : , : Dept. of Electrical and Computer Engineering |
| Descrizione fisica | 11 pages |
| Collana |
NASA contractor report
NASA-CR ICASE report |
| Soggetto topico |
Computer systems programs
Multiprocessing (computers) Multiprogramming Parallel programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701501603321 |
|
Jordan Harry F (Harry Frederick)
|
||
| [Boulder], Colo. : , : Dept. of Electrical and Computer Engineering | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Performance tradeoffs in static and dynamic load balancing strategies [[electronic resource] ] : final report / / M. Ashraf Iqbal, Joel H. Saltz, Shahid H. Bokhari
| Performance tradeoffs in static and dynamic load balancing strategies [[electronic resource] ] : final report / / M. Ashraf Iqbal, Joel H. Saltz, Shahid H. Bokhari |
| Autore | Iqbal M. Ashraf |
| Pubbl/distr/stampa | Hampton, Va. : , : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, , [1986] |
| Descrizione fisica | 1 online resource (23 pages) : illustrations |
| Altri autori (Persone) |
SaltzJoel
BokhariShahid H |
| Collana |
NASA contractor report
ICASE report |
| Soggetto topico |
Dynamic loads
Heuristic methods Multiprocessing (computers) Parallel programming Strategy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Performance tradeoffs in static and dynamic load balancing strategies |
| Record Nr. | UNINA-9910702127703321 |
|
Iqbal M. Ashraf
|
||
| Hampton, Va. : , : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, , [1986] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming with threads / Steve Kleiman, Devang Shah, Bart Smaalders
| Programming with threads / Steve Kleiman, Devang Shah, Bart Smaalders |
| Autore | Kleiman, Steve |
| Pubbl/distr/stampa | Mountain View, California : Sun Soft Press ; Upper Saddle River, NJ : Prentice Hall, c1996 |
| Descrizione fisica | xxviii, 534 p. : ill. ; 24 cm. |
| Disciplina | 005.2 |
| Altri autori (Persone) |
Shah, Devangauthor
Smaalders, Bartauthor |
| Soggetto topico |
Multitasking (Computer Science)
Parallel programming Synchronization |
| ISBN | 0131723898 |
| Classificazione | AMS 68N05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001267059707536 |
|
Kleiman, Steve
|
||
| Mountain View, California : Sun Soft Press ; Upper Saddle River, NJ : Prentice Hall, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
