Author of the publication

A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.

, , and . J. Autom. Reason., 34 (1): 73-101 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Improving MPI-I/O Performance on PVFS., , and . Euro-Par, volume 2150 of Lecture Notes in Computer Science, page 911-915. Springer, (2001)On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language., , , and . CONPAR, volume 854 of Lecture Notes in Computer Science, page 100-111. Springer, (1994)Impact of reordering on the memory of a multifrontal solver., , and . Parallel Comput., 29 (9): 1191-1218 (2003)Parallel out-of-core sorting and fast accesses to disks., , , , and . Int. J. High Perform. Comput. Netw., 3 (2/3): 188-202 (2005)Calcul sur les données volumineuses et stockage distribué à grande échelle.. (2023)A Proofe System for a Simple Data-Parallel Programming Language., , , and . Applications in Parallel and Distributed Computing, volume A-44 of IFIP Transactions, page 63-72. North-Holland, (1994)Improving Cluster IO Performance with Remote Efficient Access to Distant Device., , and . LCN, page 629-635. IEEE Computer Society, (2002)READ2: Put disks at network level., , and . CCGRID, page 698-704. IEEE Computer Society, (2003)Adaptive paging for a multifrontal solver., , and . ICS, page 267-276. ACM, (2004)U-RPC: a Protocol for Microservices in DHT., , and . SoICT, page 317-324. ACM, (2017)