2297 search results - page 55 / 460 » Production of Large Computer Programs |
PST
2008
13 years 9 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
EL
2010
13 years 6 months ago
2010
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
ISPAN
2002
IEEE
14 years 28 days ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Power consumption is a very important issue for HPC community, both at the level of one application or at the level of whole workload. Load imbalance of a MPI application can be e...