| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abel Gordon, Nadav Amit, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir |
ELI: bare-metal performance for I/O virtualization.  |
ASPLOS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Sagy, Izchak Sharfman, Daniel Keren, Assaf Schuster |
Top-k vectorial aggregation queries in a distributed environment.  |
J. Parallel Distrib. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gala Yadgar, Michael Factor, Kai Li, Assaf Schuster |
Management of Multilevel, Multiclient Cache Hierarchies with Application Hints.  |
ACM Trans. Comput. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Verner, Assaf Schuster, Mark Silberstein |
Processing data streams with hard real-time constraints on heterogeneous systems.  |
ICS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Agmon Ben-Yehuda, Muli Ben-Yehuda, Assaf Schuster, Dan Tsafrir |
Deconstructing Amazon EC2 Spot Instance Pricing.  |
CloudCom  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Kravtsov, Pavel Bar, David Carmeli, Assaf Schuster, Martin T. Swain |
A scheduling framework for large-scale, parallel, and topology-aware applications.  |
J. Parallel Distrib. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Sagy, Daniel Keren, Izchak Sharfman, Assaf Schuster |
Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation.  |
PVLDB  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Valentin Kravtsov, Pavel Bar, David Carmeli, Assaf Schuster, Martin T. Swain |
A scheduling framework for large-scale, parallel, and topology-aware applications.  |
IPDPS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arik Friedman, Assaf Schuster |
Data mining with differential privacy.  |
KDD  |
2010 |
DBLP DOI BibTeX RDF |
data mining, decision trees, differential privacy |
| 1 | Mark Silberstein, Artyom Sharov, Dan Geiger, Assaf Schuster |
GridBot: execution of bags of tasks in multiple grids.  |
SC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Bar, Camille Coti, Derek Groen, Thomas Hérault, Valentin Kravtsov, Assaf Schuster, Martin T. Swain |
Running Parallel Applications with Topology-Aware Grid Middleware.  |
eScience  |
2009 |
DBLP DOI BibTeX RDF |
QCG-OMPI, QosCosGrid, Grid, MPI, topology-aware |
| 1 | Avi Yadgar, Orna Grumberg, Assaf Schuster |
Hybrid BDD and All-SAT Method for Model Checking.  |
Languages: From Formal to Natural  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin, Tal Zamir |
Optimistic concurrency for clusters via speculative locking.  |
SYSTOR  |
2009 |
DBLP DOI BibTeX RDF |
distributed computing, optimistic concurrency control |
| 1 | Arik Friedman, Ran Wolff, Assaf Schuster |
Providing k-anonymity in data mining.  |
VLDB J.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlado Stankovski, Martin T. Swain, Valentin Kravtsov, Thomas Niessen, Dennis Wegener, M. Rohm, Jernej Trnkoczy, Michael May, Jürgen Franke, Assaf Schuster, Werner Dubitzky |
Digging Deep into the Data Mine with DataMiningGrid.  |
IEEE Internet Computing  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kfir Karmon, Liran Liss, Assaf Schuster |
GWiQ-P: an efficient decentralized grid-wide quota enforcement protocol.  |
Operating Systems Review  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Kravtsov, Martin T. Swain, Uri Dubin, Werner Dubitzky, Assaf Schuster |
A Fast and Efficient Algorithm for Topology-Aware Coallocation.  |
ICCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Silberstein, Assaf Schuster, Dan Geiger, Anjul Patney, John D. Owens |
Efficient computation of sum-products on GPUs through software-managed cache.  |
ICS  |
2008 |
DBLP DOI BibTeX RDF |
sum-product, GPGPU, CUDA, software-managed cache |
| 1 | Valentin Kravtsov, David Carmeli, Werner Dubitzky, Ariel Orda, Assaf Schuster, Mark Silberstein, Benny Yoshpa |
Quasi-opportunistic Supercomputing in Grid Environments.  |
ICA3PP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Kravtsov, David Carmeli, Werner Dubitzky, Krzysztof Kurowski, Assaf Schuster |
Grid-enabling complex system applications with QosCosGrid: An architectural perspective.  |
GCA  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gala Yadgar, Michael Factor, Kai Li, Assaf Schuster |
MC2: Multiple Clients on a Multilevel Cache.  |
ICDCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Izchak Sharfman, Assaf Schuster, Daniel Keren |
Shape sensitive geometric monitoring.  |
PODS  |
2008 |
DBLP DOI BibTeX RDF |
stream systems |
| 1 | Eli Pozniansky, Assaf Schuster |
MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs.  |
Concurrency and Computation: Practice and Experience  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster |
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.  |
Int. J. Found. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Izchak Sharfman, Assaf Schuster, Daniel Keren |
A geometric approach to monitoring threshold functions over distributed data streams.  |
ACM Trans. Database Syst.  |
2007 |
DBLP DOI BibTeX RDF |
Distributed monitoring |
| 1 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information.  |
J. Parallel Distrib. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Krivitski, Assaf Schuster, Ran Wolff |
A Local Facility Location Algorithm for Large-scale Distributed Systems.  |
J. Grid Comput.  |
2007 |
DBLP DOI BibTeX RDF |
Data-mining, Peer-to-peer, Grid, Local, Distributed, Facility location, Large scale |
| 1 | Werner Dubitzky, Assaf Schuster, Peter M. A. Sloot, Michael Schroeder, Mathilde Romberg (eds.) |
Distributed, High-Performance and Grid Computing in Computational Biology , International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007, Proceeding  |
GCCB  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Izchak Sharfman, Assaf Schuster, Daniel Keren |
Aggregate Threshold Queries in Sensor Networks.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Assaf Schuster, Avi Yadgar |
3-Valued Circuit SAT for STE with Automatic Refinement.  |
ATVA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover |
Code Compilation for an Explicitly Parallel Register-Sharing Architecture.  |
ICPP  |
2007 |
DBLP DOI BibTeX RDF |
register sharing, explicitly parallel code, optimizations, multithreading, register allocation, Fine grain parallelization |
| 1 | Gala Yadgar, Michael Factor, Assaf Schuster |
Karma: Know-It-All Replacement for a Multilevel Cache.  |
FAST  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alex Gontmakher, Avi Mendelson, Assaf Schuster |
Using fine grain multithreading for energy efficient computing.  |
PPOPP  |
2007 |
DBLP DOI BibTeX RDF |
register sharing, energy efficiency, fine grain parallelization |
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin |
A Platform-Independent Distributed Runtime for Standard Multithreaded Java.  |
International Journal of Parallel Programming  |
2006 |
DBLP DOI BibTeX RDF |
Java, distributed computing, distributed shared memory, bytecode instrumentation |
| 1 | Alex Gontmakher, Assaf Schuster, Avi Mendelson |
Inthreads: a low granularity parallelization model.  |
SIGARCH Computer Architecture News  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Idit Keidar, Assaf Schuster |
Want scalable computing?: speculate!  |
SIGACT News  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
A work-efficient distributed algorithm for reachability analysis.  |
Formal Methods in System Design  |
2006 |
DBLP DOI BibTeX RDF |
Distributed reachability, Distributed BDDs, Symbolic model checking |
| 1 | Arik Friedman, Assaf Schuster, Ran Wolff |
k-Anonymous Decision Tree Induction.  |
PKDD  |
2006 |
DBLP DOI BibTeX RDF |
decision trees, k-anonymity, privacy preserving data mining |
| 1 | Mark Silberstein, Gabriel Kliot, Artyom Sharov, Assaf Schuster, Miron Livny |
Materializing Highly Available Grids.  |
HPDC  |
2006 |
DBLP DOI BibTeX RDF |
highly available grid service, HA Condor system, mission-critical component, virtual computer |
| 1 | Mark Silberstein, Dan Geiger, Assaf Schuster, Miron Livny |
Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy.  |
HPDC  |
2006 |
DBLP DOI BibTeX RDF |
throughput-oriented parallel task, mixed workload scheduling algorithm, multigrid execution hierarchy, multilevel feedback queue approach, task resource requirement, shortest processing time first policy, SPTF, Superlink-online production system, genetic linkage analysis |
| 1 | Mark Silberstein, Dan Geiger, Assaf Schuster |
A Distributed System for Genetic Linkage Analysis.  |
GCCB  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Izchak Sharfman, Assaf Schuster, Daniel Keren |
A geometric approach to monitoring threshold functions over distributed data streams.  |
SIGMOD Conference  |
2006 |
DBLP DOI BibTeX RDF |
data streams, distributed monitoring |
| 1 | Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster |
Efficient Dynamic Aggregation.  |
DISC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff |
Veracity radius: capturing the locality of distributed computations.  |
PODC  |
2006 |
DBLP DOI BibTeX RDF |
locality, aggregation |
| 1 | Valentin Kravtsov, Thomas Niessen, Vlado Stankovski, Assaf Schuster |
Service-based Resource Brokering for Grid-Based Data Mining.  |
GCA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover |
Speculative synchronization and thread management for fine granularity threads.  |
HPCA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Palatin, Arie Leizarowitz, Assaf Schuster, Ran Wolff |
Mining for misconfigured machines in grid systems.  |
KDD  |
2006 |
DBLP DOI BibTeX RDF |
grid information system, outliers detection, distributed data mining, system monitoring, grid systems |
| 1 | Amir Bar-Or, Daniel Keren, Assaf Schuster, Ran Wolff |
Hierarchical Decision Tree Induction in Distributed Genomic Databases.  |
IEEE Trans. Knowl. Data Eng.  |
2005 |
DBLP DOI BibTeX RDF |
Data mining, classification, distributed algorithms, decision trees |
| 1 | Vadim Iosevich, Assaf Schuster |
Software Distributed Shared Memory: a VIA-based implementation and comparison of sequential consistency with home-based lazy release consistency.  |
Softw., Pract. Exper.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Schuster, Ran Wolff, Dan Trock |
A high-performance distributed algorithm for mining association rules.  |
Knowl. Inf. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
Data mining, Association rule, High-performance computing, Distributed data mining |
| 1 | Liran Liss, Yitzhak Birk, Assaf Schuster |
In-Kernel Integration of Operating System and Infiniband Functions for High Performance Computing Clusters: A DSM Example.  |
IEEE Trans. Parallel Distrib. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
parallel computing, distributed shared memory, high-speed networks, Hardware/software interfaces |
| 1 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus.  |
Formal Methods in System Design  |
2005 |
DBLP DOI BibTeX RDF |
model checking, distributed, hardware verification, symbolic, Mu-calculus |
| 1 | Kfir Karmon, Liran Liss, Assaf Schuster |
GWiQ-P: an efficient decentralized grid-wide quota enforcement protocol.  |
HPDC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Bar-Or, Ran Wolff, Assaf Schuster, Daniel Keren |
Decision Tree Induction in High Dimensional, Hierarchically Distributed Databases.  |
SDM  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Denis Krivitski, Assaf Schuster, Ran Wolff |
A Local Facility Location Algorithm for Sensor Networks.  |
DCOSS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster |
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.  |
ATVA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster |
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation.  |
CHARME  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Polyakov, Assaf Schuster |
Verification of the Java Causality Requirements.  |
Haifa Verification Conference  |
2005 |
DBLP DOI BibTeX RDF |
Java, Verification, Complexity, Concurrency, Shared Memory, Multithreading, Memory Model |
| 1 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information.  |
PPOPP  |
2005 |
DBLP DOI BibTeX RDF |
datarace, lockset, model checking, multithreading, data race detection |
| 1 | Assaf Schuster, Ran Wolff |
Communication-Efficient Distributed Mining of Association Rules.  |
Data Min. Knowl. Discov.  |
2004 |
DBLP DOI BibTeX RDF |
data mining, distributed algorithms, Association Rules, communication-efficient |
| 1 | Bobi Gilburd, Assaf Schuster, Ran Wolff |
Privacy-Preserving Data Mining on Data Grids in the Presence of Malicious Participants.  |
HPDC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Iosevich, Assaf Schuster |
Distributed Shared Memory: To Relax or Not to Relax?  |
Euro-Par  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Assaf Schuster, Avi Yadgar |
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis.  |
FMCAD  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Schuster, Ran Wolff, Bobi Gilburd |
Privacy-preserving association rule mining in large-scale distributed systems.  |
CCGRID  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin |
A Distributed Runtime for Java: Yesterday and Today.  |
IPDPS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Iosevich, Assaf Schuster |
Multithreaded Home-Based Lazy Release Consistency over VIA.  |
IPDPS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yitzhak Birk, Liran Liss, Assaf Schuster, Ran Wolff |
A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion.  |
DISC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Iosevich, Assaf Schuster |
A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory.  |
ICS  |
2004 |
DBLP DOI BibTeX RDF |
home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model |
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin |
Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
standard class libraries, java, inheritance, code instrumentation |
| 1 | Bobi Gilburd, Assaf Schuster, Ran Wolff |
k-TTP: a new privacy model for large-scale distributed environments.  |
KDD  |
2004 |
DBLP DOI BibTeX RDF |
security, data mining, privacy, association rule mining, privacy-preserving data mining, distributed data mining |
| 1 | Assaf Schuster |
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations.  |
Electr. Notes Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Gontmakher, Sergey Polyakov, Assaf Schuster |
Complexity Of Verifying Java Shared Memory Execution.  |
Parallel Processing Letters  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster |
Scalable distributed on-the-fly symbolic model checking.  |
STTT  |
2003 |
DBLP DOI BibTeX RDF |
Distributed, Memory, BDDs, Counterexample |
| 1 | Assaf Schuster, Ran Wolff, Dan Trock |
A High-Performance Distributed Algorithm for Mining Association Rules.  |
ICDM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Wolff, Assaf Schuster |
Association Rule Mining in Peer-to-Peer Systems.  |
ICDM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil-Dan Kohn, Assaf Schuster |
A Transparent Software Distributed Shared Memory.  |
Euro-Par  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Poznianski, Assaf Schuster |
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs.  |
IPDPS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin |
JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations.  |
CLUSTER  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
A Work-Efficient Distributed Algorithm for Reachability Analysis.  |
CAV  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Pozniansky, Assaf Schuster |
Efficient on-the-fly data race detection in multihreaded C++ programs.  |
PPOPP  |
2003 |
DBLP DOI BibTeX RDF |
concurrency, synchronization, multithreading, instrumentation, data race |
| 1 | Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster |
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits.  |
Formal Methods in System Design  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Factor, Assaf Schuster, Konstantin Shagin |
Execution of monolithic Java programs on large non-dedicated collections of commodity workstations.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
high-level programming paradigm, non-dedicated environment, utilization of idle resources, fault tolerance, distributed shared memory |
| 1 | Nitzan Niv, Assaf Schuster |
Transparent adaptation of sharing granularity in MultiView-based DSM systems.  |
Softw., Pract. Exper.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Friedman, Eli Biham, Ayal Itzkovitz, Assaf Schuster |
Symphony: An Infrastructure for Managing Virtual Servers.  |
Cluster Computing  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitzan Niv, Assaf Schuster |
Transparent Adaptation of Sharing Granularity in MultiView-Based DSM Systems.  |
IPDPS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Assaf Schuster, Ran Wolff |
Communication Efficient Distributed Mining of Association Rules. (PDF / PS)  |
SIGMOD Conference  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus.  |
CAV  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayal Itzkovitz, Nitzan Niv, Assaf Schuster |
Dynamic adaptation of sharing granularity in DSM systems.  |
Journal of Systems and Software  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Kogan, Assaf Schuster |
Remote Reference Counting: Distributed Garbage Collection with Low Communication and Computation Overhead.  |
J. Parallel Distrib. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Reisman, Craig Gotsman, Assaf Schuster |
Interactive-Rate Animation Generation by Parallel Progressive Ray-Tracing on Distributed-Memory Machines.  |
J. Parallel Distrib. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yariv Aridor, Michael Factor, Avi Teperman, Tamar Eilam, Assaf Schuster |
Transparently Obtaining Scalability for Java Applications on a Cluster.  |
J. Parallel Distrib. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Berthomé, Torben Hagerup, Ilan Newman, Assaf Schuster |
Self-Simulation for the Passive Optical Star.  |
J. Algorithms  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Gontmakher, Assaf Schuster |
Java consistency: nonoperational characterizations for Java memory behavior.  |
ACM Trans. Comput. Syst.  |
2000 |
DBLP DOI BibTeX RDF |
Java memory models, nonoperational specification, multithreading |
| 1 | Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster |
Scalable Distributed On-the-Fly Symbolic Model Checking.  |
FMCAD  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster |
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits.  |
CAV  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yariv Aridor, Michael Factor, Avi Teperman, Tamar Eilam, Assaf Schuster |
A high performance cluster JVM presenting a pure single system image.  |
Java Grande  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayal Itzkovitz, Assaf Schuster, Oren Zeev-Ben-Mordehai |
Toward Integration of Data Race Detection in DSM Systems.  |
J. Parallel Distrib. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordecai J. Golin, Assaf Schuster |
Optimal Point-to-point Broadcast Algorithms Via Lopsided Trees.  |
Discrete Applied Mathematics  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|