 Research |
DDM
|
Hadj
| Highly Available Distributed Java (HADJ) is a highly available runtime environment for distributed and parallel execution of standard multithreaded Java applications.
|
|
MultiRace
| Efficient On-The-Fly Data-Race Detection Tool for Multithreaded C++ Programs.
|
|
Division
| Distributed Symbolic Model Checking Research Platform.
|
|
JazzEnsemble
| JazzEnsemble is a group communication toolkit targeting wireless mobile ad-hoc networks, known also as MANET.
|
|
Gozal - Condor Israel
| Condor is a specialized workload management
system, used to run compute-intensive jobs on distributed
interconnected computational resources. Gozal - research activities in DSL as research
Partners of the Condor team. |
|
LSRT Consortium
LSRT Consortium - Technion documentation
web site.
|
|
Intrathreads
| Intrathreads, or inthreads, are tiny threads running inside the processor, allowing extremely low-level parallelization of the code. |
|
Pragma
| The use of “non executable
machine instructions” (Pragma) for improving the utilization of the processor
resources |
|
FTS
FTS (Fault-Tolerance Service) is a CORBA-based infrastructure that can render a CORBA application service fault-tolerant by means of active replication.
|
|
SAT and Model Checking
In this research we are developing a distributed platform for solving the
Reachability problem, using a novel All-SAT solver we developed.
|
|
Karma
| Multilevel Cache Management Based on Application Hints |
|
Millipede
| Millipede is a software distributed shared memory system (DSM) that combines fine-grane shared memory access with sequential consistency model. A technique called MultiView allows Millipede to utilize virtual memory hardware to track accesses to shared memory, still preserving the fine-grain granularity.
|
|
Cascade
| CASCADE is a caching service for distributed Corba objects in the Internet. CASCADE improves service availability, reduces access times and renders them more predictable.
|
|
Starfish
| Starfish is a highly-available fault-tolerant system for running parallel MPI programs on clusters of workstations/PCs.
|
|
 |
Distributed Systems Laboratory 2006
