• Publications
  • Influence
Scheduling Strategies for Cycle Scavenging in Multicluster Grid Systems
The use of today's multicluster grids exhibits periods of submission bursts with periods of normal use and even of idleness. To avoid resource contention, many users employ observational scheduling,Expand
  • 19
  • 3
Adding Cycle Scavenging Support to the Koala Grid Resource Manager
Cycle scavenging (CS) is the process of using otherwise idle computational resources to provide large, aggregate, amounts of computational power. It is the core principle of so-called desktop gridsExpand
JASS : Jolly Awesome Satisfiability Solver
Herein we describe our experiences constructing and testing a hybrid satisfiability solver (JASS), i.e., one that combines both the lookahead and conflict-driven architectures for solvingExpand