Autor der Publikation

Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.

, , und . POS@SAT, Volume 3545 von CEUR Workshop Proceedings, Seite 35-45. CEUR-WS.org, (2023)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Impact of Clustering on Token-Based Mutual Exclusion Algorithms., , , und . Euro-Par, Volume 5168 von Lecture Notes in Computer Science, Seite 565-575. Springer, (2008)PaInleSS: A Framework for Parallel SAT Solving., , , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 233-250. Springer, (2017)Alternating MPR: a balanced broadcast algorithm for MANETs., , , und . NCA, Seite 19-26. IEEE, (2022)Mapping the allocation of resources for 5G slices to the k-MUTEX with n instances of m resources problem., , , und . CNSM, Seite 318-322. IEEE Computer Society, (2018)OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms., , , , und . PRDC, Seite 150-160. IEEE, (2023)Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 135-151. Springer, (2019)MERCi-MIsS: Should I Turn off My Servers?, , , und . DAIS, Volume 9038 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2015)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2008)Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance., , , , , , , , und . USENIX Annual Technical Conference, Seite 435-448. USENIX Association, (2020)BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing., , , , und . NSDI, Seite 487-501. USENIX Association, (2021)