Ishai Rabinovitz

According to our database, Ishai Rabinovitz authored at least 14 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

ConnectX-2 CORE-Direct Enabled Asynchronous Broadcast Collective Communications.

Manjunath Gorentla Venkata, Richard L. Graham, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Cheetah: A Framework for Scalable Hierarchical Collective Operations.

Richard L. Graham, Manjunath Gorentla Venkata, Joshua Ladd, Pavel Shamis, Ishai Rabinovitz, Vasily Filipov, Gilad Shainer

Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

2010

Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-<i>Direct</i> Capabilities.

Ishai Rabinovitz, Pavel Shamis, Richard L. Graham, Noam Bloch, Gilad Shainer

Proceedings of the Recent Advances in the Message Passing Interface, 2010

Designing high-performance and resilient message passing on InfiniBand.

Matthew J. Koop, Pavel Shamis, Ishai Rabinovitz, Dhabaleswar K. Panda

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities.

Richard L. Graham, Stephen W. Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations.

Richard L. Graham, Steve Poole, Pavel Shamis, Gil Bloch, Noam Bloch, Hillel Chapman, Michael Kagan, Ariel Shahar, Ishai Rabinovitz, Gilad Shainer

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2008

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

Galen M. Shipman, Stephen W. Poole, Pavel Shamis, Ishai Rabinovitz

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Detecting Design Flaws in UML State Charts for Embedded Software.

Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia

Proceedings of the Hardware and Software, 2006

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz

Proceedings of the Hardware and Software, 2006

2005

Supporting SAT based BMC on Finite Path Models.

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

Bounded Model Checking of Concurrent Programs.

Ishai Rabinovitz, Orna Grumberg

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Wolf - Bug Hunter for Concurrent Software Using Formal Methods.

Sharon Barner, Ziv Glazberg, Ishai Rabinovitz

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.

Sharon Barner, Ishai Rabinovitz

Proceedings of the Correct Hardware Design and Verification Methods, 2003