List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Data distribution in a peer to peer storage system Journal of Grid Computing | 2006-11-17 | Paper |
| A parallelization scheme based on work stealing for a class of SAT solvers Journal of Automated Reasoning | 2006-01-23 | Paper |
| scientific article; zbMATH DE number 1863348 (Why is no real title available?) | 2003-02-04 | Paper |
| Parallelizing SATZ using dynamic workload balancing | 2001-09-24 | Paper |
| Formal validation of data-parallel programs: a two-component assertional proof system for a simple language Theoretical Computer Science | 1998-06-30 | Paper |
| Deadlock-free absorption of barrier synchronisations Information Processing Letters | 1997-02-27 | Paper |
Research outcomes over time
This page was built for person: Gil Utard
