336 search results - page 65 / 68 » Task-Queue Based Hybrid Parallelism: A Case Study |
145
Voted
ISPAN
2009
IEEE
15 years 10 months ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
146
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
198
Voted
EDO
2006
Springer
15 years 7 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
141
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
Fault tolerance is a very important concern for critical high performance applications using the MPI library. Several protocols provide automatic and transparent fault detection a...
128
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
A partially cooperative relay broadcast channel (RBC) is a three-node network with one source node and two destination nodes (destinations 1 and 2) where destination 1 can act as a...