78 search results - page 9 / 16 » Parallel Reduction in Resource Lambda-Calculus |
SC
2003
ACM
14 years 1 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
ICS
1999
Tsinghua U.
14 years 2 days ago
1999
Tsinghua U.
Large client-server data intensive applications can place high demands on system and network resources. This is especially true when the connection between the client and server s...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Emerging embedded system applications in multimedia and image processing are characterized by complex control flow consisting of deeply nested conditionals and loops. We present a...
MIDDLEWARE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Virtualization-based server consolidation is an important technique for cost and energy reductions in data center environments and a key enabler of cloud computing. Howev...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...