PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rabinovitz, Ishai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cheetah: A Framework for Scalable Hierarchical Collective Operations.

, , , , , , und . CCGRID, Seite 73-83. IEEE Computer Society, (2011)

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.

Keine Personen gefunden für den Autorennamen Rabinovitz, Ishai
Eine Person hinzufügen mit dem Namen Rabinovitz, Ishai
 

Weitere Publikationen von Autoren mit dem selben Namen

Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-Direct Capabilities., , , , und . EuroMPI, Volume 6305 von Lecture Notes in Computer Science, Seite 102-112. Springer, (2010)Designing high-performance and resilient message passing on InfiniBand., , , und . IPDPS Workshops, Seite 1-7. IEEE, (2010)ExpliSAT: Guiding SAT-Based Software Verification with Explicit States., , , , und . Haifa Verification Conference, Volume 4383 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2006)Cheetah: A Framework for Scalable Hierarchical Collective Operations., , , , , , und . CCGRID, Seite 73-83. IEEE Computer Society, (2011)Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning., und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2003)ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations., , , , , , , , , und . CCGRID, Seite 53-62. IEEE Computer Society, (2010)Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities., , , , , , , , , und . IPDPS Workshops, Seite 1-8. IEEE, (2010)Wolf - Bug Hunter for Concurrent Software Using Formal Methods., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 153-157. Springer, (2005)X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters., , , und . PVM/MPI, Volume 5205 von Lecture Notes in Computer Science, Seite 33-42. Springer, (2008)Detecting Design Flaws in UML State Charts for Embedded Software., , , , , , , und . Haifa Verification Conference, Volume 4383 von Lecture Notes in Computer Science, Seite 109-121. Springer, (2006)