Ishai Rabinovitz

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Richard L. Graham, Manjunath Gorentla Venkata, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer
Cheetah: A Framework for Scalable Hierarchical Collective Operations. CCGRID (2011)
Manjunath Gorentla Venkata, Richard L. Graham, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer
ConnectX-2 CORE-Direct Enabled Asynchronous Broadcast Collective Communications. IPDPS Workshops (2011)
Richard L. Graham, Steve Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer
ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations. CCGRID (2010)
Richard L. Graham, Stephen W. Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer
Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities. IPDPS Workshops (2010)
Matthew J. Koop, Pavel Shamis, Ishai Rabinovitz, Dhabaleswar K. Panda
Designing high-performance and resilient message passing on InfiniBand. IPDPS Workshops (2010)
Ishai Rabinovitz, Pavel Shamis, Richard L. Graham, Noam Bloch, Gilad Shainer
Capabilities. EuroMPI (2010)
Galen M. Shipman, Stephen W. Poole, Pavel Shamis, Ishai Rabinovitz
X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters. PVM/MPI (2008)
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Supporting SAT based BMC on Finite Path Models. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia
Detecting Design Flaws in UML State Charts for Embedded Software. Haifa Verification Conference (2006)
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference (2006)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)
Ishai Rabinovitz, Orna Grumberg
Bounded Model Checking of Concurrent Programs. CAV (2005)
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV (2005)
Sharon Barner, Ishai Rabinovitz
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. CHARME (2003)