CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishCumulating search in a distributed computing environment: a case study in parallel satisfiability / Hantao Zhang; Maria Paola Bonacina. - STAMPA. - 5(1994), pp. 422-431. ((Intervento presentato al convegno First International Symposium on Parallel Symbolic Computation (PASCO) tenutosi a Schloss Hagenberg, Linz, Austria nel September 1994.
| Titolo: | Cumulating search in a distributed computing environment: a case study in parallel satisfiability |
| Autori: | |
| Data di pubblicazione: | 1994 |
| Handle: | http://hdl.handle.net/11562/16053 |
| ISBN: | 9789810220402 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018