( en | de | ru )

 

Disambiguierung von "Utard, Gil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mariana Gil

Horst Gil

Gil Benkö

Isabelle Gil

Thomas Gil

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language., , , und . CONPAR, Volume 854 von Lecture Notes in Computer Science, Seite 100-111. Springer, (1994)Improving MPI-I/O Performance on PVFS., , und . Euro-Par, Volume 2150 von Lecture Notes in Computer Science, Seite 911-915. Springer, (2001)Impact of reordering on the memory of a multifrontal solver., , und . Parallel Comput., 29 (9): 1191-1218 (2003)Parallel out-of-core sorting and fast accesses to disks., , , , und . 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., , , und . Applications in Parallel and Distributed Computing, Volume A-44 von IFIP Transactions, Seite 63-72. North-Holland, (1994)Improving Cluster IO Performance with Remote Efficient Access to Distant Device., , und . LCN, Seite 629-635. IEEE Computer Society, (2002)READ2: Put disks at network level., , und . CCGRID, Seite 698-704. IEEE Computer Society, (2003)Adaptive paging for a multifrontal solver., , und . ICS, Seite 267-276. ACM, (2004)U-RPC: a Protocol for Microservices in DHT., , und . SoICT, Seite 317-324. ACM, (2017)