Gil Utard

From MaRDI portal
Person:812441

Available identifiers

zbMath Open utard.gilMaRDI QIDQ812441

List of research outcomes





PublicationDate of PublicationType
Data distribution in a peer to peer storage system2006-11-17Paper
A parallelization scheme based on work stealing for a class of SAT solvers2006-01-23Paper
https://portal.mardi4nfdi.de/entity/Q47906122003-02-04Paper
Parallelizing SATZ using dynamic workload balancing2001-09-24Paper
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language1998-06-30Paper
Deadlock-free absorption of barrier synchronisations1997-02-27Paper

Research outcomes over time

This page was built for person: Gil Utard

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:812441&oldid=7664746"
Powered by MediaWiki