| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Assaf Schuster Limor Fix , Orna Grumberg , Amnon Heyman , Tamir Heyman , Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005 : 11-25 Orna Grumberg , Tamir Heyman , Nili Ifergan , Assaf Schuster: Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME 2005 : 129-145 Denis Krivitski , Assaf Schuster, Ran Wolff : A Local Facility Location Algorithm for Sensor Networks. DCOSS 2005 : 368-375 Sergey Polyakov , Assaf Schuster: Verification of the Java Causality Requirements. Haifa Verification Conference 2005 : 224-246 Ohad Shacham , Mooly Sagiv , Assaf Schuster: Scaling model checking of dataraces using dynamic information. PPOPP 2005 : 107-118 Amir Bar-Or , Ran Wolff , Assaf Schuster, Daniel Keren : Decision Tree Induction in High Dimensional, Hierarchically Distributed Databases. SDM 2005 Orna Grumberg , Tamir Heyman , Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. Formal Methods in System Design 26 (2): 197-219 (2005) Amir Bar-Or , Daniel Keren , Assaf Schuster, Ran Wolff : Hierarchical Decision Tree Induction in Distributed Genomic Databases. IEEE Trans. Knowl. Data Eng. 17 (8): 1138-1151 (2005) Assaf Schuster, Ran Wolff , Dan Trock : A high-performance distributed algorithm for mining association rules. Knowl. Inf. Syst. 7 (4): 458-475 (2005) Assaf Schuster, Ran Wolff , Bobi Gilburd : Privacy-preserving association rule mining in large-scale distributed systems. CCGRID 2004 : 411-418 Yitzhak Birk , Liran Liss , Assaf Schuster, Ran Wolff : A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion. DISC 2004 : 275-289 Vadim Iosevich , Assaf Schuster: Distributed Shared Memory: To Relax or Not to Relax? Euro-Par 2004 : 198-205 Orna Grumberg , Assaf Schuster, Avi Yadgar : Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. FMCAD 2004 : 275-289 Bobi Gilburd , Assaf Schuster, Ran Wolff : Privacy-Preserving Data Mining on Data Grids in the Presence of Malicious Participants. HPDC 2004 : 225-234 Vadim Iosevich , Assaf Schuster: A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory. ICS 2004 : 306-315 Michael Factor , Assaf Schuster, Konstantin Shagin : A Distributed Runtime for Java: Yesterday and Today. IPDPS 2004 Vadim Iosevich , Assaf Schuster: Multithreaded Home-Based Lazy Release Consistency over VIA. IPDPS 2004 Bobi Gilburd , Assaf Schuster, Ran Wolff : k-TTP: a new privacy model for large-scale distributed environments. KDD 2004 : 563-568 Michael Factor , Assaf Schuster, Konstantin Shagin : Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach. OOPSLA 2004 : 288-300 Vlado Stankovski , Michael May , Jürgen Franke , Assaf Schuster, Damian McCourt , Werner Dubitzky : A Service-Centric Perspective for Data Mining in Complex Problem Solving Environments. PDPTA 2004 : 780-787 Assaf Schuster, Ran Wolff : Communication-Efficient Distributed Mining of Association Rules. Data Min. Knowl. Discov. 8 (2): 171-196 (2004) Orna Grumberg , Tamir Heyman , Assaf Schuster: A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV 2003 : 54-66 Michael Factor , Assaf Schuster, Konstantin Shagin : JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations. CLUSTER 2003 : 110-117 Emil-Dan Kohn , Assaf Schuster: A Transparent Software Distributed Shared Memory. Euro-Par 2003 : 1180-1189 Assaf Schuster, Ran Wolff , Dan Trock : A High-Performance Distributed Algorithm for Mining Association Rules. ICDM 2003 : 291-298 Ran Wolff , Assaf Schuster: Association Rule Mining in Peer-to-Peer Systems. ICDM 2003 : 363-370 Eli Poznianski , Assaf Schuster: Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. IPDPS 2003 : 287 Eli Pozniansky , Assaf Schuster: Efficient on-the-fly data race detection in multihreaded C++ programs. PPOPP 2003 : 179-190 Assaf Schuster: Scalable Distributed Model Checking: Experiences, Lessons, and Expectations. Electr. Notes Theor. Comput. Sci. 89 (1): (2003) Alex Gontmakher , Sergey Polyakov , Assaf Schuster: Complexity Of Verifying Java Shared Memory Execution. Parallel Processing Letters 13 (4): 721-733 (2003) Shoham Ben-David , Orna Grumberg , Tamir Heyman , Assaf Schuster: Scalable distributed on-the-fly symbolic model checking. STTT 4 (4): 496-504 (2003) Michael Factor , Assaf Schuster, Konstantin Shagin : Execution of monolithic Java programs on large non-dedicated collections of commodity workstations. Java Grande 2002 : 227 Tamir Heyman , Daniel Geist , Orna Grumberg , Assaf Schuster: A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods in System Design 21 (3): 317-338 (2002) Orna Grumberg , Tamir Heyman , Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. CAV 2001 : 350-362 Nitzan Niv , Assaf Schuster: Transparent Adaptation of Sharing Granularity in MultiView-Based DSM Systems. IPDPS 2001 : 38 Assaf Schuster, Ran Wolff : Communication Efficient Distributed Mining of Association Rules. SIGMOD Conference 2001 : 473-484 Roy Friedman , Eli Biham , Ayal Itzkovitz , Assaf Schuster: Symphony: An Infrastructure for Managing Virtual Servers. Cluster Computing 4 (3): 221-233 (2001) Nitzan Niv , Assaf Schuster: Transparent adaptation of sharing granularity in MultiView-based DSM systems. Softw., Pract. Exper. 31 (15): 1439-1459 (2001) Tamir Heyman , Daniel Geist , Orna Grumberg , Assaf Schuster: Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV 2000 : 20-35 Shoham Ben-David , Tamir Heyman , Orna Grumberg , Assaf Schuster: Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD 2000 : 390-404 Yariv Aridor , Michael Factor , Avi Teperman , Tamar Eilam , Assaf Schuster: A high performance cluster JVM presenting a pure single system image. Java Grande 2000 : 168-177 Alex Gontmakher , Assaf Schuster: Java consistency: nonoperational characterizations for Java memory behavior. ACM Trans. Comput. Syst. 18 (4): 333-386 (2000) Pascal Berthomé , Torben Hagerup , Ilan Newman , Assaf Schuster: Self-Simulation for the Passive Optical Star. J. Algorithms 34 (1): 128-147 (2000) Yariv Aridor , Michael Factor , Avi Teperman , Tamar Eilam , Assaf Schuster: Transparently Obtaining Scalability for Java Applications on a Cluster. J. Parallel Distrib. Comput. 60 (10): 1159-1193 (2000) Dmitry Kogan , Assaf Schuster: Remote Reference Counting: Distributed Garbage Collection with Low Communication and Computation Overhead. J. Parallel Distrib. Comput. 60 (10): 1260-1292 (2000) Amit Reisman , Craig Gotsman , Assaf Schuster: Interactive-Rate Animation Generation by Parallel Progressive Ray-Tracing on Distributed-Memory Machines. J. Parallel Distrib. Comput. 60 (9): 1074-1102 (2000) Ayal Itzkovitz , Nitzan Niv , Assaf Schuster: Dynamic adaptation of sharing granularity in DSM systems. Journal of Systems and Software 55 (1): 19-32 (2000) Roy Friedman , Assaf Schuster, Ayal Itzkovitz , Eli Biham , Erez Hadad , Vladislav Kalinovsky , Sergey Kleyman , Roman Vitenberg : Symphony: Managing Virtual Servers in the Global Village. Euro-Par 1999 : 777-784 Ayal Itzkovitz , Nitzan Niv , Assaf Schuster: Dynamic Adaptation of Sharing Granularity in DSM Systems. ICPP 1999 : 220-227 Ayal Itzkovitz , Assaf Schuster: MultiView and Millipage - Fine-Grain Sharing in Page-Based DSMs. OSDI 1999 : 215-228 Mordecai J. Golin , Assaf Schuster: Optimal Point-to-point Broadcast Algorithms Via Lopsided Trees. Discrete Applied Mathematics 93 (2-3): 233-263 (1999) Ayal Itzkovitz , Assaf Schuster, Oren Zeev-Ben-Mordehai : Toward Integration of Data Race Detection in DSM Systems. J. Parallel Distrib. Comput. 59 (2): 180-203 (1999) Assaf Schuster, Lea Shalev : Using Remote Access Histories for Thread Scheduling in Distributed Shared Memory Systems. DISC 1998 : 347-362 Alex Gontmakher , Assaf Schuster: Characterization for Java Memory Behavior. IPPS/SPDP 1998 : 682-686 Aviad Cohen , Yuri Rabinovich , Assaf Schuster, Hadas Shachnai : Optimal Bounds on Tail Probabilities - A Simplified Approach. IPPS/SPDP Workshops 1998 : 341-350 Adi Bar-Lev , Ayal Itzkovitz , Alon Raviv , Assaf Schuster: Parallel Vertex-To-Vertex Radiosity on a Distributed Shared Memory System. IRREGULAR 1998 : 238-250 Ishai Ben-Aroya , Donald D. Chinn , Assaf Schuster: A Lower Bound for Nearly Minimal Adaptive and Hot Potato Algorithms. Algorithmica 21 (4): 347-376 (1998) Ayal Itzkovitz , Assaf Schuster, Lea Shalev : Thread migration and its applications in distributed shared memory systems. Journal of Systems and Software 42 (1): 71-87 (1998) Amir Ben-Dor , Shai Halevi , Assaf Schuster: Potential Function Analysis of Greedy Hot-Potato Routing. Theory Comput. Syst. 31 (1): 41-61 (1998) Dmitry Kogan , Assaf Schuster: Collecting Garbage Pages in a Distributed Shared Memory with Reduced Memory and Communication Overhead. ESA 1997 : 308-325 Ayal Itzkovitz , Assaf Schuster, Lea Shalev : Supporting multiple parallel programming paradigms on top of the Millipede virtual parallel machine. HIPS 1997 : 25-34 Mordecai J. Golin , Assaf Schuster: Optimal point-to-point broadcast algorithms via lopsided trees. ISTCS 1997 : 63-73 Ishai Ben-Aroya , Ilan Newman , Assaf Schuster: Randomized Single-Target Hot-Potato Routing. J. Algorithms 23 (1): 101-120 (1997) Roy Friedman , Maxim Goldin , Ayal Itzkovitz , Assaf Schuster: MILLIPEDE: Easy Parallel Programming in Available Distributed Environments. Softw., Pract. Exper. 27 (8): 929-965 (1997) Ishai Ben-Aroya , Donald D. Chinn , Assaf Schuster: A Lower Bound for Nearly Minimal Adaptive and Hot Potato Algorithms. ESA 1996 : 471-485 Roy Friedman , Maxim Goldin , Ayal Itzkovitz , Assaf Schuster: Millipede: Easy Parallel Programming in Available Distributed Environments (Extended Abstract). Euro-Par, Vol. I 1996 : 84-87 Pascal Berthomé , Th. Duboux , Torben Hagerup , Ilan Newman , Assaf Schuster: Self-Simulation for the Passive Optical Star Model. ESA 1995 : 369-380 Ishai Ben-Aroya , Ilan Newman , Assaf Schuster: Randomized Single-Target Hot-Potato Routing. ISTCS 1995 : 20-29 Ishai Ben-Aroya , Tamar Eilam , Assaf Schuster: Greedy Hot-Potato Routing on the Two-Dimensional Mesh. Distributed Computing 9 (1): 3-19 (1995) Ilan Newman , Assaf Schuster: Hot-Potato Algorithms for Permutation Routing. IEEE Trans. Parallel Distrib. Syst. 6 (11): 1168-1176 (1995) Yosi Ben-Asher , Klaus-Jörn Lange , David Peleg , Assaf Schuster: The Complexity of Reconfiguring Network Models Inf. Comput. 121 (1): 41-58 (1995) Yosi Ben-Asher , Assaf Schuster: The Complexity of Data Reduction on a Reconfigurable Linear Array. J. Algorithms 18 (2): 322-357 (1995) Yosi Ben-Asher , Dan Gordon , Assaf Schuster: Efficient Self-Simulation Algorithms for Reconfigurable Arrays. J. Parallel Distrib. Comput. 30 (1): 1-22 (1995) Ilan Newman , Assaf Schuster: Hot Potato Worm Routing via Store-and-Forward Packet Routing. J. Parallel Distrib. Comput. 30 (1): 76-84 (1995) Yosi Ben-Asher , Gudula Rünger , Reinhard Wilhelm , Assaf Schuster: Implementing 2DT on a Multiprocessor. CC 1994 : 113-127 Ishai Ben-Aroya , Assaf Schuster: Greedy Hot-Potato Routing on the Mesh. ESA 1994 : 365-376 Amir Ben-Dor , Shai Halevi , Assaf Schuster: Potential Function Analysis of Greedy Hot-Potato Routing. PODC 1994 : 225-234 Yosi Ben-Asher , Dan Gordon , Assaf Schuster: Efficient Self Simulation Algorithms for Reconfigurable Arrays. ESA 1993 : 25-36 Yosi Ben-Asher , Aviad Cohen , Assaf Schuster: Low Crosstalk Address Encodings for Optical Message Switching Systems.. IPPS 1993 : 768-772 Ilan Newman , Assaf Schuster: Hot-Potato Worm Routing is Almost as Easy as Store-and-Forward Packet Routing. ISTCS 1993 : 202-211 Yosi Ben-Asher , Gudula Rünger , Assaf Schuster, Reinhard Wilhelm : 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. PARLE 1993 : 42-55 Yosi Ben-Asher , Assaf Schuster: The Bus-Usage Method for the Analysis of Reconfiguring Networks Algorithms. IPPS 1992 : 146-149 Yosi Ben-Asher , Aviad Cohen , Assaf Schuster, Jop F. Sibeyn : The Impact of Task-Length Parameters on the Performance of the Random Load-Balancing Algorithm. IPPS 1992 : 82-85 Yosi Ben-Asher , David Peleg , Assaf Schuster: The Complexity of Reconfiguring Network Models. ISTCS 1992 : 79-90 Yosi Ben-Asher , David Egozi , Assaf Schuster: 2-D SIMD Algorithms for Perfect Shuffle Networks. J. Parallel Distrib. Comput. 16 (3): 250-257 (1992) Yosi Ben-Asher , David Peleg , R. Ramaswami , Assaf Schuster: The POwer of Reconfiguration. ICALP 1991 : 139-150 Yonatan Aumann , Assaf Schuster: Improved Memory Utilization in Deterministic PRAM Simulation. J. Parallel Distrib. Comput. 12 (2): 146-151 (1991) Yosi Ben-Asher , David Peleg , R. Ramaswami , Assaf Schuster: The Power of Reconfiguration. J. Parallel Distrib. Comput. 13 (2): 139-153 (1991) Yosi Ben-Asher , Assaf Schuster: Ranking on Reconfigurable Networks. Parallel Processing Letters 1 : 149-156 (1991) Yosi Ben-Asher , David Egozi , Assaf Schuster: 2-D SIMD Algorithms in the Perfect Shuffle Networks. ISCA 1989 : 88-95 Eli Shamir , Assaf Schuster: Communication Aspects of Networks Based on Geometric Incidence Relations. Theor. Comput. Sci. 64 (1): 83-96 (1989) 1 [ 48 ] [ 51 ] 2 [ 5 ] 3 [ 36 ] 4 [ 84 ] [ 86 ] 5 [ 16 ] [ 23 ] [ 24 ] [ 27 ] [ 29 ] [ 35 ] 6 [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] [ 17 ] [ 19 ] [ 20 ] [ 21 ] 7 [ 52 ] [ 61 ] 8 [ 15 ] [ 33 ] 9 [ 25 ] [ 49 ] 10 [ 44 ] [ 55 ] 11 [ 81 ] 12 [ 27 ] [ 35 ] 13 [ 9 ] [ 13 ] [ 37 ] 14 [ 72 ] 15 [ 25 ] 16 [ 2 ] [ 7 ] 17 [ 23 ] [ 48 ] [ 51 ] 18 [ 48 ] [ 51 ] [ 60 ] [ 69 ] [ 73 ] [ 76 ] 19 [ 91 ] 20 [ 72 ] 21 [ 26 ] [ 28 ] [ 44 ] [ 55 ] 22 [ 53 ] [ 59 ] 23 [ 74 ] [ 78 ] [ 82 ] 24 [ 26 ] [ 28 ] 25 [ 30 ] [ 41 ] 26 [ 38 ] [ 50 ] [ 62 ] 27 [ 14 ] [ 19 ] 28 [ 46 ] 29 [ 52 ] [ 53 ] [ 58 ] [ 59 ] [ 61 ] [ 70 ] [ 79 ] [ 85 ] [ 90 ] [ 91 ] 30 [ 44 ] 31 [ 25 ] [ 49 ] 32 [ 15 ] [ 33 ] 33 [ 91 ] 34 [ 52 ] [ 53 ] [ 58 ] [ 59 ] [ 61 ] [ 70 ] [ 85 ] [ 90 ] [ 91 ] 35 [ 90 ] 36 [ 75 ] [ 77 ] [ 80 ] 37 [ 26 ] [ 28 ] [ 31 ] [ 34 ] [ 36 ] [ 40 ] [ 42 ] [ 43 ] [ 44 ] [ 45 ] [ 55 ] 38 [ 44 ] 39 [ 84 ] [ 86 ] 40 [ 44 ] 41 [ 32 ] [ 47 ] 42 [ 68 ] 43 [ 89 ] 44 [ 21 ] 45 [ 81 ] 46 [ 72 ] 47 [ 72 ] 48 [ 12 ] [ 18 ] [ 22 ] [ 24 ] [ 25 ] [ 29 ] [ 49 ] 49 [ 43 ] [ 45 ] [ 54 ] [ 57 ] 50 [ 4 ] [ 6 ] [ 8 ] [ 21 ] 51 [ 62 ] [ 88 ] 52 [ 65 ] 53 [ 64 ] 54 [ 37 ] 55 [ 4 ] [ 6 ] 56 [ 36 ] 57 [ 46 ] 58 [ 11 ] [ 17 ] 59 [ 87 ] 60 [ 87 ] 61 [ 37 ] 62 [ 60 ] [ 69 ] [ 73 ] [ 76 ] 63 [ 31 ] [ 34 ] [ 39 ] 64 [ 1 ] 65 [ 9 ] 66 [ 72 ] 67 [ 48 ] [ 51 ] 68 [ 67 ] [ 83 ] 69 [ 44 ] 70 [ 11 ] [ 17 ] 71 [ 56 ] [ 66 ] [ 67 ] [ 71 ] [ 74 ] [ 78 ] [ 81 ] [ 82 ] [ 83 ] [ 84 ] [ 86 ] [ 89 ] 72 [ 79 ] 73 [ 40 ]  ©2006 Association for Computing Machinery |
