Searching for authors named "Michael Rodeh" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Symmetry Breaking In Distributed Networks
- …# # SYMMETRY BREAKING IN DISTRIBUTED NETWORKS Alon Itai Michael Rodeh Computer Science Department…
- Cited by 51 (0 self) – Add To MetaCart
-
The Multi-Tree Approach to Reliability in Distributed Networks
- … Department Technion, Haifa, Israel Michael Rodeh IBM Israel Scientific Center, Technion City, Haifa, Israel…
- Cited by 47 (1 self) – Add To MetaCart
-
Finding Circular Attributes in Attribute Grammars
- …Finding Circular Attributes in Attribute Grammars Michael Rodeh # Mooly Sagiv + Abstract…
- Add To MetaCart
-
A Logic-Based Approach to Program Flow Analysis
- … Francez z the Technion Michael Rodeh x the Technion and IBM Haifa Research Lab Reinhard Wilhelm…
- Cited by 1 (0 self) – Add To MetaCart
-
On an Algorithm of Zemlyachenko for Subtree Isomorphism
- … On an Algorithm of Zemlyachenko for Subtree Isomorphism Yefim Dinitz Alon Itai Michael Rodeh…
- Cited by 1 (0 self) – Add To MetaCart
-
Virtual cache line: A new technique to improve cache exploitation for recursive data structures
- … Shai Rubin, David Bernstein, and Michael Rodeh IBM Research Lab in Haifa and Computer Science…
- Cited by 6 (0 self) – Add To MetaCart
-
An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle
- … for Extrema Finding in a Circle DANNY DOLEV, MARIA KLAWE, AND MICHAEL RODEH * IBM Research, K51-61 F, 5600…
- Cited by 48 (1 self) – Add To MetaCart
-
Matrix Multiplication: A Case Study of Algorithm Engineering
- …, Technion --- Israel Institute of Technology Haifa, 32000, Israel e-mail: nadav@(email omitted); Michael…
- Cited by 9 (1 self) – Add To MetaCart
-
Cleanness checking of string manipulations in C programs via integer analysis
- …? , Michael Rodeh 2 , and Mooly Sagiv 1 1 School of Computer Science, Tel-Aviv University, Israel fnurr…
- Cited by 37 (1 self) – Add To MetaCart
-
Checking Cleanness in Linked Lists
- …Checking Cleanness in Linked Lists Nurit Dor 1? , Michael Rodeh 2 , and Mooly Sagiv 1 1…
- Cited by 33 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
