1609 search results - page 280 / 322 » A Microeconomic Scheduler for Parallel Computers |
120
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
ICPP
1998
IEEE
15 years 2 months ago
1998
IEEE
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
100
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Before an application modelled as a Directed Acyclic Graph (DAG) is executed on a heterogeneous system, a DAG mapping policy is often enacted. After mapping, the tasks (in the DAG...
GRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract— Markets and auctions have been proposed as mechanisms for efficiently and fairly allocating resources in a number of different computational settings. Economic approac...