78 search results - page 5 / 16 » Parallel Reduction in Resource Lambda-Calculus |
ICS
1998
Tsinghua U.
14 years 21 hour ago
1998
Tsinghua U.
In order to achieve high performance, contemporary microprocessors must effectively process the four major instruction types: ALU, branch, load, and store instructions. This paper...
GRID
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
PADS
2005
ACM
14 years 1 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
CCGRID
2010
IEEE
13 years 9 months ago
2010
IEEE
Applications structured as parallel task graphs exhibit both data and task parallelism, and arise in many domains. Scheduling these applications on parallel platforms has been a lo...
CCGRID
2007
IEEE
14 years 2 months ago
2007
IEEE
Maximizing resource provider profit and satisfying user requirements at the same time is a challenging problem in utility computing environments. In this paper, we introduce adap...