The following pages link to Gil Utard (Q812441):
Displayed 6 items.
- A parallelization scheme based on work stealing for a class of SAT solvers (Q812442) (← links)
- Data distribution in a peer to peer storage system (Q851166) (← links)
- Deadlock-free absorption of barrier synchronisations (Q1350300) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- (Q2741522) (← links)
- (Q4790612) (← links)