From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters.

G. Shipman, S. Poole, P. Shamis, и I. Rabinovitz. PVM/MPI, том 5205 из Lecture Notes in Computer Science, стр. 33-42. Springer, (2008)

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.

Ishai Dror

Другие публикации лиц с тем же именем

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.S. Barner, C. Eisner, Z. Glazberg, D. Kroening, и I. Rabinovitz. Haifa Verification Conference, том 4383 из Lecture Notes in Computer Science, стр. 138-154. Springer, (2006)Designing high-performance and resilient message passing on InfiniBand.M. Koop, P. Shamis, I. Rabinovitz, и D. Panda. IPDPS Workshops, стр. 1-7. IEEE, (2010)Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-Direct Capabilities.I. Rabinovitz, P. Shamis, R. Graham, N. Bloch, и G. Shainer. EuroMPI, том 6305 из Lecture Notes in Computer Science, стр. 102-112. Springer, (2010)Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.S. Barner, и I. Rabinovitz. CHARME, том 2860 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2003)Cheetah: A Framework for Scalable Hierarchical Collective Operations.R. Graham, M. Venkata, J. Ladd, P. Shamis, I. Rabinovitz, V. Filipov, и G. Shainer. CCGRID, стр. 73-83. IEEE Computer Society, (2011)Formal verification of concurrent software: two case studies.H. Chockler, E. Farchi, Z. Glazberg, B. Godlin, Y. Nir-Buchbinder, и I. Rabinovitz. PADTAD, стр. 11-22. ACM, (2006)Bounded Model Checking of Concurrent Programs.I. Rabinovitz, и O. Grumberg. CAV, том 3576 из Lecture Notes in Computer Science, стр. 82-97. Springer, (2005)ConnectX-2 CORE-Direct Enabled Asynchronous Broadcast Collective Communications.M. Venkata, R. Graham, J. Ladd, P. Shamis, I. Rabinovitz, V. Filipov, и G. Shainer. IPDPS Workshops, стр. 781-787. IEEE, (2011)X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters.G. Shipman, S. Poole, P. Shamis, и I. Rabinovitz. PVM/MPI, том 5205 из Lecture Notes in Computer Science, стр. 33-42. Springer, (2008)Detecting Design Flaws in UML State Charts for Embedded Software.J. Elamkulam, Z. Glazberg, I. Rabinovitz, G. Kowlali, S. Gupta, S. Kohli, S. Dattathrani, и C. Macia. Haifa Verification Conference, том 4383 из Lecture Notes in Computer Science, стр. 109-121. Springer, (2006)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Ishai Dror

Другие публикации лиц с тем же именем

Disambiguation